Marko Schmellenkamp

According to our database, Marko Schmellenkamp authored at least 11 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Cross-Course Generalizability of SRL-Aligned Predictive Models Using Digital Learning Traces.

Jakob Schwerter, Loreen Sabel, Judith Bose, Matthew L. Bernacki, Di Xu, Marko Schmellenkamp, Thomas Zeume, Philipp Doebler

CoRR, April, 2026

NILE: Formalizing Natural-Language Descriptions of Formal Languages.

Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

CoRR, February, 2026

2025

Detecting and Explaining (In-)equivalence of Context-Free Grammars.

Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel

Proc. ACM Program. Lang., 2025

Tool-Assisted Learning of Computational Reductions.

Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Errors and Misconceptions in First-Order Logic Modeling.

Marko Schmellenkamp, Florian Schmalstieg, Thomas Zeume

Proceedings of the 25th Koli Calling International Conference on Computing Education Research, 2025

Difficulty Generating Factors for Context-free Language Construction Assignments.

Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume

Proceedings of the 2025 ACM Conference on International Computing Education Research V.1, 2025

2024

Teaching Formal Foundations of Computer Science with Iltis.

Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

Bull. EATCS, 2024

Exploring Error Types in Formal Languages Among Students of Upper Secondary Education.

Marko Schmellenkamp, Dennis Stanglmair, Tilman Michaeli, Thomas Zeume

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

2023

Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.

Marko Schmellenkamp, Alexandra Latys, Thomas Zeume

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2021

Iltis: Teaching Logic in the Web.

Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

CoRR, 2021

2019

Teaching Logic with Iltis: an Interactive, Web-Based System.

Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019