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

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2015, ročník: 11, vydání: 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

  Článek ve sborníku

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

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

  GAJARSKÝ Jakub HLINĚNÝ Petr

  Článek v odborném periodiku

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

• On Degree Properties of Crossing-critical Families of Graphs

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

  Článek ve sborníku

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

• On Hardness of the Joint Crossing Number

  HLINĚNÝ Petr SALAZAR Gelasio

  Článek ve sborníku

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

• Planar Emulators Conjecture Is Nearly True for Cubic Graphs

  DERKA Martin HLINĚNÝ Petr

  Článek v odborném periodiku

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

2014

• Computing the stretch of an embedded graph

  CABELLO Sergio CHIMANI Markus HLINĚNÝ Petr

  Článek v odborném periodiku

  SIAM Journal on Discrete Mathematics, rok: 2014, ročník: 28, vydání: 3, DOI

• Digraph width measures in parameterized algorithmics

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

  Článek v odborném periodiku

  Discrete Applied Mathematics, rok: 2014, ročník: 168, vydání: 1, DOI

• Faster Existential FO Model Checking on Posets

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

  Článek ve sborníku

  ISAAC 2014, LNCS 8889, rok: 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

  Článek v odborném periodiku

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