Jonas Betzendahl : Selected Publications

Please respect any copyrights when downloading

1. Archival Literature
   1. Papers at International, Peer-Reviewed Conferences
2. Theses

Archival Literature

Papers at International, Peer-Reviewed Conferences

1. [1] M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller (2023) Learning support systems based on mathematical knowledge managment. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2023, C. Dubois and M. Kerber (Eds.), LNAI. External Links: Link Cited by: p1.
2. [3] T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller (2023) Learning with alea: tailored experiences through annotated course material. In KI-bildung, Lecture Notes in Informatics. External Links: Link Cited by: p1.
3. [2] J. Betzendahl and M. Kohlhase (2018) Translating the IMPS theory library to OMDoc/MMT. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.), LNAI. External Links: Link Cited by: p1.

Theses

1. [2] J. Betzendahl (2018-04) Translating the IMPS theory library to MMT / OMDoc. Master’s Thesis, Informatik, Universität Bielefeld. External Links: Link Cited by: p1.
2. [1] J. Betzendahl (2014-08) Implementation of inverse coupled rewrite systems – a case study. Bachelor’s Thesis, Informatik, Universität Bielefeld. External Links: Link Cited by: p1.