| 2008 |
|---|
| 6 | EE | Detlef Kähler,
Thomas Wilke:
Complementation, Disambiguation, and Determinization of Büchi Automata Unified.
ICALP (1) 2008: 724-735 |
| 2007 |
|---|
| 5 | EE | Detlef Kähler,
Ralf Küsters,
Tomasz Truderung:
Infinite State AMC-Model Checking for Cryptographic Protocols.
LICS 2007: 181-192 |
| 2006 |
|---|
| 4 | EE | Detlef Kähler,
Ralf Küsters,
Thomas Wilke:
A Dolev-Yao-Based Definition of Abuse-Free Protocols.
ICALP (2) 2006: 95-106 |
| 2005 |
|---|
| 3 | EE | Detlef Kähler,
Ralf Küsters:
Constraint Solving for Contract-Signing Protocols.
CONCUR 2005: 233-247 |
| 2 | EE | Detlef Kähler,
Ralf Küsters,
Thomas Wilke:
Deciding Properties of Contract-Signing Protocols.
STACS 2005: 158-169 |
| 2003 |
|---|
| 1 | EE | Detlef Kähler,
Thomas Wilke:
Program Complexity of Dynamic LTL Model Checking.
CSL 2003: 271-284 |
