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 × Estonia
1 × Italy
1 × United Kingdom
2 × Poland
Collaborated with:
P.Rychlikowski J.Marcinkowski D.Kähler R.Küsters
Talks about:
regular (3) protocol (2) cryptograph (1) constraint (1) polymorph (1) knowledg (1) program (1) infinit (1) complex (1) direct (1)

Person: Tomasz Truderung

DBLP DBLP: Truderung:Tomasz

Contributed to:

LICS 20072007
CADE 20052005
CSL 20042004
CSL 20022002
PPDP 20012001

Wrote 5 papers:

LICS-2007-KahlerKT #encryption #infinity #model checking #protocol
Infinite State AMC-Model Checking for Cryptographic Protocols (DK, RK, TT), pp. 181–192.
CADE-2005-Truderung #protocol
Regular Protocols and Attacks with Regular Knowledge (TT), pp. 377–391.
CSL-2004-RychlikowskiT #constraints #set
Set Constraints on Regular Terms (PR, TT), pp. 458–472.
CSL-2002-MarcinkowskiT #bound #complexity #game studies #ltl
Optimal Complexity Bounds for Positive LTL Games (JM, TT), pp. 262–275.
PPDP-2001-RychlikowskiT #logic programming #polymorphism
Polymorphic Directional Types for Logic Programming (PR, TT), pp. 61–72.

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.