Publications

2025[ to top ]
  • Shapira, I. and Weiss, G. (2025) “Guarded Process Trees: Translation to Petri Nets and Application in Process Mining”, available: https://www.uni-kassel.de/eecs/index.php?eID=dumpFile&t=f&f=40956&token=6ff5615c876f8034c6c7ba5d903786275d7eebe3.
  • Herwig, M., Hundeshagen, N., and Lange, M. (2025) “An Earley-Based Universal Error-Correcting Parser”, in International Conference on Implementation and Application of Automata, Springer, 208–222, available: https://doi.org/10.1007/978-3-032-02602-6_15.
  • Herwig, M., Hundeshagen, N., and Lange, M. (2025) “Problem-specific visual feedback in discrete modelling”, eleed-e-learning and education, available: https://www.eleed.de/eleed/article/view/257.
  • Herwig, M., Hundeshagen, N., Kollenberg, C., and 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, available: https://doi.org/10.18420/delfi2025_30.
2024[ to top ]
  • Herwig, M., Hundeshagen, N., Kastaun, M., and 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, available: https://doi.org/10.18420/delfi2024_45.
  • Bruse, F., Herwig, M., and Lange, M. (2024) “Weights of formal languages based on geometric series with an application to automatic grading”, Theor. Comput. Sci., 983, 114295, available: https://doi.org/10.1016/j.tcs.2023.114295.
  • Herwig, M., Hundeshagen, N., Hundhausen, J., Kablowski, S., and 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., available: 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., and Zündorf, A. (2022) “Supporting Requirements Engineering and Development with Event Modeling - an Overview.”, in Riebisch, M. and Tropmann-Frick, M., eds., Modellierung 2022, Bonn: Gesellschaft für Informatik e.V., 145–154, available: https://doi.org/10.18420/modellierung2022-007.
  • Bruse, F., Herwig, M., and 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, available: https://doi.org/10.1007/978-3-031-07469-1_6.