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

2015

• FO Model Checking of Interval Graphs

  GANIAN Robert HLINĚNÝ Petr KRÁĽ Daniel OBDRŽÁLEK Jan SCHWARTZ Jarett TESKA Jakub

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2015, ročník: 11, vydání: 4:11, DOI

• FO Model Checking on Posets of Bounded Width

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian RAMANUJAN M.S. LOKSHTANOV Daniel SAURABH Saket

  Článek ve sborníku

  56th Annual Symposium on Foundations of Computer Science, FOCS 2015, rok: 2015

2014

• Digraph width measures in parameterized algorithmics

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

  Článek v odborném periodiku

  Discrete Applied Mathematics, rok: 2014, ročník: 168, vydání: 1, DOI

• Faster Existential FO Model Checking on Posets

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian

  Článek ve sborníku

  ISAAC 2014, LNCS 8889, rok: 2014

• Finite Integer Index of Pathwidth and Treewidth

  ORDYNIAK Sebastian GAJARSKÝ Jakub REIDL Felix ROSSMANITH Peter OBDRŽÁLEK Jan SÁNCHEZ VILAAMIL Fernando

  Článek ve sborníku

  IPEC 2014, LNCS 8246, rok: 2014

• Lower Bounds on the Complexity of MSO_1 Model-Checking

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

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2014, ročník: 80, vydání: 1, DOI

2013

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

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

  Článek v odborném periodiku

  Fundamenta Informaticae, rok: 2013, ročník: 123, vydání: 1, DOI

• Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes

  OBDRŽÁLEK Jan GANIAN Robert

  Článek ve sborníku

  Combinatorial Algorithms 24th International Workshop, IWOCA 2013, rok: 2013

• FO Model Checking of Interval Graphs

  GANIAN Robert HLINĚNÝ Petr KRÁĽ Daniel OBDRŽÁLEK Jan SCHWARTZ Jarett TESKA Jakub

  Článek ve sborníku

  ICALP (2) 2013, rok: 2013

• Kernelization Using Structural Parameters on Sparse Graph Classes

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian REIDL Felix ROSSMANITH Peter VILLAAMIL Fernando Sanchez SIKDAR Somnath

  Článek ve sborníku

  ESA 2013, rok: 2013