doc. Mgr. Jan Obdržálek, PhD.

2010

• Better algorithms for satisfiability problems for formulas of bounded rank-width

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan

  Článek ve sborníku

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), rok: 2010

• Česko-Slovenská Konference GRAFY 2010

  HLINĚNÝ Petr OBDRŽÁLEK Jan VETCHÝ Vladimír GANIAN Robert

  Uspořádání konference

  Rok: 2010, druh: Uspořádání konference

• Proceedings of the 45th Czech-Slovak Conference GRAFY 2010

  OBDRŽÁLEK Jan

  Editorství tématického sborníku

  Rok: 2010, druh: Editorství tématického sborníku

2009

• On Digraph Width Measures in Parameterized Algorithmics

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan LANGER Alexander KNEIS Joachim ROSSMANITH Peter

  Článek ve sborníku

  IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science, rok: 2009

• Qualitative Reachability in Stochastic BPA Games

  BRÁZDIL Tomáš BROŽEK Václav KUČERA Antonín OBDRŽÁLEK Jan

  Článek ve sborníku

  Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, rok: 2009

2007

• Clique-Width and Parity Games

  OBDRŽÁLEK Jan

  Článek ve sborníku

  Computer Science Logic 2007, proceedings, rok: 2007

2006

• DAG-width - Connectivity Measure for Directed Graphs

  OBDRŽÁLEK Jan

  Článek ve sborníku

  Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2006

• Escape-width: Measuring "width" of digraphs

  HLINĚNÝ Petr OBDRŽÁLEK Jan

  Konferenční abstrakty

  Rok: 2006, druh: Konferenční abstrakty

2003

• Fast Mu-calculus Model Checking when Tree-width is Bounded

  OBDRŽÁLEK Jan

  Článek ve sborníku

  CAV 2003, rok: 2003

2001

• A Parallel Java Grande Benchmark Suite

  OBDRŽÁLEK Jan BULL J. M. SMITH L. A.

  Článek ve sborníku

  Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM), rok: 2001