Travelled to:1 × Austria
1 × Canada
1 × France
1 × Poland
1 × USA
2 × Italy
Collaborated with:F.Baader D.Kähler ∅ Y.Chevalier M.Rusinowitch M.Turuani T.Truderung T.Wilke S.Brandt A.Turhan R.Molitor L.Vigneron
Talks about:protocol (3) terminolog (2) descript (2) concept (2) dolev (2) yao (2) use (2) cryptograph (1) existenti (1) character (1)
Person: Ralf Küsters
DBLP: K=uuml=sters:Ralf
Contributed to:
2007
2006
20032003
200220001998Wrote 8 papers:
- 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-ChevalierKRTV #bound
- Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions (YC, RK, MR, MT, LV), pp. 128–141.
- LICS-2003-ChevalierKRT #protocol
- An NP Decision Procedure for Protocol Insecurity with XOR (YC, RK, MR, MT), pp. 261–270.
- KR-2002-BrandtKT #approximate #difference #logic
- Approximation and Difference in Description Logics (SB, RK, AYT), pp. 203–214.
- KR-2000-BaaderK #concept #strict
- Matching Concept Descriptions with Existential Restrictions (FB, RK), pp. 261–272.
- KR-2000-BaaderKM #concept #using
- Rewriting Concepts Using Terminologies (FB, RK, RM), pp. 297–308.
- KR-1998-Kusters #automaton #finite #semantics #using
- Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.