Jakub Gajarsk{\'{y}}

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
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
Parameterized Algorithms for Parity Games
Jakub Gajarsk{\'{y}}, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella), volume 9235 of Lecture Notes in Computer Science, pages 336-347, 2015, Springer.
bib
Faster Existential FO Model Checking on Posets
Jakub Gajarsk{\'{y}}, Petr Hlinen{\'{y}}, Jan Obdrz{\'{a}}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