Sebastian Böhne

According to our database, Sebastian Böhne authored at least 5 papers between 2014 and 2019.

Collaborative distances:

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

2019

Different degrees of formality (Verschiedene Formalitätsgrade)

Sebastian Böhne

PhD thesis, 2019

2017

Learning how to Prove: From the Coq Proof Assistant to Textbook Style.

Sebastian Böhne, Christoph Kreitz

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

Theorem Provers as a Learning Tool in Theory of Computation.

Maria Knobelsdorf, Christiane Frede, Sebastian Böhne, Christoph Kreitz

Proceedings of the 2017 ACM Conference on International Computing Education Research, 2017

2016

Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq.

Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz

Proceedings of the Hochschuldidaktik der Informatik, 2016

2014

Teaching theoretical computer science using a cognitive apprenticeship approach.

Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014