Marko Schmellenkamp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICER | Difficulty Generating Factors for Context-free Language Construction Assignments. | Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume |
| 2025 | SIGCSE | Tool-Assisted Learning of Computational Reductions. | Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume |
| 2023 | SIGCSE | Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. | Marko Schmellenkamp, Alexandra Latys, Thomas Zeume |
| 2019 | ITiCSE | 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 |