Publikationen

2025[ to top ]
  • Shapira, I. und Weiss, G. (2025) „Guarded Process Trees: Translation to Petri Nets and Application in Process Mining“, verfügbar unter: https://www.uni-kassel.de/eecs/index.php?eID=dumpFile&t=f&f=40956&token=6ff5615c876f8034c6c7ba5d903786275d7eebe3.
  • Herwig, M., Hundeshagen, N., und Lange, M. (2025) „An Earley-Based Universal Error-Correcting Parser“, in International Conference on Implementation and Application of Automata, Springer, 208–222, verfügbar unter: https://doi.org/10.1007/978-3-032-02602-6_15.
  • Herwig, M., Hundeshagen, N., und Lange, M. (2025) „Problem-specific visual feedback in discrete modelling“, eleed-e-learning and education, verfügbar unter: https://www.eleed.de/eleed/article/view/257.
  • Herwig, M., Hundeshagen, N., Kollenberg, C., und Weber, R. (2025) „On AI Generated Reductions from Natural Language Descriptions“, in 23. Fachtagung Bildungstechnologien (DELFI 2025), Bonn: Gesellschaft für Informatik e.V., 289–293, verfügbar unter: https://doi.org/10.18420/delfi2025_30.
2024[ to top ]
  • Herwig, M., Hundeshagen, N., Kastaun, M., und Kollenberg, C. (2024) „Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science“, in Proceedings of DELFI 2024, Gesellschaft für Informatik eV, 10–18420, verfügbar unter: https://doi.org/10.18420/delfi2024_45.
  • Bruse, F., Herwig, M., und Lange, M. (2024) „Weights of formal languages based on geometric series with an application to automatic grading“, Theor. Comput. Sci., 983, 114295, verfügbar unter: https://doi.org/10.1016/j.tcs.2023.114295.
  • Herwig, M., Hundeshagen, N., Hundhausen, J., Kablowski, S., und Lange, M. (2024) „Problem-Specific Visual Feedback in Discrete Modelling“, in DELFI 2024 - Die 22. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V., DELFI 2024, Gesellschaft für Informatik e.V., verfügbar unter: https://doi.org/10.18420/DELFI2024\_08.
2022[ to top ]
  • Copei, S., Emme, C., Freiherr von Künßberg, M., Malik, A., Nolte, N., Norbisrath, U., und Zündorf, A. (2022) „Supporting Requirements Engineering and Development with Event Modeling - an Overview.“, in Riebisch, M. und Tropmann-Frick, M., Hrsg., Modellierung 2022, Bonn: Gesellschaft für Informatik e.V., 145–154, verfügbar unter: https://doi.org/10.18420/modellierung2022-007.
  • Bruse, F., Herwig, M., und Lange, M. (2022) „A Similarity Measure for Formal Languages Based on Convergent Geometric Series“, in International Conference on Implementation and Application of Automata, Springer, 80–92, verfügbar unter: https://doi.org/10.1007/978-3-031-07469-1_6.