RNDr. Jakub Gajarský, Ph.D.

2025

• 3D-grids are not transducible from planar graphs

  GAJARSKÝ Jakub PILIPCZUK Michal POKRÝVKA Filip

  Stať ve sborníku

  Rok: 2025, DOI

2024

• Elementary first-order model checking for sparse graphs

  GAJARSKÝ Jakub PILIPCZUK Michal SOKOLOWSKI Marek STAMOULIS Giannos TORUNCZYK Szymon

  Stať ve sborníku

  Rok: 2024, DOI

• On Classes of Bounded Tree Rank, Their Interpretations, and Efficient Sparsification

  GAJARSKÝ Jakub MCCARTY Rose

  Stať ve sborníku

  51st International Colloquium on Automata, Languages, and Programming, {ICALP} 2024, Tallinn, Estonia, July 8-12, 2024, rok: 2024, DOI

2023

• Sparse Graphs of Twin-width 2 Have Bounded Tree-width

  BERGOUGNOUX Benjamin GAJARSKÝ Jakub GUSPIEL Grzegorz Jan HLINĚNÝ Petr POKRÝVKA Filip SOKOŁOWSKI Marek

  Stať ve sborníku

  ISAAC 2023, rok: 2023, DOI

2022

• Stable graphs of bounded twin-width

  GAJARSKÝ Jakub PILIPCZUK Michal TORUNCZYK Szymon

  Stať ve sborníku

  {LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, rok: 2022, DOI

• Twin-Width and Types

  GAJARSKÝ Jakub PILIPCZUK Michal PRZYBYSZEWSKI Wojciech TORUNCZYK Szymon

  Stať ve sborníku

  49th International Colloquium on Automata, Languages, and Programming, {ICALP} 2022, Paris, France, July 4-8, 2022, rok: 2022, DOI

2020

• A New Perspective on FO Model Checking of Dense Graph Classes

  GAJARSKÝ Jakub HLINĚNÝ Petr LOKSHTANOV Daniel OBDRŽÁLEK Jan RAMANUJAN M S

  Recenzovaný odborný článek

  ACM Transactions on Computational Logic, rok: 2020, ročník: 21, vydání: 4, DOI

2019

• Parameterized shifted combinatorial optimization

  GAJARSKÝ Jakub HLINĚNÝ Petr KOUTECKÝ Martin ONN Shmuel

  Recenzovaný odborný článek

  Journal of Computer and System Sciences, rok: 2019, ročník: 99, vydání: 1, DOI

2018

• Parameterized Extension Complexity of Independent Set and Related Problems

  GAJARSKÝ Jakub HLINĚNÝ Petr TIWARY Hans Raj

  Recenzovaný odborný článek

  Discrete Applied Mathematics, rok: 2018, ročník: 248, vydání: SI, DOI

2017

• First order limits of sparse graphs: Plane trees and path-width

  GAJARSKÝ Jakub HLINĚNÝ Petr KAISER Tomáš KRÁĽ Daniel KUPEC Martin OBDRŽÁLEK Jan ORDYNIAK Sebastian TŮMA Vojtěch

  Recenzovaný odborný článek

  Random Structures & Algorithms, rok: 2017, ročník: 50, vydání: 4, DOI