Detlef Kähler

According to our database, Detlef Kähler authored at least 9 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Deciding strategy properties of contract-signing protocols.

Detlef Kähler, Ralf Küsters, Thomas Wilke

ACM Trans. Comput. Log., 2010

2008

Strategy properties for cryptographic protocols.

Detlef Kähler

PhD thesis, 2008

Complementation, Disambiguation, and Determinization of Büchi Automata Unified.

Detlef Kähler, Thomas Wilke

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Infinite State AMC-Model Checking for Cryptographic Protocols.

Detlef Kähler, Ralf Küsters, Tomasz Truderung

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

A Dolev-Yao-Based Definition of Abuse-Free Protocols.

Detlef Kähler, Ralf Küsters, Thomas Wilke

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Deciding Properties of Contract-Signing Protocols.

Detlef Kähler, Ralf Küsters, Thomas Wilke

Proceedings of the STACS 2005, 2005

Constraint Solving for Contract-Signing Protocols.

Detlef Kähler, Ralf Küsters

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2003

Program Complexity of Dynamic LTL Model Checking.

Detlef Kähler, Thomas Wilke

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2000

Motor algebra approach for computing the kinematics of robot manipulators.

Eduardo Bayro-Corrochano, Detlef Kähler

J. Field Robotics, 2000