Jan Obdrzálek

Recent Publications

Shrub-Depth: Capturing Height of Dense Graphs
Robert Ganian, Petr Hlinen\' Y, Jaroslav Nesetril, Jan Obdrzálek, Patrice Ossona De Mendez
Logical Methods in Computer Science, 2019.
PDF bib Project
Kernelization using structural parameters on sparse graph classes
Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar
Journal of Computer and System Sciences, volume 84, pages 219–242, 2017.
bib
A New Perspective on FO Model Checking of Dense Graph Classes
Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ‘16, New York, NY, USA, July 5-8, 2016, pages 176–184, 2016.
PDF bib
Are There Any Good Digraph Measures?
Robert Ganian, Petr Hlinen\' Y, Joachim Kneis, Daniel Meister, Jan Obdrzálek, Peter Rossmanith, Somnath Sikdar
Journal of Combinatorial Theory, Series B, volume 116, pages 250–286, 2016.
bib
FO Model Checking of Interval Graphs
Robert Ganian, Petr Hlinen\' Y, Daniel Kr\' Al, Jan Obdrzálek, Jarett Schwartz, Jakub Teska
Logical Methods in Computer Science, volume 11, number 4, 2016.
PDF bib
Tree-depth and vertex-minors
Petr Hlinený, O{-}Joung Kwon, Jan Obdrzálek, Sebastian Ordyniak
Eur. J. Comb., volume 56, pages 46–56, 2016.
bib
FO Model Checking on Posets of Bounded Width
Jakub Gajarský, Petr Hlinený, Daniel Lokshtanov, Jan Obdrzálek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh
IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963–974, 2015.
PDF bib DOI
Digraph width measures in parameterized algorithmics
Robert Ganian, Petr Hlinený, Joachim Kneis, Alexander Langer, Jan Obdrzálek, Peter Rossmanith
Discrete Applied Mathematics, volume 168, pages 88–107, 2014.
bib
Faster Existential FO Model Checking on Posets
Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak
Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings (Hee-Kap Ahn and Chan-Su Shin), volume 8889 of Lecture Notes in Computer Science, pages 441–451, 2014, Springer.
bib
Finite Integer Index of Pathwidth and Treewidth
Jakub Gajarský, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sanchez Villaamil, Somnath Sikdar
Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan and Pinar Heggernes), volume 8894 of Lecture Notes in Computer Science, pages 258–269, 2014, Springer.
bib