Jonas Betzendahl : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Papers at Peer-Reviewed Workshops

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, Vol. 14101. 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.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] J. Betzendahl, M. Kohlhase, and D. Müller (2023) Guided tours in alea - assembling tailored educational dialogues from semantically annotated learning objects. In Artificial Intelligence. ECAI 2023 International Workshops - AI4AI, Poland, September 30 - October 4, 2023, Proceedings, Part II, S. Nowaczyk, P. Biecek, N. C. Chung, M. Vallati, P. Skruch, J. Jaworek-Korjakowska, S. Parkinson, A. Nikitas, M. Atzmüller, T. Kliegr, U. Schmid, S. Bobek, N. Lavrac, M. Peeters, R. van Dierendonck, S. Robben, E. Mercier-Laurent, G. Kayakutlu, M. L. Owoc, K. Mason, A. Wahid, P. Bruno, F. Calimeri, F. Cauteruccio, G. Terracina, D. Wolter, J. L. Leidner, M. Kohlhase, and V. Dimitrova (Eds.), Communications in Computer and Information Science, Vol. 1948, pp. 397–408. External Links: Link, Document Cited by: p1.