Marko Schmellenkamp

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Closure Properties

Intelligent Tutoring

Classical Logic

Guided Exploration

Top Venues

Publications

Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
Tool-Assisted Learning of Computational Reductions. CoRR (2024)
Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
Detecting and explaining (in)equivalence of context-free grammars. CoRR (2024)
Marko Schmellenkamp, Alexandra Latys, Thomas Zeume
Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. SIGCSE (1) (2023)
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Iltis: Teaching Logic in the Web. CoRR (2021)
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE (2019)