E-LIB Suche - Ergebnisse für: Gajarský, Jakub

1

Corrigendum to "Twin-width and generalized coloring numbers..:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics. 347 (2024) 1 - p. 113750 , 2024

Link: https://doi.org/10.1016/..

2

Elementary first-order model checking for sparse graphs:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Gajarský, Jakub ; Pilipczuk, Michał ; Sokołowski, Marek.. - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

3

Treelike Decompositions for Transductions of Sparse Graphs:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra.. - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

4

Model Checking on Interpretations of Classes of Bounded Loc..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub... - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

5

Twin-width and generalized coloring numbers:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics. 345 (2022) 3 - p. 112746 , 2022

Link: https://doi.org/10.1016/..

6

Stable graphs of bounded twin-width:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Gajarský, Jakub ; Pilipczuk, Michał ; Toruńczyk, Szymon - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

7

First-Order Interpretations of Bounded Expansion Classes:

Gajarský, Jakub ; Kreutzer, Stephan ; NešETřil, Jaroslav...
ACM Transactions on Computational Logic (TOCL). 21 (2020) 4 - p. 1-41 , 2020

Link: https://dl.acm.org/doi/1..

8

A New Perspective on FO Model Checking of Dense Graph Class..:

Gajarský, Jakub ; Hliněný, Petr ; Obdržálek, Jan..
ACM Transactions on Computational Logic (TOCL). 21 (2020) 4 - p. 1-23 , 2020

Link: https://dl.acm.org/doi/1..

9

First-Order Interpretations of Bounded Expansion Classes:

Gajarský, Jakub ; Kreutzer, Stephan ; NešETřil, Jaroslav...
ACM Transactions on Computational Logic. 21 (2020) 4 - p. 1-41 , 2020

Link: https://doi.org/10.1145/..

10

A New Perspective on FO Model Checking of Dense Graph Class..:

Gajarský, Jakub ; Hliněný, Petr ; Obdržálek, Jan..
ACM Transactions on Computational Logic. 21 (2020) 4 - p. 1-23 , 2020

Link: https://doi.org/10.1145/..

11

Parameterized shifted combinatorial optimization:

Gajarský, Jakub ; Hliněný, Petr ; Koutecký, Martin.
Journal of Computer and System Sciences. 99 (2019) - p. 53-71 , 2019

Link: https://doi.org/10.1016/..

12

Parameterized extension complexity of independent set and r..:

Gajarský, Jakub ; Hliněný, Petr ; Tiwary, Hans Raj
Discrete Applied Mathematics. 248 (2018) - p. 56-67 , 2018

Link: https://doi.org/10.1016/..

13

Kernelization using structural parameters on sparse graph c..:

Gajarský, Jakub ; Hliněný, Petr ; Obdržálek, Jan...
Journal of Computer and System Sciences. 84 (2017) - p. 219-242 , 2017

Link: https://doi.org/10.1016/..

14

First order limits of sparse graphs: Plane trees and path-w..:

Gajarský, Jakub ; Hliněný, Petr ; Kaiser, Tomáš...
Random Structures & Algorithms. 50 (2016) 4 - p. 612-635 , 2016

Link: https://doi.org/10.1002/..

15

FO Model Checking on Posets of Bounded Width:

, In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science,

Gajarsky, Jakub ; Hlineny, Petr ; Lokshtanov, Daniel... - p. 963-974 , 2015

Link: https://doi.org/10.1109/..