Teaching Logic with Iltis: an Interactive, Web-Based System. - Gaetano Geck; Artur Ljulin; Jonas Haldimann; Johannes May; Jonas Schmidt 001; Marko Schmellenkamp; Daniel Sonnabend; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (ITiCSE, 2019)

Iltis: Teaching Logic in the Web. - Gaetano Geck; Christine Quenkert; Marko Schmellenkamp; Jonas Schmidt 001; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (CoRR, 2021)

Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. - Marko Schmellenkamp; Alexandra Latys; Thomas Zeume (SIGCSE (1), 2023)

Exploring Error Types in Formal Languages Among Students of Upper Secondary Education. - Marko Schmellenkamp; Dennis Stanglmair; Tilman Michaeli; Thomas Zeume (Koli Calling, 2024)

Detecting and explaining (in)equivalence of context-free grammars. - Marko Schmellenkamp; Thomas Zeume; Sven Argo; Sandra Kiefer; Cedric Siems; Fynn Stebel (CoRR, 2024)

Teaching Formal Foundations of Computer Science with Iltis. - Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (Bull. EATCS, 2024)

Difficulty Generating Factors for Context-free Language Construction Assignments. - Florian Schmalstieg; Marko Schmellenkamp; Jakob Schwerter; Thomas Zeume (ICER (1), 2025)

Tool-Assisted Learning of Computational Reductions. - Tristan Kneisel; Elias Radtke; Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (SIGCSE (1), 2025)