Detlef Kähler

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Detlef Kähler, Ralf Küsters, Thomas Wilke
Deciding strategy properties of contract-signing protocols. ACM Trans. Comput. Log. 11 (3) (2010)
Detlef Kähler, Thomas Wilke
Complementation, Disambiguation, and Determinization of Büchi Automata Unified. ICALP (1) (2008)
Detlef Kähler, Ralf Küsters, Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols. LICS (2007)
Detlef Kähler, Ralf Küsters, Thomas Wilke
A Dolev-Yao-Based Definition of Abuse-Free Protocols. ICALP (2) (2006)
Detlef Kähler, Ralf Küsters
Constraint Solving for Contract-Signing Protocols. CONCUR (2005)
Detlef Kähler, Ralf Küsters, Thomas Wilke
Deciding Properties of Contract-Signing Protocols. STACS (2005)
Detlef Kähler, Thomas Wilke
Program Complexity of Dynamic LTL Model Checking. CSL (2003)
Eduardo Bayro-Corrochano, Detlef Kähler
Motor algebra approach for computing the kinematics of robot manipulators. J. Field Robotics 17 (9) (2000)