German Research Centre for Artificial Intelligence — Germany
Computer Science · Physical Sciences
6h-index302citations19works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(10), Logic, Reasoning, and Knowledge(7), Advanced Authentication Protocols Security(4), User Authentication and Security Systems(4), Cryptography and Data Security(3)
Publications19 total
Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.
2012· 3 cited
Lecture notes in computer science·2008
2008· 1 cited
PDS — A Three-Dimensional Data Structure for Proof Plans
2007· 26 cited
Lecture notes in computer science·2006· 6 cited
Proof Development with ΩMEGA
2002
Lecture notes in computer science·2002· 69 cited
Formal Aspects of Computing·1999· 34 cited
The Adaption of Proof Methods by Reformulation
Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)·1999
Adapting the Diagonalization Method by Reformulations
Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)·1999· 5 cited
Annals of Mathematics and Artificial Intelligence·1998· 3 cited
Lecture notes in computer science·1998· 3 cited
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?
1998· 2 cited
A Distributed Graphical User Interface for the Interactive Proof System
1998· 5 cited
Lecture notes in computer science·1997· 119 cited
ΩMEGA: Towards a Mathematical Assistant
1997
Lecture notes in computer science·1997· 14 cited
1996· 1 citedOpen Access
1994· 11 citedOpen Access
Frequent Co-authors
Christoph Benzmüller(7), Armin Fiedler(7), Michael Kohlhase(7), Volker Sorge(7), Manfred Kerber(6), Andreas Meier(6), Xiaorong Huang(5), Jörg H. Siekmann(5), Helmut Horacek(5), Detlef Fehrer(4), Karsten Konrad(4), Erica Melis⋆(4), Martin Pollet(3), Georg Rock(3), Stephan Werner(3), Andreas Franke(2), Markus Moschner(2), Immanuel Normann(2), Carsten Ullrich(2), Claus-Peter Wirth(2)