-
Notifications
You must be signed in to change notification settings - Fork 3
/
kwarcpubs.bib
9710 lines (8586 loc) · 349 KB
/
kwarcpubs.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@string{kpmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{stexyear = 2024}
@STRING{testing = 16}
@inproceedings{KruLohBer:tefdm24,
author = {Theresa Kruse and Dominic Lohr and Marc Berges and Michael Kohlhase and Halimeh Moghbeli and Marcel Schütz},
title = {Term Extraction for Domain Modeling},
year = {2024},
pages = {369-377},
doi = {10.18420/delfi2024_33},
url = {https://doi.org/10.18420/delfi2024_33},
howpublished = {Proceedings of DELFI 2024},
publisher = {Gesellschaft für Informatik e.V.},
pubs = {tkruse,dlohr,mberges,mkohlhase,hmoghbeli,mschuetz,voll-ki},
keywords = {conference}
}
@inproceedings{LohBerChu:alsipe24,
author = {Dominic Lohr and Marc Berges and Abhishek Chugh and Michael Striewe},
title = {Adaptive Learning Systems in Programming Education: A Prototype for Enhanced Formative Feedback},
year = {2024},
pages = {549-554},
doi = {10.18420/delfi2024_57},
url = {https://doi.org/10.18420/delfi2024_57},
howpublished = {Proceedings of DELFI 2024},
pubs = {dlohr,mberges,achugh,mstriewe,voll-ki},
publisher = {Gesellschaft für Informatik e.V.},
keywords = {conference}
}
@proceedings{RS:lfmtp:24,
title = "{LFMTP 2024: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice}",
year = "2024",
note = "see \url{https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LFMTP2024}",
editor = "F. Rabe and C. {Sacerdoti Coen}",
publisher = "Open Publishing Association"
}
@inproceedings{MJXR:dafnystability:23,
author = "S. McLaughlin and G. Jaloyan and T. Xiang and F. Rabe",
title = "{Enhancing Proof Stability}",
year = "2023",
booktitle = "Dafny 2024",
editor = "J. Tassarotti and S. Zetzsche"
}
@article{mathdagstuhl:23,
author = "A. Bauer and K. Ber{\v{c}}i{\v{c}} and N. Thi{\'e}ry and F. Rabe and J. Taslak",
title = "{Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)}",
year = "2024",
pages = "1--23",
journal = "Dagstuhl Reports by Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
volume = "13",
number = "10"
}
@inproceedings{rabe:cons:24,
author = "F. Rabe",
title = "{A Logical Framework Perspective on Conservativity}",
year = "2024",
booktitle = "Intelligent Computer Mathematics",
editor = "A. Kohlhase and L. Kovacs",
publisher = "Springer"
}
@inproceedings{RW:aldor:23,
author = "F. Rabe and S. Watt",
title = "{Extracting Theory Graphs from Aldor Libraries}",
year = "2023",
pages = "315--320",
booktitle = "Intelligent Computer Mathematics",
editor = "C. Dubois and M. Kerber",
publisher = "Springer"
}
@inproceedings{RW:morpheq:23,
author = "F. Rabe and F. Weber",
title = "{Morphism Equality in Theory Graphs}",
year = "2023",
pages = "174--189",
booktitle = "Intelligent Computer Mathematics",
editor = "C. Dubois and M. Kerber",
publisher = "Springer"
}
@inproceedings{RRB:dhol:23,
author = "C. Rothgang and F. Rabe and C. Benzmüller",
title = "{Theorem Proving in Dependently Typed Higher-Order Logic}",
year = "2023",
pages = "438--455",
booktitle = "Automated Dedution",
editor = "B. Pientka and C. Tinelli",
publisher = "Springer"
}
@inproceedings{RW:realms:22,
author = "F. Rabe and F. Weber",
title = "{Three Case Studies on Realms}",
year = "2022",
pages = "46--51",
booktitle = "Intelligent Computer Mathematics, Informal Proceedings",
editor = "K. Buzzard and T. Kutsia",
publisher = "Research Institute for Symbolic Computation"
}
@inproceedings{RKR:mizar:21,
author = "C. Rothgang and A. Kornilowicz and F. Rabe",
title = "{A New Export of the Mizar Mathematical Library}",
year = "2021",
pages = "205--210",
booktitle = "Intelligent Computer Mathematics",
editor = "F. Kamareddine and C. {Sacerdoti Coen}",
publisher = "Springer"
}
@inproceedings{rabe:mmttex:19,
author = "F. Rabe",
title = "{MMTTeX: Connecting Content and Narration-Oriented Document Formats}",
year = "2019",
pages = "205--210",
booktitle = "Intelligent Computer Mathematics",
editor = "C. Kaliszyk and E. Brady and A. Kohlhase and C. {Sacerdoti Coen}",
publisher = "Springer"
}
@inproceedings{BR:nondet:19,
author = "R. Bird and F. Rabe",
title = "{How to calculate with nondeterministic functions}",
year = "2019",
pages = "138--154",
booktitle = "Mathematics of Program Construction",
editor = "G. Hutton",
publisher = "Springer"
}
@mastersthesis{Ama:msc23,
title = {Enabling Interlinking of WissKIs Using Open Data},
author = {Kai Amann},
school = {FAU Erlangen-N{\"u}rnberg},
year = {2023},
type = {M.Sc. Thesis},
month = {3},
url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2023/AmannKai.pdf},
pubs = {mscthesis}
}
@online{sTeX-IDE:git,
label = {sIDE},
url = {https://github.com/slatex/sTeX-IDE},
note = {Git repository},
urldate = {2024-08-01},
title = {{sTeX Plugin for VSCode}}
}
@online{stextools:git,
label = {sTt},
url = {https://github.com/slatex/stextools},
note = {Git repository},
urldate = {2024-11-12},
title = {sLaTeX/stextools -- Lightweight Tools for sTeX Authoring and Management}
}
@inproceedings{KohKoh:woide24,
title = {{WOIDE}: Semantic Annotation in {MS Word} --- Scaling Mathematical User Interfaces beyond {LaTeX}},
author = {Aurelius Adrian and Michael Kohlhase},
crossref={MathUI24},
url = {https://kwarc.info/kohlhase/papers/mathui24-woide.pdf},
pubs = {mkohlhase,voll-ki}
}
@inproceedings{KohKoh:taceme24,
title = {Towards Automated Competency Estimation for Math Education -- An Eye Tracking and Emotion Analysis Study},
author = {Andrea Kohlhase and Michael Kohlhase},
crossref={MathUI24},
url = {https://kwarc.info/kohlhase/papers/mathui24-dbloom.pdf},
pubs = {mkohlhase,akohlhase,voll-ki}
}
@masterthesis{Kelber:msc24,
title = {Flexiformal Definition Expansion and Parsing Mathematical Natural Language},
author = {Josefin Kelber},
type = {Bachelor's thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2024},
url = {https://gl.kwarc.info/supervision/BSc-archive/-/blob/master/2024/Kelber_Josefin.pdf},
pubs = {bscthesis}}
@masterthesis{Dalga:msc24,
title = {Optimization of {NLU} Pipelines by Separating Lexica from Grammars},
author = {Alpcan Dalga},
type = {Master's thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2024},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2024/AlpcanDalga.pdf},
pubs = {mscthesis}}
@online{Schuetz:proposal:24,
author = {Marcel Sch{\"u}tz},
title = {Theory Morphisms in Computer-Supported Knowledge Impartation},
note = {Ph.D. proposal, Computer Science, FAU Erlangen-Nürnberg},
url = {https://gl.kwarc.info/supervision/proposal-archive/-/blob/master/2024/phd-proposal_marcel-schuetz_screen.pdf},
year = {2024},
pubs = {mschuetz}
}
@online{Betzendahl:proposal:20,
author = {Jonas Betzendahl},
title = {Undefinedness and Soft Typing in Formal Mathematics},
note = {Ph.D. proposal, Computer Science, FAU Erlangen-Nürnberg},
url = {https://gl.kwarc.info/supervision/proposal-archive/-/blob/master/2020/phd_proposal_jbetzendahl.pdf},
year = {2020},
pubs = {jbetzendahl}
}
@inproceedings{KohSch:rlotm24,
title = {Reusing Learning Objects via Theory Morphisms},
author = {Michael Kohlhase and Marcel Sch{\"u}tz},
year = {2024},
crossref = {CICM24},
pages = {165--182},
doi = {10.1007/978-3-031-66997-2_10},
url = {https://url.mathhub.info/relocalization/},
pubs = {mkohlhase,mschuetz,voll-ki}
}
@masterthesis{Adrian:BATSAW24,
title = {Building an Annotation Tool for {sTeX}-Like Annotations in Word - {WOIDE}},
author = {Aurelius Adrian},
type = {Bachelor Project Report},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2024},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2024/Adrian_Aurelius.pdf},
pubs = {bscproject,voll-ki}}
@masterthesis{Heublein:kbadmsg23S,
title = {Knowledge based approach for dynamic movement in ``Serious Games''},
author = {Lucas Heublein},
type = {M.Sc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2024/HeubleinLucas.pdf},
pubs = {mscthesis,frameit}}
@masterthesis{Panzer:afgpatsd23,
title = {AnnoTize: A Flexible General Purpose Annotation Tool for STEM Documents},
author = {Lukas Panzer},
type = {M.Sc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2024/PanzerLukas.pdf},
pubs = {mscthesis,comma}}
@masterthesis{Kielburger:sqetd23,
title = {Spotting Quantity Expressions in Technical Documents},
author = {Alexander Kielburger},
type = {M.Sc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2024/KielburgerAlexander.pdf},
pubs = {mscthesis,comma}}
@article{KohBer:PV24,
title = {Project {VoLL-KI} -- Learning from Learners},
author = {Michael Kohlhase and Marc Berges and Jens Grubert and Andreas Henrich and Dieter Landes and Jochen L.~Leidner and Florian Mittag and Daniela Nicklas and Ute Schmid and Yvonne Sedlmaier and Achim Ulbrich-vom Ende and Diedrich Wolter},
journal = {K{\"u}nstliche Intellienz},
year = {2024},
pubs = {mberges,mkohlhase,voll-ki},
doi = {10.1007/s13218-024-00846-9}}
@inproceedings{KohKoh:MIA23,
title = {More Interactions in {ALeA} -- Towards New Added-Value Services based on Semantic Markup},
author = {Andrea Kohlhase and Michael Kohlhase},
crossref={MathUI23},
year = {2023},
url = {https://kwarc.info/kohlhase/submit/MathUI23-ALeA.pdf},
pubs = {mkohlhase,akohlhase,voll-ki}
}
@inproceedings{PanzerSchaefer:AnnoTize23,
title = {AnnoTize: A Flexible Annotation Tool for Documents with Mathematical Formulae},
author = {Lukas Panzer and Jan Frederik Schaefer},
note = {accepted},
crossref={MathUI23},
url = {https://kwarc.info/people/jfschaefer/pubs/2023-annotize-mathui.pdf},
year = {2023},
pubs = {jfschaefer}
}
@inproceedings{ChuKohMue:pada23,
title = {Presentation of Active Documents in {ALeA}},
author = {Abhishek Chugh and Michael Kohlhase and Dennis M\"uller},
note = {submitted},
crossref={MathUI23},
year = {2023},
url = {https://gl.mathhub.info/Papers/23-mathui-active-documents/-/blob/main/active_documents.pdf},
pubs = {mkohlhase,achugh,dmueller,voll-ki}
}
@online{ALeA:courses,
label={VKC},
title = {{VoLL-KI} based Courses at {FAU}},
url = {http://alea.courses},
urldate = {2024-07-16}}
@online{ALeA:online,
label={ALeA},
title = {{ALeA}: Adaptive Learning Assistant},
url = {http://alea.education},
urldate = {2024-07-16}}
@online{ALeA:experiments,
label={VKE},
title = {{VoLL-KI Experiments}},
url = {https://courses.voll-ki.fau.de/en/exp},
urldate = {2023-08-05}}
@inproceedings{LwA.Tetacm23,
author = {Theresa Kruse and Marc Berges and Jonas Betzendahl and Michael Kohlhase and Dominic Lohr and Dennis Müller},
title = {Learning with ALeA: Tailored experiences through annotated course material},
year = {2023},
crossref = {KIBildung23},
url = {https://kwarc.info/people/dmueller/pubs/ws_alea_voll-ki.pdf},
pubs = {voll-ki, tkruse, mberges, jbetzendahl, mkohlhase, dlohr, dmueller},
keywords = {conference}
}
@inproceedings{DBLP:conf/ecai/BetzendahlK023,
author = {Jonas Betzendahl and
Michael Kohlhase and
Dennis M{\"{u}}ller},
editor = {Slawomir Nowaczyk and
Przemyslaw Biecek and
Neo Christopher Chung and
Mauro Vallati and
Pawel Skruch and
Joanna Jaworek{-}Korjakowska and
Simon Parkinson and
Alexandros Nikitas and
Martin Atzm{\"{u}}ller and
Tom{\'{a}}s Kliegr and
Ute Schmid and
Szymon Bobek and
Nada Lavrac and
Marieke Peeters and
Roland van Dierendonck and
Saskia Robben and
Eunika Mercier{-}Laurent and
G{\"{u}}lg{\"{u}}n Kayakutlu and
Mieczyslaw Lech Owoc and
Karl Mason and
Abdul Wahid and
Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Giorgio Terracina and
Diedrich Wolter and
Jochen L. Leidner and
Michael Kohlhase and
Vania Dimitrova},
title = {Guided Tours in ALeA - Assembling Tailored Educational Dialogues from
Semantically Annotated Learning Objects},
booktitle = {Artificial Intelligence. {ECAI} 2023 International Workshops - AI4AI, Poland, September 30 - October 4, 2023, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {1948},
pages = {397--408},
publisher = {Springer},
year = {2023},
url = {https://gl.mathhub.info/Papers/23-ai4ai-guided-tours/-/raw/main/source/ai4ai_guided_tours.pdf},
doi = {10.1007/978-3-031-50485-3\_39},
pubs = {voll-ki, jbetzendahl, mkohlhase, dmueller}
}
@inproceedings{LoBeKoRa23,
author = {Lohr, Dominic and Berges, Marc and Kohlhase, Michael and Rabe, Florian},
year = {2023},
pages = {},
title = {The Potential of Answer Classes in Large-scale Written Computer-Science Exams},
booktitle = {Proceedings of the 10th Symposium on Computer Science in Higher Education {HDI23}},
address = {Aachen, Germany},
keywords = {conference},
url = {https://kwarc.info/kohlhase/submit/HDI23-answerclasses.pdf},
note={Accepted},
pubs = {mkohlhase, frabe, voll-ki, dlohr, mberges}
}
@inproceedings{SchKoh:sb23,
author = {Jan Frederik Schaefer and Michael Kohlhase},
title = {Towards an Annotation Standard for {STEM} Documents -- Datasets, Benchmarks, and Spotters},
crossref = {CICM23},
pages = {190--205},
url = {https://kwarc.info/people/jfschaefer/pubs/2023-spotterbase-cicm.pdf},
pubs = {jfschaefer,mkohlhase}
}
@unpublished{BerKohLohMue:ymodel22,crossref=LohBerKoh:ymodel23}
@inproceedings{LohBerKoh:ymodel23,
url = {https://url.mathhub.info/23GeCon},
year = {2023},
publisher = {{IEEE}},
author = {Dominic Lohr and Marc Berges and Michael Kohlhase and Dennis M{\"u}ller and Max Rapp},
title = {{The Y-Model} -- Formalization of Computer-Science Tasks in the Context of Adaptive Learning Systems},
booktitle = {2023 IEEE German Education Conference (GeCon)},
keywords = {conference},
pubs = {mkohlhase,dmueller,mrapp,dlohr,mberges,voll-ki}
}
@inproceedings{BerBetChu:lssmkm23,
author = {Marc Berges and Jonas Betzendahl and Abhishek Chugh and Michael Kohlhase and Dominic Lohr and Dennis M{\"u}ller},
title = {Learning Support Systems based on Mathematical Knowledge Managment},
url = {https://url.mathhub.info/CICM23ALEA},
crossref = {CICM23},
keywords = {conference},
pubs = {voll-ki,mkohlhase,dmueller,jbetzendahl,achugh}
}
@mastersthesis{tintemann:lovivo22,
title = {{LoViWo Extended}. Facilitating Further Content Additions for an Existing Knowledge Based Physics Simulation Prototype},
author = {Mark Tintemann},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2022-10-12},
type = {B.Sc. Thesis},
url = {https://gl.kwarc.info/supervision/BSc-archive/-/blob/master/2022/TintemannMark.pdf},
pubs={bscthesis,frameit}
}
@mastersthesis{Schoener:ufiuf23,
title = {User-Fact Interaction in the {UFrameIT} Framework},
author = {Tobias Werner Sch{\"o}ner},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2023-04-23},
type = {B.Sc. Thesis},
url = {https://gl.kwarc.info/supervision/BSc-archive/-/blob/master/2023/Schoener_Tobias.pdf},
pubs={bscthesis,frameit}
}
@mastersthesis{hutterer:msc23,
title = {Integrating automated semantic annotation using machine learning into authoring workflows for flexiformal documents},
author = {Philipp Hutterer},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2023-04-12},
type = {M.Sc. Thesis},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/HuttererPhilipp.pdf},
pubs={mscthesis,voll-ki}
}
@report{keller:aiproj24,
author={Keller, Katharina},
title={Benutzungsfreundliche Darstellung des Lernstandes von Konzepten einer Vorlesung im Lernenden-Modell},
institution={FAU Erlangen-N{\"u}rnberg},
date={2024-11-19},
type={{AI} Project},
url={https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2024/Keller_Katharina.pdf},
pubs={voll-ki}
}
@online{ar5iv,
title = {ar5iv -- Articles from \texttt{arXiv.org} as responsive HTML5 web pages},
note = {project home page},
url = {https://ar5iv.org}}
@inproceedings{ginev-miller-2020-scientific,
title = "Scientific Statement Classification over ar{X}iv.org",
author = "Ginev, Deyan and Miller, Bruce R",
booktitle = "Proceedings of the Twelfth Language Resources and Evaluation Conference",
month = may,
year = "2020",
address = "Marseille, France",
publisher = "European Language Resources Association",
url = "https://aclanthology.org/2020.lrec-1.153",
pages = "1219--1226",
abstract = "We introduce a new classification task for scientific statements and release a large-scale dataset for supervised learning. Our resource is derived from a machine-readable representation of the arXiv.org collection of preprint articles. We explore fifty author-annotated categories and empirically motivate a task design of grouping 10.5 million annotated paragraphs into thirteen classes. We demonstrate that the task setup aligns with known success rates from the state of the art, peaking at a 0.91 F1-score via a BiLSTM encoder-decoder model. Additionally, we introduce a lexeme serialization for mathematical formulas, and observe that context-aware models could improve when also trained on the symbolic modality. Finally, we discuss the limitations of both data and task design, and outline potential directions towards increasingly complex models of scientific discourse, beyond isolated statements.",
language = "English",
ISBN = "979-10-95546-34-4",
}
@article{Bender.2015,
abstract = {To address the special challenges of teaching computer science, adequate development of teachers? competencies during their education is extremely important. In particular, pedagogical content knowledge and teachers? beliefs and motivational orientations play an important role in effective teaching. This research field has been sparsely investigated up to now and there exists no consistent competency model for teaching computer science in Germany. Therefore, this paper describes the development of competency in the areas of pedagogical content knowledge, teachers? beliefs, and motivational orientations with regard to computer science. Competency-relevant factors for teaching computer science are theoretically derived and concretely formulated with the help of expert interviews conducted according to the critical incident technique and analyzed using techniques of qualitative content analysis.},
author = {Bender, Elena and Hubwieser, Peter and Schaper, Niclas and Margaritis, Melanie and Berges, Marc and Ohrndorf, Laura and Magenheim, Johannes and Schubert, Sigrid},
year = {2015},
title = {Towards a Competency Model for Teaching Computer Science},
pages = {519--532},
volume = {90},
number = {4},
issn = {0161-956X},
journal = {Peabody Journal of Education},
doi = {10.1080/0161956X.2015.1068082},
file = {Bender, Hubwieser et al. 2015 - Towards a Competency Model:Attachments/Bender, Hubwieser et al. 2015 - Towards a Competency Model.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Berges.2013,
author = {Berges, Marc and Hubwieser, Peter},
title = {Concept Specification Maps: Displaying Content Structures},
keywords = {conference},
pages = {291--296},
publisher = {{ACM Press}},
isbn = {978-1-4503-2078-8},
booktitle = {Proceedings of the 18th ACM conference on Innovation and technology in computer science education},
year = {2013},
address = {New York, USA},
doi = {10.1145/2462476.2462503},
file = {Berges, Hubwieser 2013 - Concept specification maps:Attachments/Berges, Hubwieser 2013 - Concept specification maps.pdf:application/pdf},
pubs = {voll-ki}
}
@inproceedings{Berges.2015,
author = {Berges, Marc and Hubwieser, Peter},
title = {Evaluation of Source Code with Item Response Theory},
pages = {51--56},
publisher = {{ACM Press}},
booktitle = {Proceedings of the 20th SIGCSE Conference on Innovation and Technology in Computer Science Education},
year = {2015},
address = {New York},
file = {Berges, Hubwieser 2015 - Evaluation of Source Code:Attachments/Berges, Hubwieser 2015 - Evaluation of Source Code.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Berges.2015b,
abstract = {In 2008, a working group in the computer science department at Technische Universit{\"a}t M{\"u}nchen School of Education piloted an optional 2 {\textonehalf} day experience that took place just before the first undergraduate lecture in computer science. This experimental project was a unique attempt to assess prior knowledge and programming skills for new CS students. The research team used item response theory on source code for 21 fundamental coding concepts in an attempt to assess novice programming skills. The responses were transferred to a Rasch Model which allows personal parameters to be assessed. Now that a metric has been validated for the coding ability, we are seeking to further our work by attempting to evaluate other core programming competencies. Originally, the complexity of the programming task was of central interest, we are seeking to further our work by creating a multidimensional assessment of problem solving abilities as well as coding abilities represents the different facets of},
author = {Berges, Marc},
title = {Investigating Novice Programming Abilities with the Help of Psychometric Assessment},
pages = {90--95},
publisher = {AACE},
editor = {Slykhuis, David and Marks, Gary},
booktitle = {Proceedings of Society for Information Technology {\&} Teacher Education International Conference 2015},
year = {2015},
address = {Las Vegas, NV, United States},
file = {Berges 2015 - Investigating Novice Programming Abilities:Attachments/Berges 2015 - Investigating Novice Programming Abilities.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Berges.2016,
author = {Berges, Marc and Striewe, Michael and Shah, Philipp and Goedicke, Michael and Hubwieser, Peter},
title = {Towards Deriving Programming Competencies from Student Errors},
pages = {19--23},
publisher = {{IEEE Press}},
booktitle = {4th International Conference on Learning and Teaching in Computing and Engineering (LaTiCE)},
year = {2016},
address = {Los Alamitos},
file = {Berges, Striewe et al. 2016 - Towards Deriving Programming Competencies:Attachments/Berges, Striewe et al. 2016 - Towards Deriving Programming Competencies.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Hubwieser.2013c,
abstract = {In the framework of a cooperation project that aims to identify the competencies required for teaching computer science in schools, we are developing a conceptualization of PCK currently. Up to now, we have derived a category system from literature and evaluated several interviews with teaching persons. In this paper, we describe the category system and the most important steps of its derivation. Further, we present the results of a survey that had investigated all curricula for CS teacher education that we had found in Germany, looking for the implementation of those categories. Furthermore, we are preparing interviews among experts about PCK, applying the Critical Incident Technique.},
author = {Hubwieser, Peter and Berges, Marc and Magenheim, Johannes and Schaper, Niclas and Br{\"o}ker, Kathrin and Margaritis, Melanie and Schubert, Sigrid and Ohrndorf, Laura},
title = {Pedagogical Content Knowledge for Computer Science in German Teacher Education Curricula},
url = {http://doi.acm.org/10.1145/2532748.2532753},
pages = {95--103},
publisher = {ACM},
isbn = {978-1-4503-2455-7},
booktitle = {Proceedings of the 8th Workshop in Primary and Secondary Computing Education},
year = {2013},
address = {New York},
doi = {10.1145/2532748.2532753},
file = {Hubwieser, Berges et al. 2013 - Pedagogical Content Knowledge for Computer:Attachments/Hubwieser, Berges et al. 2013 - Pedagogical Content Knowledge for Computer.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Hubwieser.2017,
author = {Hubwieser, Peter and Berges, Marc and Striewe, Michael and Goedicke, Michael},
title = {Towards competency based testing and feedback: Competency definition and measurement in the field of algorithms {\&} data structures},
pages = {517--526},
publisher = {IEEE},
isbn = {978-1-5090-5467-1},
series = {IEEE Conference Publications},
booktitle = {Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON)},
year = {2017},
doi = {10.1109/EDUCON.2017.7942896},
file = {Hubwieser, Berges et al. 2017 - Towards competency based testing:Attachments/Hubwieser, Berges et al. 2017 - Towards competency based testing.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Margaritis.2015,
abstract = {In order to identify important competencies required for teaching computer science in schools, the research project KUI (Competencies for Teaching Computer Science) granted by the Ministry of Education and Research (BMBF) was founded. At this point in time, there is no consistent competency model for training computer science pre-service teachers in Germany. The development of an adequate model is an important step to establish outcome-oriented guidelines and curricula recommendations. The first framework of a competency model is structured into the dimensions of subject matter knowledge (CK), pedagogical content knowledge (PCK) and non-cognitive competencies (NCC). This article concentrates on the development of the PCK and NCC competency model. It describes our methodological approach, our results of expert interviews to refine the model, and shows an overview of the first competency definitions.},
author = {Margaritis, Melanie and Magenheim, Johannes and Hubwieser, Peter and Berges, Marc and Ohrndorf, Laura and Schubert, Sigrid},
title = {Development of a competency model for computer science teachers at secondary school level},
pages = {211--220},
publisher = {{IEEE Press}},
booktitle = {IEEE Global Engineering Education Conference},
year = {2015},
address = {Los Alamitos},
doi = {10.1109/EDUCON.2015.7095973},
file = {Margaritis, Magenheim et al. 2015 - Development of a competency model:Attachments/Margaritis, Magenheim et al. 2015 - Development of a competency model.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Ruf.2013,
abstract = {This paper deals with the classification of assignments according to their type. In contrast to other assignment types not deductively, but extract them empirically from different sources. Our main research question is: What types of programming assignments are actually given to novice programmers? In addition, we compare our empirically found assignment types to the deductively derived ones from the literature. This is driven by the following research questions: Are there types of assignments that are mentioned in literature, which however are not or rarely found in actual assignments given to novice programmers? Can assignment types be found that cannot or only poorly be matched with the category types described in the literature?},
author = {Ruf, Alexander and Berges, Marc and Hubwieser, Peter},
title = {Types of Assignments for Novice Programmers},
pages = {43--44},
publisher = {ACM},
isbn = {978-1-4503-2455-7},
booktitle = {Proceedings of the 8th Workshop in Primary and Secondary Computing Education},
year = {2013},
address = {New York},
doi = {10.1145/2532748.2532777},
file = {Ruf, Berges et al. 2013 - Types of Assignments for Novice:Attachments/Ruf, Berges et al. 2013 - Types of Assignments for Novice.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Ruf.2015,
abstract = {Tasks represent a central part of computer science lessons, and aim to practice programming skills or to concrete abstract concepts for example. We have investigated, which types of tasks are given to novice programmers, typically. For that purpose, we have analyzed and generalized tasks from textbooks and exercise sheets. The result is a list of twelve task types classified according to required skills and knowledge representation. In addition, we found that the task types differ very much regarding their incidence. Finally, we tried to relate the three found forms of knowledge representation to concepts of cognitive psychology.},
author = {Ruf, Alexander and Berges, Marc and Hubwieser, Peter},
title = {Classification of Programming Tasks According to Required Skills and Knowledge Representation},
pages = {57--68},
publisher = {Springer},
isbn = {978-3-319-25395-4},
series = {Lecture Notes in Computer Science},
editor = {Brodnik, Andrej and Vahrenhold, Jan},
booktitle = {Informatics in Schools. Curricula, Competences, and Competitions},
year = {2015},
address = {Heidelberg},
file = {Ruf, Berges et al. 2015 - Classification of Programming Tasks According:Attachments/Ruf, Berges et al. 2015 - Classification of Programming Tasks According.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@inproceedings{Shah.2017,
author = {Shah, Philipp and Berges, Marc and Hubwieser, Peter},
title = {Qualitative Content Analysis of Programming Errors},
publisher = {{ACM Press}},
isbn = {978-1-4503-4791-4},
series = {International Conference Proceedings Series},
booktitle = {Proceedings of the 5th International Conference on Information and Education Technology},
year = {2017},
address = {New York},
doi = {10.1145/1235},
file = {Shah, Berges et al. 2017 - Qualitative Content Analysis of Programming:Attachments/Shah, Berges et al. 2017 - Qualitative Content Analysis of Programming.pdf:application/pdf},
keywords = {conference},
pubs = {voll-ki}
}
@article{Mue:rustextug23,
title = {An HTML/CSS schema for {\TeX} primitives -- generating high-quality responsive HTML from generic {\TeX}},
author = {Dennis M{\"u}ller },
crossref = {TUG23},
pages = {275--286},
url = {https://kwarc.info/people/dmueller/pubs/tug23.pdf},
pubs = {dmueller,sTeX,voll-ki},
}
@article{MueKo:stextug22,
title = {{sTeX3} -- A {\LaTeX}-based Ecosystem for Semantic/Active Mathematical Documents},
author = {Dennis M{\"u}ller and Michael Kohlhase},
crossref = {TUG22},
pages = {197--201},
url = {https://kwarc.info/people/dmueller/pubs/tug22.pdf},
pubs = {mkohlhase,dmueller,sTeX,voll-ki},
}
@inproceedings{MueKo:sdstex22,
title = {System Description: {sTeX3} -- A {\LaTeX}-based Ecosystem for Semantic/Active Mathematical Documents},
author = {Michael Kohlhase and Dennis M{\"u}ller},
crossref = {CICM22},
pages = {184--188},
url = {https://kwarc.info/people/dmueller/pubs/cicm22stexsd.pdf},
pubs = {mkohlhase,dmueller,sTeX,voll-ki},
keywords = {conference}}
@inproceedings{MueKo:ifmil22,
title = {Injecting Formal Mathematics Into LaTeX},
author = {Dennis M{\"u}ller and Michael Kohlhase},
crossref = {CICM22},
pages = {168--183},
url = {https://kwarc.info/people/dmueller/pubs/cicm22stexmmt.pdf},
pubs = {mkohlhase,dmueller,sTeX,voll-ki},
keywords = {conference}}
@mastersthesis{roux:msc22,
title = {A Framework for Defining Structure-Preserving Diagram Operators},
author = {Navid Roux},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2022-03-23},
type = {M.Sc. Thesis},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf},
note = {linked PDF is an old outdated one},
pubs={mscthesis,nroux}}
@unpublished{roux:msc22:slides,
title = {A Framework for Defining Structure-Preserving Diagram Operators (slides)},
author = {Navid Roux},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2022-07-21},
type = {M.Sc. Thesis Defense Slides},
url = {https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2022/diagops/build/slides.pdf},
pubs={mscthesis,nroux}}
@mastersthesis{roux:bsc19,
title = {Refactoring of Theory Graphs in Knowledge Representation Systems},
author = {Navid Roux},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2019-07-01},
type = {B.Sc. Thesis},
url = {https://gl.kwarc.info/supervision/BSc-archive/-/blob/master/2019/Roux_Navid.pdf},
pubs = {bscthesis,nroux}}
@unpublished{roux:bsc19:slides,
title = {Refactoring of Theory Graphs in Knowledge Representation Systems (slides)},
author = {Navid Roux},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2019-07-15},
type = {B.Sc. Thesis Defense Slides},
url = {https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2019/refactoring-theory-graphs/build/slides.pdf},
pubs = {bscthesis,nroux}}
@mastersthesis{Weber:pcm22,
title = {The Problem-Creator-Menu -- A Game Content {IDE} for Unity based {UFrameIT} Games},
author = {Sebastian Weber},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2022/Weber_Sebastian.pdf},
type = {Bachelor Project Report},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2022},
pubs = {bscproject,frameit}}
@mastersthesis{Albert:tmsnsml22,
title = {Towards a Multi-System Narrative Search for Mathematical Libraries -- Narrative
Harvesting},
author = {Jakob Albert},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2022/Albert_Jakob.pdf},
type = {Master Project Report},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2022},
pubs = {mscproject,mathhub}}
@mastersthesis{Albert:msnsml23,
title = {A Multi-System Narrative Search for Mathematical Libraries -- Narrative
Harvesting of Math Archives},
author = {Jakob Albert},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/AlbertJakob.pdf},
type = {MSc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
pubs = {mscthesis,mathhub}}
@mastersthesis{Peters:m2sfips23,
title = {{MathWebSearch 2.0}: Scalable Formula Indexing with Perfect Sharing},
author = {Julian Peters},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/PetersJulian.pdf},
type = {MSc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
pubs = {mscthesis,mws}}
@mastersthesis{Friedrich:tdrcspie23,
title = {Document Quality Management by Semantic Search},
author = {Tim Friedrich},
type = {B.Sc. Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2021},
pubs = {bscthesis,comma}}
@mastersthesis{Friedrich:tdrcspie23,
title = {Towards Digitized Register Courts "= A symbolic Pipeline for Information Extraction},
author = {Tim Friedrich},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/FriedrichTim.pdf},
type = {MSc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
pubs = {mscthesis,jlogic}}
@mastersthesis{Christoph:hkiip23,
title = {Hybride Künstliche Intelligenz in der industriellen Produktion am Beispiel der Sichtprüfung von räumlichen Montagebaugruppen
},
author = {Alexander Christoph},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/ChristophAlexander.pdf},
type = {MSc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
pubs = {mscthesis,mathhub}}
@mastersthesis{Helmke:facrpl23,
title = {Formalization and Annotation of Company Register Processes via Logic},
author = {Martin Helmke},
url = {https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2023/HelmkeMartin.pdf},
type = {MSc Thesis},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2023},
pubs = {mscthesis,mathhub}}
@mastersthesis{Zimmer:ppfs22,
title = {From Proof-of-Concept to proto-game: First Steps},
author = {Marco Zimmer},
url = {https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2022/Zimmer_Marco.pdf},
type = {Bachelor Project Report},
school = {Computer Science, FAU Erlangen-Nürnberg},
date = {2022},
pubs = {bscproject,frameit}}
@inproceedings{hmss:eicnmnhp22,
doi = {10.1007/978-3-031-09282-4_35},
url = {https://link.springer.com/chapter/10.1007/978-3-031-09282-4_35},
author = {Herchenbach, Marvin and M{\"u}ller, Dennis and Scheele, Stephan and Schmid, Ute},
title = {Explaining Image Classifications with Near Misses, Near Hits and Prototypes: Supporting Domain Experts in Understanding Decision Boundaries},
booktitle = {Pattern Recognition and Artificial Intelligence: Third International Conference, ICPRAI 2022},
pubs = {dmueller},
keywords = {conference},
year = {2022}
}
@inproceedings{KohKoh:cdetefl21,
title = {A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking},
author = {Andrea Kohlhase, Michael Kohlhase},
crossref = {MathUI21},
pubs = {akohlhase,mkohlhase}}
@TechReport{stexMan:on,
title = {The {sTeX3} Manual},
author = {Michael Kohlhase and Dennis M{\"u}ller},
url = {https://github.com/slatex/sTeX/blob/main/doc/stex-manual.pdf},
urldate = {2023-06-06},
pubs = {mkohlhase,dmueller,sTeX,voll-ki}}
@online{stexDoc:on,
title = {The {sTeX3} Package Collection},
author = {Michael Kohlhase and Dennis M{\"u}ller},
url = {https://github.com/slatex/sTeX/blob/main/doc/stex-doc.pdf},
urldate = {2022-04-24},
pubs = {mkohlhase,dmueller,sTeX,voll-ki}}
@online{stexCTAN:on,
label = {ST},
title = {sTeX – An Infrastructure for Semantic Preloading of LaTeX Documents},
institution = {Comprehensive {\TeX} Archive Network (CTAN)},
url = {https://ctan.org/pkg/stex},
urldate = {2022-04-22}}
@online{stexls:on,
label = {SLS},
title = {sLaTeX/stexls},
url = {https://github.com/slatex/stexls},
urldate = {2022-04-22}}
@online{sTeX-IDE:on,
label = {SI},
title = {sLaTeX/sTeX-IDE},
url = {https://github.com/slatex/sTeX-IDE},
urldate = {2022-04-22}}
@online{stexls-vscode-plugin:on,
label = {SI},
title = {sLaTeX/stexls-vscode-plugin},
url = {https://github.com/slatex/stexls-vscode-plugin},
urldate = {2022-04-22}}
@inproceedings{mmss:xai22,
doi = {10.48550/ARXIV.2203.09181},
url = {https://arxiv.org/abs/2203.09181},
author = {M{\"u}ller, Dennis and M{\"a}rz, Michael and Scheele, Stephan and Schmid, Ute},
keywords = {Machine Learning (cs.LG), Computer Vision and Pattern Recognition (cs.CV), Human-Computer Interaction (cs.HC), FOS: Computer and information sciences, FOS: Computer and information sciences},
title = {An Interactive Explanatory AI System for Industrial Quality Control},
booktitle = {IAAI 2022},
pubs = {dmueller},
keywords = {conference},
year = {2022}
}
@online{VoLL-KI:on,
title = {Von Leanenden Learnen -- Ganzheitliche Daten- und Wissensunterstütze Hochschulbildung und deren Gestaltung},
url = {https://voll-ki.de},
urldate = {2022-01-08}}
@online{VoLL-KI@FAU:on,
title = {Von Leanenden Learnen -- Ganzheitliche Daten- und Wissensunterstütze Hochschulbildung und deren Gestaltung},
url = {https://voll-ki.de},
urldate = {2022-01-08}}
@MastersThesis{Junior:bsc22,
author = {de Souza Bueno Júnior, Ivo},
title = {Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework},
school = {Informatik, FAU Erlangen-N{\"u}rnberg},
type = {Bachelor's Thesis},
url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2021/Junior_Ivo.pdf},
pubs = {bscthesis},
year = {2022}}
@MastersThesis{Schihada:msc21,
author = {John Schihada},
title = {Knowledge-based Physics Simulation},
school = {Informatik, FAU Erlangen-N{\"u}rnberg},
type = {Master's Thesis},
url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2021/Schihada_John.pdf},
pubs = {mscthesis,frameit},
year = {2021}}
@MastersThesis{Wagner:msc21,
author = {Michael Wagner},
title = {Tetrapodal Harvesting of the OEIS -- FAIR, Semantic Extraction and Organization},
school = {Informatik, FAU Erlangen-N{\"u}rnberg},
type = {Master's Thesis},
url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2021/Wagner_Michael.pdf},
pubs = {mscthesis,mathhub,mwagner},
year = {2021}}
@online{Wagner:thods,
author = {Michael Wagner},
title = {THODS - OEIS Semantified},
school = {Informatik, FAU Erlangen-N{\"u}rnberg},
year = 2022,
type = {dataset},
url = {https://zenodo.org/record/6809687},
doi = "10.5281/zenodo.6809687",
pubs = {mwagner}}
@incollection{Kohlhase:wids22,
author = {Michael Kohlhase},
title = {Wann ist ein juristischer Text strukturiert? Die Sicht der Informatik und der Künstlichen Intelligenz},
url = {https://kwarc.info/kohlhase/papers/wids22.pdf},
crossref = {AdrEveKohZwi:dzr22},
pages = {155--170},
pubs = {mkohlhase}}
@online{mmt:intellij,
author = {Contributors of {UniFormal/IntelliJ-MMT}},
title = {An IntelliJ-Plugin for MMT},
url = {https://github.com/UniFormal/IntelliJ-MMT},
urldate = {2021-11-17},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
howpublished = {\url{https://github.com/UniFormal/IntelliJ-MMT}},
commit = {43cc997f338aeba323f80639ef02c3b6802aad6d},
pubs = {dmueller,nroux}
}
@inproceedings{kmrs:incremental-frameit,
author = "Kohlhase, Michael and Marcus, Richard and Roux, Navid and Schihada, John",
title = "Dynamic User Interfaces via Incremental Knowledge Management",
keywords = {Serious Games,MMT,User Interfaces,User Experience,Knowledge Management,Development Tool,Unity,Game Engine},
year = "2021",
url = {https://cicm-conference.org/2021/MathUI/mathuiPubs/MathUI_2021_paper_77.pdf},
urldate = {2021-11-16},
booktitle = {13th MathUI Workshop 2021, Mathematical User Interaction, at the Conference on Intelligent Computer Mathematics},
pubs = {mkohlhase,rmarcus,nroux,frameit}
}
@online{mmt:archives:on,
author = {{MMT Contributors}},
url = {https://uniformal.github.io/doc/archives/},
title = {MMT Archives},
urldate = {2021-11-01}}
@InProceedings{KR:survey-for-formalizing,
author="Kaliszyk, Cezary and Rabe, Florian",
editor="Benzm{\"u}ller, Christoph and Miller, Bruce",
title="A Survey of Languages for Formalizing Mathematics",
booktitle="Intelligent Computer Mathematics",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="138--156",
abstract="In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce human-readable documents. These goals are challenging to combine and state-of-the-art tools typically have to make difficult compromises.",
isbn="978-3-030-53518-6",
pubs = {frabe}
}
@inproceedings{rabe:tde:21,
author = "F. Rabe",
title = "{A Language with Type-Dependent Equality}",
year = "2021",
pages = "211--227",
booktitle = "Intelligent Computer Mathematics",
editor = "F. Kamareddine and C. {Sacerdoti Coen}",
publisher = "Springer",
doi = "10.1007/978-3-030-81097-9_18",
url = {https://kwarc.info/people/frabe/Research/rabe_tde_21.pdf},
pubs = {frabe,mmt,latin}
}
@unpublished{Roux:logrelguide,
title = {A Beginner’s Guide to Logical Relations for a Logical Framework},
author = {Navid Roux},
school = {FAU Erlangen-N{\"u}rnberg},
date = {2021-03-22},
type = {seminar paper},
note = {written as a student of the kwarc seminar},
url = {https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf},
pubs = {nroux,mmt,oaf,latin}}
@unpublished{Roux:logrelguide:slides,
title = {A Beginner’s Guide to Logical Relations for a Logical Framework (slides)},
author = {Navid Roux},