Marko Schmellenkamp

According to our database, Marko Schmellenkamp authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

2024

Detecting and explaining (in)equivalence of context-free grammars.

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

CoRR, 2024

Tool-Assisted Learning of Computational Reductions.

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

CoRR, 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