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: Obdrz=aacute=lek:Jan
Contributed to:
2013
2007
2003Wrote 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.