Detlef Khler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2003–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ICALP | Complementation, Disambiguation, and Determinization of Bchi Automata Unified. | Detlef Khler, Thomas Wilke |
| 2007 | LICS | Infinite State AMC-Model Checking for Cryptographic Protocols. | Detlef Khler, Ralf Ksters, Tomasz Truderung |
| 2006 | ICALP | A Dolev-Yao-Based Definition of Abuse-Free Protocols. | Detlef Khler, Ralf Ksters, Thomas Wilke |
| 2005 | CONCUR | Constraint Solving for Contract-Signing Protocols. | Detlef Khler, Ralf Ksters |
| 2005 | STACS | Deciding Properties of Contract-Signing Protocols. | Detlef Khler, Ralf Ksters, Thomas Wilke |
| 2003 | CSL | Program Complexity of Dynamic LTL Model Checking. | Detlef Khler, Thomas Wilke |