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

2015

• FO Model Checking of Interval Graphs

  GANIAN Robert HLINĚNÝ Petr KRÁĽ Daniel OBDRŽÁLEK Jan SCHWARTZ Jarett TESKA Jakub

  Article in Periodical

  Logical Methods in Computer Science, year: 2015, volume: 11, edition: 4:11, 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

  Article in Proceedings

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

• Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

  GAJARSKÝ Jakub HLINĚNÝ Petr

  Article in Periodical

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

• On Degree Properties of Crossing-critical Families of Graphs

  BOKAL Drago BRAČIČ Mojca DERŇÁR Marek HLINĚNÝ Petr

  Article in Proceedings

  Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411, year: 2015

• On Hardness of the Joint Crossing Number

  HLINĚNÝ Petr SALAZAR Gelasio

  Article in Proceedings

  International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472, year: 2015

• Planar Emulators Conjecture Is Nearly True for Cubic Graphs

  DERKA Martin HLINĚNÝ Petr

  Article in Periodical

  European Journal of Combinatorics, year: 2015, volume: 48, edition: 1, DOI

2014

• Computing the stretch of an embedded graph

  CABELLO Sergio CHIMANI Markus HLINĚNÝ Petr

  Article in Periodical

  SIAM Journal on Discrete Mathematics, year: 2014, volume: 28, edition: 3, DOI

• Digraph width measures in parameterized algorithmics

  GANIAN Robert HLINĚNÝ Petr KNEIS Joachim LANGER Alexander OBDRŽÁLEK Jan ROSSMANITH Peter

  Article in Periodical

  Discrete Applied Mathematics, year: 2014, volume: 168, edition: 1, DOI

• Faster Existential FO Model Checking on Posets

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

  Article in Proceedings

  ISAAC 2014, LNCS 8889, year: 2014

• Lower Bounds on the Complexity of MSO_1 Model-Checking

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan LANGER Alexander ROSSMANITH Peter SIKDAR Somnath

  Article in Periodical

  Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI