Computer Science · Physical Sciences
8h-index564citations20works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(6), Health, Medicine and Society(4), Hermeneutics and Narrative Identity(4), Aging, Elder Care, and Social Issues(4), Formal Methods in Verification(3)
Publications20 total
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 4 citedOpen Access
Frühförderung interdisziplinär·2018
Forum of Mathematics Pi·2017· 328 citedOpen Access
The Hahn-Banach Theorem for Real Vector Spaces
2016· 4 cited
arXiv (Cornell University)·2015· 53 citedOpen Access
Formalizing plane graph theory : towards a formalized proof of the Kepler conjecture
2006· 7 cited
Flyspeck I: Tame Graphs.
Archive of formal proofs·2006· 5 cited
Flyspeck i: Tame graphs
2006· 10 cited
mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)·2006Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2006Open Access
Lecture notes in computer science·2006· 30 cited
Towards a Verified Enumeration of All Tame Plane Graphs
2005
Lecture notes in computer science·2002· 15 cited
The 5 Colour Theorem in Isabelle/Isar
2002
Calculational Reasoning Revisited -- An Isabelle/Isar experience
2001
Lecture notes in computer science·2001· 27 cited
Some properties of CTL
2001· 1 cited
Lecture notes in computer science·2000· 12 cited
Theoretical Computer Science·1985· 6 cited
Acta Informatica·1984· 62 cited
Frequent Co-authors
Tobias Nipkow(9), Thomas Hales(3), Markus Wenzel(3), Mark Adams(2), John Harrison(2), Hoang Le Truong(2), Cezary Kaliszyk(2), Victor Magron(2), Sean McLaughlin(2), Steven Obua(2), Joseph Pleso(2), Jason Rute(2), Alexey Solovyev(2), Josef Urban(2), Ky Vu(2), Roland Zumkeller(2), Dat Tat Dang(2), Paula Schultz(2), TAT DAT DANG(1), TAT THANG NGUYEN(1)