Marko Schmellenkamp

Orcid: 0000-0003-3966-6590

Affiliations:

Ruhr University Boch, Germany
Technische Universität Dortmund, Germany

According to our database¹, Marko Schmellenkamp authored at least 3 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2021

2019

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

[BibT_eX]

[DOI]

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

Marko Schmellenkamp

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...