1 citations · 2 across the 7 of their papers we have counts for
8 papers
Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs
Lilian Killich, Marko Schmellenkamp, Fabian Vehlken +1
Modelling with mathematical formalisms like logical formulas, mathematical equations, or regular expressions is an important yet challenging task for students of computer science a…
Cross-Course Generalizability of SRL-Aligned Predictive Models Using Digital Learning Traces
Jakob Schwerter, Loreen Sabel, Judith Bose +5
STEM dropout rates remain high at universities, particularly in computer science programs with theory-intensive courses. Digital learning environments now capture rich behavioral d…
NILE: Formalizing Natural-Language Descriptions of Formal Languages
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken +1
This paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is mot…
Difficulty Generating Factors for Context-free Language Construction Assignments
Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter +1
Computer science students often struggle with abstract theoretical concepts, particularly in introductory courses on theoretical computer science. One such challenge is understandi…
Exploring Error Types in Formal Languages Among Students of Upper Secondary Education
Marko Schmellenkamp, Dennis Stanglmair, Tilman Michaeli +1
Foundations of formal languages, as subfield of theoretical computer science, are part of typical upper secondary education curricula. There is very little research on the potentia…
Detecting and Explaining (In-)equivalence of Context-Free Grammars
Marko Schmellenkamp, Thomas Zeume, Sven Argo +3
We propose a scalable framework for deciding, proving, and explaining (in-)equivalence of context-free grammars. We present an implementation of the framework and evaluate it on la…
Tool-Assisted Learning of Computational Reductions
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp +2
Computational reductions are an important and powerful concept in computer science. However, they are difficult for many students to grasp. In this paper, we outline a concept for…
Iltis: Learning Logic in the Web
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp +4
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new e…