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

  Article in Periodical

  Logical Methods in Computer Science, year: 2015, volume: 11, edition: 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

  Article in Proceedings

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

2014

• Digraph width measures in parameterized algorithmics

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

  Article in Periodical

  Discrete Applied Mathematics, year: 2014, volume: 168, edition: 1, DOI

• Faster Existential FO Model Checking on Posets

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

  Article in Proceedings

  ISAAC 2014, LNCS 8889, year: 2014

• Finite Integer Index of Pathwidth and Treewidth

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

  Article in Proceedings

  IPEC 2014, LNCS 8246, year: 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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI

2013

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

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

  Article in Periodical

  Fundamenta Informaticae, year: 2013, volume: 123, edition: 1, DOI

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

  OBDRŽÁLEK Jan GANIAN Robert

  Article in Proceedings

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

• FO Model Checking of Interval Graphs

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

  Article in Proceedings

  ICALP (2) 2013, year: 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

  Article in Proceedings

  ESA 2013, year: 2013