University of Potsdam — Germany
Computer Science · Physical Sciences
21h-index1.5kcitations98works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(60), Formal Methods in Verification(41), Logic, Reasoning, and Knowledge(29), Parallel Computing and Optimization Techniques(8), Semantic Web and Ontologies(8)
Publications98 total
HAL (Le Centre pour la Communication Scientifique Directe)·2021Open Access
TUbilio (Technical University of Darmstadt)·2020· 45 citedOpen Access
2019
publish.UP (University of Potsdam)·2019· 10 citedOpen Access
arXiv (Cornell University)·2018Open Access
arXiv (Cornell University)·2018· 1 citedOpen Access
Hochschuldidaktik der Informatik : HDI2016 – 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik ; 13.-14. September 2016 an der Universität Potsdam
2016
publish.UP (University of Potsdam)·2016· 2 citedOpen Access
Elsevier eBooks·2015· 8 cited
Ein konstruktivistischer Lehransatz für die Einführungsveranstaltung der Theoretische Informatik
publish.UP (University of Potsdam)·2013
Lecture notes in computer science·2012· 1 cited
Lecture notes in computer science·2010· 6 cited
Scholarpedia·2009Open Access
Automating Proofs in Category Theory
2008
Journal of Automated Reasoning·2007· 61 cited
Lecture notes in computer science·2006· 21 cited
page 1 of 5Next →
Frequent Co-authors
Jens Otten(10), Stephan Schmitt(8), Klaus Weihrauch(7), Robbert van Renesse(6), Robert L. Constable(6), Jason Hickey(5), Mark Bickford(5), Xiaoming Liu(3), Mark Hayden(3), Ken Birman(3), Stuart F. Allen(3), Richard G. Eaton(3), Lori Lorigo(3), Stephen M. Schmitt(3), Wolfgang Bibel(3), Brigitte Pientka(3), Thomas Raths(2), Aleksey Nogin(2), Maria Knobelsdorf(2), Sebastian Böhne(2)