Publikacje

Jakub Gajarský

2024

• Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis, Szymon Toruńczyk , Elementary first-order model checking for sparse graphs, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 18 2024, s. 1-14. Zobacz w PBN
• Jakub Gajarský , Rose McCarty, On Classes of Bounded Tree Rank, Their Interpretations, and Efficient Sparsification, 51st International Colloquium on Automata, Languages and Programming, Tallinn, Estonia, 8 lipca 2024 - 12 lipca 2024. Zobacz w PBN

2023

• Jakub Gajarský , Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michał Pilipczuk , Wojciech Przybyszewski , Sebastian Siebertz, Marek Sokołowski , Szymon Toruńczyk , Flipper Games for Monadically Stable Graph Classes, 50th EATCS International Colloquium on Automata, Languages and Programming, Padeborn, Germany, 10 lipca 2023 - 14 lipca 2023. Zobacz w PBN
• Benjamin Bergougnoux, Jakub Gajarský , Grzegorz Guśpiel, Petr Hliněný, Filip Pokrývka, Marek Sokołowski , Sparse Graphs of Twin-Width 2 Have Bounded Tree-Width, The 34th International Symposium on Algorithms and Computation (ISAAC 2023), Kyoto, Japan, 4 grudnia 2023 - 6 grudnia 2023. Zobacz w PBN

2022

• Jakub Gajarský , Maximilian Gorsky, Stephan Kreutzer, Differential Games, Locality, and Model Checking for FO Logic of Graphs, 30th EACSL Annual Conference on Computer Science Logic, Göttingen, Germany, 14 lutego 2022 - 19 lutego 2022, 216 2022, s. 22:1-22:18. Zobacz w PBN
• Édouard Bonnet, Jan Dreier, Jakub Gajarský , Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk , Model Checking on Interpretations of Classes of Bounded Local Cliquewidth, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Jakub Gajarský , Michał Pilipczuk , Szymon Toruńczyk , Stable graphs of bounded twin-width, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Jakub Gajarský , Lars Jaffke, Paloma T. Lima, Jana Masaříková , Marcin Pilipczuk , Paweł Rzążewski , Uéverton Dos Santos Souza, Taming Graphs with No Large Creatures and Skinny Ladders, 30th Annual European Symposium on Algorithms, Poczdam, Germany, 5 września 2022 - 7 września 2022. Zobacz w PBN
• Jan Dreier, Jakub Gajarský , Sandra Kiefer, Michał Pilipczuk , Szymon Toruńczyk , Treelike Decompositions for Transductions of Sparse Graphs, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
• Jakub Gajarský , Yiting Jiang, Jan Dreier, Jean-Florent Raymond, Patrice Ossona de Mendez, Twin-width and generalized coloring numbers, Discrete Mathematics, 345 (3) 2022, s. 112746. Zobacz w PBN
• Jakub Gajarský , Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk , Twin-Width and Types, 49th International Colloquium on Automata, Languages and Programming, Paris, France, 4 lipca 2022 - 8 lipca 2022. Zobacz w PBN

2020

• Petr Hliněný, Daniel Lokshtanov, M. S. Ramanujan, Jan Obdržálek, Jakub Gajarský , A New Perspective on FO Model Checking of Dense Graph Classes, ACM Transactions on Computational Logic, 21 (4) 2020, s. 1-23. Zobacz w PBN
• Jakub Gajarský , Computing Srub-Depth Decompositions, Leibniz International Proceedings in Informatics, 37th Symposium on Theoretical Aspects of Computer Science, Montpellier, France, 10 marca 2020 - 13 marca 2020, 154 (56) 2020, s. 1-17. Zobacz w PBN
• Stephan Kreutzer, Jaroslav Nešetřil, Patrice Ossona De Mendez, Michał Pilipczuk , Sebastian Siebertz, Szymon Toruńczyk , Jakub Gajarský , First-Order Interpretations of Bounded Expansion Classes, ACM Transactions on Computational Logic, 21 (4) 2020, s. 29:1-29:41. Zobacz w PBN

2019

• Jakub Gajarský , Petr Hliněný, Martin Koutecký, Shmuel Onn, Parameterized shifted combinatorial optimization, Journal of Computer and System Sciences, 99 2019, s. 53-71. Zobacz w PBN

2018

• Michał Pilipczuk , Sebastian Siebertz, Stephan Kreutzer, Jaroslav Nešetřil, Patrice Ossona de Mendez, Szymon Toruńczyk , Jakub Gajarský , First-Order Interpretations of Bounded Expansion Classes, 45th International Colloquium on Automata, Languages, and Programming, Praha, Czechia, 9 lipca 2018 - 13 lipca 2018. Zobacz w PBN