Jakub Gajarsky
Title
Cited by
Cited by
Year
Kernelization using structural parameters on sparse graph classes
J Gajarský, P Hliněný, J Obdržálek, S Ordyniak, F Reidl, P Rossmanith, ...
Journal of Computer and System Sciences 84, 219-242, 2017
622017
Kernelization using structural parameters on sparse graph classes
J Gajarský, P Hliněný, J Obdržálek, S Ordyniak, F Reidl, P Rossmanith, ...
Journal of Computer and System Sciences 84, 219-242, 2017
622017
Parameterized algorithms for modular-width
J Gajarský, M Lampis, S Ordyniak
International Symposium on Parameterized and Exact Computation, 163-176, 2013
602013
First-order interpretations of bounded expansion classes
J Gajarský, S Kreutzer, J Nešetřil, POD Mendez, M Pilipczuk, S Siebertz, ...
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-41, 2020
372020
A new perspective on FO model checking of dense graph classes
J Gajarský, P Hliněný, J Obdržálek, D Lokshtanov, MS Ramanujan
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2016
372016
FO model checking on posets of bounded width
J Gajarský, P Hlinený, D Lokshtanov, J Obdralek, S Ordyniak, ...
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 963-974, 2015
312015
Kernelizing MSO properties of trees of fixed height, and some consequences
J Gajarsky, P Hlineny
arXiv preprint arXiv:1204.5194, 2012
232012
Kernelizing MSO properties of trees of fixed height, and some consequences
P Hlineny, J Gajarsky
Logical Methods in Computer Science 11, 2015
142015
Faster existential FO model checking on posets
J Gajarský, P Hliněný, J Obdržálek, S Ordyniak
International Symposium on Algorithms and Computation, 441-451, 2014
122014
Parameterized shifted combinatorial optimization
J Gajarský, P Hliněný, M Koutecký, S Onn
Journal of Computer and System Sciences 99, 53-71, 2019
92019
Recovering sparse graphs
J Gajarský, D Král
43rd International Symposium on Mathematical Foundations of Computer Science …, 2018
92018
Parameterized algorithms for parity games
J Gajarský, M Lampis, K Makino, V Mitsou, S Ordyniak
International Symposium on Mathematical Foundations of Computer Science, 336-347, 2015
92015
Parameterized extension complexity of independent set and related problems
J Gajarský, P Hliněný, HR Tiwary
Discrete Applied Mathematics 248, 56-67, 2018
72018
’, M. Kupec, J. Obdrzálek, S. Ordyniak, and V. Tuma, First order limits of sparse graphs: Plane trees and path-width
J Gajarský, P Hlinený, T Kaiser, D Král
arXiv preprint arXiv:1504.08122, 2015
72015
First order limits of sparse graphs: Plane trees and path‐width
J Gajarský, P Hliněný, T Kaiser, D Král’, M Kupec, J Obdržálek, ...
Random Structures & Algorithms 50 (4), 612-635, 2017
62017
Efficient solvability of graph MSO properties
J GAJARSKÝ
Masarykova univerzita, Fakulta informatiky, 2012
62012
Computing shrub-depth decompositions
J Gajarský, S Kreutzer
37th International Symposium on Theoretical Aspects of Computer Science …, 2020
32020
Deciding Graph MSO Properties: Has it all been told already?
J Gajarský, P Hliněný
32012
Differential games, locality and model checking for FO logic of graphs
J Gajarský, M Gorsky, S Kreutzer
arXiv preprint arXiv:2007.11345, 2020
2020
Recovering sparse graphs
J Gajarsky, D Kral
arXiv preprint arXiv:1709.09985, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20