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 × Latvia
1 × Switzerland
1 × USA
Collaborated with:
R.Ganian P.Hlinený D.Král' J.Schwartz J.Teska
Talks about:
width (2) model (2) check (2) calculus (1) pariti (1) interv (1) graph (1) cliqu (1) bound (1) when (1)

Person: Jan Obdrzálek

DBLP DBLP: Obdrz=aacute=lek:Jan

Contributed to:

ICALP (2) 20132013
CSL 20072007
CAV 20032003

Wrote 3 papers:

ICALP-v2-2013-GanianHKOST #graph #model checking
FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.
CSL-2007-Obdrzalek #clique #game studies
Clique-Width and Parity Games (JO), pp. 54–68.
CAV-2003-Obdrzalek #bound #calculus #model checking #performance #μ-calculus
Fast μ-Calculus Model Checking when Tree-Width Is Bounded (JO), pp. 80–92.

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.