Jan Obdrz{\'{a}}lek

Recent Publications

Kernelization using structural parameters on sparse graph classes
Jakub Gajarsk{\'{y}}, Petr Hlinen{\'{y}}, Jan Obdrz{\'{a}}lek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando S{\'{a}}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{\'{y}}, Petr Hlinen{\'{y}}, Jan Obdrz{\'{a}}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
Tree-depth and vertex-minors
Petr Hlinen{\'{y}}, O{-}Joung Kwon, Jan Obdrz{\'{a}}lek, Sebastian Ordyniak
Eur. J. Comb., volume 56, pages 46-56, 2016.
bib
FO Model Checking on Posets of Bounded Width
Jakub Gajarsk{\'{y}}, Petr Hlinen{\'{y}}, Daniel Lokshtanov, Jan Obdrz{\'{a}}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{\'{y}}, Joachim Kneis, Alexander Langer, Jan Obdrz{\'{a}}lek, Peter Rossmanith
Discrete Applied Mathematics, volume 168, pages 88-107, 2014.
bib