Project VoLL-KI at FAU : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Journals
    2. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Technical Reports
  4. Unpublished

Archival Literature

Articles in Journals

  1. [4] D. Müller and M. Kohlhase (2022) STeX3 – a -based ecosystem for semantic/active mathemapubtical documents. TeX users group conference (tug), pp. 197–201. External Links: Link Cited by: p1.
  2. [1] E. Bender, P. Hubwieser, N. Schaper, M. Margaritis, M. Berges, L. Ohrndorf, J. Magenheim, and S. Schubert (2015) Towards a competency model for teaching computer science. Peabody Journal of Education 90 (4), pp. 519–532. External Links: ISSN 0161-956X, Document Cited by: p1.
  3. [2] A. Kohlhase and M. Kohlhase (2008-06) Semantic knowledge management for education. Proceedings of the IEEE; Special Issue on Educational Technology 96 (6), pp. 970–989. External Links: Link Cited by: p1.
  4. [3] M. Kohlhase (2008) Using as a semantic markup format. Mathematics in Computer Science 2 (2), pp. 279–304. External Links: Link Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [7] M. Kohlhase and D. Müller (2022) System description: stex3 – a -based ecosystem for semantic/active mathematical documents. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.), LNAI, Vol. 13467, pp. 184–188. External Links: Link Cited by: p1.
  2. [9] D. Müller and M. Kohlhase (2022) Injecting formal mathematics into latex. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.), LNAI, Vol. 13467, pp. 168–183. External Links: Link Cited by: p1.
  3. [6] P. Hubwieser, M. Berges, M. Striewe, and M. Goedicke (2017) Towards competency based testing and feedback: competency definition and measurement in the field of algorithms & data structures. In Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON), IEEE Conference Publications, pp. 517–526. External Links: ISBN 978-1-5090-5467-1, Document Cited by: p1.
  4. [12] P. Shah, M. Berges, and P. Hubwieser (2017) Qualitative content analysis of programming errors. In Proceedings of the 5th International Conference on Information and Education Technology, International Conference Proceedings Series, New York. External Links: ISBN 978-1-4503-4791-4, Document Cited by: p1.
  5. [3] M. Berges, M. Striewe, P. Shah, M. Goedicke, and P. Hubwieser (2016) Towards deriving programming competencies from student errors. In 4th International Conference on Learning and Teaching in Computing and Engineering (LaTiCE), Los Alamitos, pp. 19–23. Cited by: p1.
  6. [2] M. Berges and P. Hubwieser (2015) Evaluation of source code with item response theory. In Proceedings of the 20th SIGCSE Conference on Innovation and Technology in Computer Science Education, New York, pp. 51–56. Cited by: p1.
  7. [4] M. Berges (2015) Investigating novice programming abilities with the help of psychometric assessment. In Proceedings of Society for Information Technology & Teacher Education International Conference 2015, D. Slykhuis and G. Marks (Eds.), Las Vegas, NV, United States, pp. 90–95. Cited by: p1.
  8. [8] M. Margaritis, J. Magenheim, P. Hubwieser, M. Berges, L. Ohrndorf, and S. Schubert (2015) Development of a competency model for computer science teachers at secondary school level. In IEEE Global Engineering Education Conference, Los Alamitos, pp. 211–220. External Links: Document Cited by: p1.
  9. [11] A. Ruf, M. Berges, and P. Hubwieser (2015) Classification of programming tasks according to required skills and knowledge representation. In Informatics in Schools. Curricula, Competences, and Competitions, A. Brodnik and J. Vahrenhold (Eds.), Lecture Notes in Computer Science, Heidelberg, pp. 57–68. External Links: ISBN 978-3-319-25395-4 Cited by: p1.
  10. [1] M. Berges and P. Hubwieser (2013) Concept specification maps: displaying content structures. In Proceedings of the 18th ACM conference on Innovation and technology in computer science education, New York, USA, pp. 291–296. External Links: ISBN 978-1-4503-2078-8, Document Cited by: p1.
  11. [5] P. Hubwieser, M. Berges, J. Magenheim, N. Schaper, K. Bröker, M. Margaritis, S. Schubert, and L. Ohrndorf (2013) Pedagogical content knowledge for computer science in german teacher education curricula. In Proceedings of the 8th Workshop in Primary and Secondary Computing Education, New York, pp. 95–103. External Links: Link, ISBN 978-1-4503-2455-7, Document Cited by: p1.
  12. [10] A. Ruf, M. Berges, and P. Hubwieser (2013) Types of assignments for novice programmers. In Proceedings of the 8th Workshop in Primary and Secondary Computing Education, New York, pp. 43–44. External Links: ISBN 978-1-4503-2455-7, Document Cited by: p1.

Theses

  1. [1] M. Plivelic (2018-02) Using machine learning to support annotating of keywords in mathematical texts. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

Gray Literature

Technical Reports

  1. [1] M. Kohlhase and D. Müller The sTeX3 manual. Technical report External Links: Link Cited by: p1.

Unpublished

  1. [1] M. Berges, M. Kohlhase, D. Lohr, and D. Müller (2022) The Y Model – formalization of computer-science tasks in the context of intelligent tutoring systems. Note: submitted External Links: Link Cited by: p1.