RNDr. Jakub Gajarský, Ph.D.

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

  Článek ve sborníku

  ISAAC 2023, rok: 2023

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

  Článek v odborném periodiku

  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

  Článek v odborném periodiku

  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

  Článek v odborném periodiku

  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

  Článek v odborném periodiku

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

• Kernelization using structural parameters on sparse graph classes

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian REIDL Felix ROSSMANITH Peter VILLAAMIL Fernando SIKDAR Somnath

  Článek v odborném periodiku

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

• Parameterized Shifted Combinatorial Optimization

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

  Článek ve sborníku

  International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392), rok: 2017

2016

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

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

  Článek ve sborníku

  Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016, rok: 2016

2015

• Faster Existential FO Model Checking on Posets

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2015, ročník: 11, vydání: 4, DOI

• FO Model Checking on Posets of Bounded Width

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian RAMANUJAN M.S. LOKSHTANOV Daniel SAURABH Saket

  Článek ve sborníku

  56th Annual Symposium on Foundations of Computer Science, FOCS 2015, rok: 2015