Jan Obdrzálek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

4 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 Jan Obdrzálek: Clique-Width and Parity Games. CSL 2007: 54-68

2006

2 Jan Obdrzálek: DAG-width: connectivity measure for directed graphs. SODA 2006: 814-821

2003

1 Jan Obdrzálek: Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. CAV 2003: 80-92

	2009
4		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		Jan Obdrzálek: Clique-Width and Parity Games. CSL 2007: 54-68
	2006
2		Jan Obdrzálek: DAG-width: connectivity measure for directed graphs. SODA 2006: 814-821
	2003
1		Jan Obdrzálek: Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. CAV 2003: 80-92

Coauthor Index

1 Tomás Brázdil [4]

2 Václav Brozek [4]

3 Antonín Kucera [4]