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. 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.