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

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

• Vulnerability analysis methods for road networks

  BÍL Michal VODÁK Rostislav KUBEČEK Jan REBOK Tomáš SVOBODA Tomáš HLINĚNÝ Petr

  Další prezentace na konferencích

  Rok: 2014, druh: Další prezentace na konferencích

2013

• Better algorithms for satisfiability problems for formulas of bounded rank-width

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan

  Článek v odborném periodiku

  Fundamenta Informaticae, rok: 2013, ročník: 123, vydání: 1, DOI