Computer Science · Physical Sciences
6h-index163citations14works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(7), Software Engineering Research(4), Formal Methods in Verification(3), Logic, Reasoning, and Knowledge(3), History and Theory of Mathematics(3)
Publications14 total
arXiv (Cornell University)·2021Open Access
Zenodo (CERN European Organization for Nuclear Research)·2018Open Access
mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)·2016· 6 citedOpen Access
Generating Cases from Labeled Subgoals.
Archive of formal proofs·2015
ACM SIGPLAN Notices·2014· 1 cited
2014· 1 cited
Mathematics in Computer Science·2014· 62 cited
Lecture notes in computer science·2014· 12 cited
Journal of Automated Reasoning·2013· 49 cited
Pratt's Primality Certificates.
Archive of formal proofs·2013
Lehmer's Theorem.
Archive of formal proofs·2013
A Probabilistic Proof of the Girth-Chromatic Number Theorem.
Archive of formal proofs·2012· 2 cited
Lecture notes in computer science·2012· 7 cited
Lecture notes in computer science·2011· 22 cited
Frequent Co-authors
Fabian Emmes(2), Jürgen Giesl(2), Jasmin Christian Blanchette(2), Lars Hupel(2), Tobias Nipkow(2), Dmitriy Traytel(2), Christine Rizkallah(1), Kurt Mehlhorn(1), Gerwin Klein(1), Joel Beeren(1), Matthew Brecknell(1), Xaphiosis(1), mktnk(1), Alejandro Gómez-Londoño(1), Thomas Sewell(1), David Greenaway(1), Michael Norrish(1), Corey Richardson(1), Ramana Kumar(1), Adrian Danis(1)