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 × Denmark
1 × United Kingdom
2 × USA
Collaborated with:
P.A.Abdulla B.Jonsson M.Nilsson A.Bouajjani A.Legay A.Rezine P.Mahata M.Saksena
Talks about:
regular (3) model (3) check (3) tree (2) algorithm (1) transduc (1) monoton (1) improv (1) simul (1) decid (1)

Person: Julien d'Orso

DBLP DBLP: d'Orso:Julien

Contributed to:

TACAS 20052005
CAV 20042004
CAV 20032003
CSL 20032003
CAV 20022002

Wrote 5 papers:

TACAS-2005-AbdullaLdR #transducer
Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
CAV-2004-AbdullaJNdS #ltl #model checking
Regular Model Checking for LTL(MSO) (PAA, BJ, MN, Jd, MS), pp. 348–360.
CAV-2003-AbdullaJNd #algorithm #model checking
Algorithmic Improvements in Regular Model Checking (PAA, BJ, MN, Jd), pp. 236–248.
CSL-2003-AbdullaBd #game studies
Deciding Monotonic Games (PAA, AB, Jd), pp. 1–14.
CAV-2002-AbdullaJMd #model checking
Regular Tree Model Checking (PAA, BJ, PM, Jd), pp. 555–568.

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.