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

  Article in Periodical

  Random Structures & Algorithms, year: 2017, volume: 50, edition: 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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 1, DOI

• Parameterized Shifted Combinatorial Optimization

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

  Article in Proceedings

  International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392), year: 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

  Article in Proceedings

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

• Are there any good digraph width measures?

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

  Article in Periodical

  Journal of Combinatorial Theory, Ser B, year: 2016, volume: 116, edition: 1, DOI

• Crossing Number is Hard for Kernelization

  DERŇÁR Marek HLINĚNÝ Petr

  Article in Proceedings

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

• Inserting Multiple Edges into a Planar Graph

  CHIMANI Markus HLINĚNÝ Petr

  Article in Proceedings

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

• Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs

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

  Article in Proceedings

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

• Tree-depth and Vertex-minors

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

  Article in Periodical

  European Journal of Combinatorics, year: 2016, volume: 56, edition: 1, DOI

2015

• Faster Existential FO Model Checking on Posets

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

  Article in Periodical

  Logical Methods in Computer Science, year: 2015, volume: 11, edition: 4, DOI