Travelled to:1 × Austria
1 × Iceland
1 × Italy
1 × Poland
Collaborated with:T.Wilke R.Küsters T.Truderung
Talks about:protocol (2) model (2) check (2) cryptograph (1) complement (1) disambigu (1) determin (1) automata (1) program (1) infinit (1)
Person: Detlef Kähler
DBLP: K=auml=hler:Detlef
Contributed to:
2008
20072006
2003Wrote 4 papers:
- ICALP-A-2008-KahlerW #ambiguity #automaton
- Complementation, Disambiguation, and Determinization of Büchi Automata Unified (DK, TW), pp. 724–735.
- LICS-2007-KahlerKT #encryption #infinity #model checking #protocol
- Infinite State AMC-Model Checking for Cryptographic Protocols (DK, RK, TT), pp. 181–192.
- ICALP-v2-2006-KahlerKW #protocol
- A Dolev-Yao-Based Definition of Abuse-Free Protocols (DK, RK, TW), pp. 95–106.
- CSL-2003-KahlerW #complexity #ltl #model checking
- Program Complexity of Dynamic LTL Model Checking (DK, TW), pp. 271–284.