 | 2010 |
|---|
| 8 |       | Detlef Kähler,
Ralf Küsters,
Thomas Wilke:
Deciding strategy properties of contract-signing protocols.
ACM Trans. Comput. Log. 11(3): (2010) |
| 2008 |
|---|
| 7 | | Detlef Kähler,
Thomas Wilke:
Complementation, Disambiguation, and Determinization of Büchi Automata Unified.
ICALP (1) 2008: 724-735 |
| 6 |  | Detlef Kähler:
Strategy properties for cryptographic protocols.
University of Kiel 2008: 1-169 |
| 2007 |
|---|
| 5 | | Detlef Kähler,
Ralf Küsters,
Tomasz Truderung:
Infinite State AMC-Model Checking for Cryptographic Protocols.
LICS 2007: 181-192 |
| 2006 |
|---|
| 4 | | Detlef Kähler,
Ralf Küsters,
Thomas Wilke:
A Dolev-Yao-Based Definition of Abuse-Free Protocols.
ICALP (2) 2006: 95-106 |
| 2005 |
|---|
| 3 | | Detlef Kähler,
Ralf Küsters:
Constraint Solving for Contract-Signing Protocols.
CONCUR 2005: 233-247 |
| 2 | | Detlef Kähler,
Ralf Küsters,
Thomas Wilke:
Deciding Properties of Contract-Signing Protocols.
STACS 2005: 158-169 |
| 2003 |
|---|
| 1 | | Detlef Kähler,
Thomas Wilke:
Program Complexity of Dynamic LTL Model Checking.
CSL 2003: 271-284 |
Data released under the ODC-BY 1.0 license — See also our legal information page