prof. RNDr. Petr Hliněný, Ph.D.

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

• Are there any good digraph width measures?

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan KNEIS Joachim MEISTER Daniel SIKDAR Somnath ROSSMANITH Peter

  Článek v odborném periodiku

  Journal of Combinatorial Theory, Ser B, rok: 2016, ročník: 116, vydání: 1, DOI

• Crossing Number is Hard for Kernelization

  DERŇÁR Marek HLINĚNÝ Petr

  Článek ve sborníku

  32nd International Symposium on Computational Geometry (SoCG 2016), rok: 2016

• Inserting Multiple Edges into a Planar Graph

  CHIMANI Markus HLINĚNÝ Petr

  Článek ve sborníku

  32nd International Symposium on Computational Geometry (SoCG 2016), rok: 2016

• Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs

  HLINĚNÝ Petr SLÁMEČKA Ondřej

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548, rok: 2016

• Tree-depth and Vertex-minors

  HLINĚNÝ Petr KWON O-joung OBDRŽÁLEK Jan ORDYNIAK Sebastian

  Článek v odborném periodiku

  European Journal of Combinatorics, rok: 2016, ročník: 56, vydání: 1, DOI

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