BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: K=uuml=sters:Ralf

Contributed to:

LICS 20072007
ICALP (2) 20062006
CSL 20032003
LICS 20032003
KR 20022002
KR 20002000
KR 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.