| |
| 2009 | ||
|---|---|---|
| 4 | EE | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218 |
| 2007 | ||
| 3 | EE | Jan Obdrzálek: Clique-Width and Parity Games. CSL 2007: 54-68 |
| 2006 | ||
| 2 | EE | Jan Obdrzálek: DAG-width: connectivity measure for directed graphs. SODA 2006: 814-821 |
| 2003 | ||
| 1 | EE | Jan Obdrzálek: Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. CAV 2003: 80-92 |
| 1 | Tomás Brázdil | [4] |
| 2 | Václav Brozek | [4] |
| 3 | Antonín Kucera | [4] |