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

2012

• Faster than Courcelle's theorem on shrubs

  HLINĚNÝ Petr GAJARSKÝ Jakub

  Vyžádané přednášky

  Rok: 2012, druh: Vyžádané přednášky

• Generalized Maneuvers in Route Planning

  HLINĚNÝ Petr MORIŠ Ondrej

  Článek ve sborníku

  MEMICS 2011 Proceedings, rok: 2012

• Generalized Maneuvers in Route Planning

  HLINĚNÝ Petr MORIŠ Ondrej

  Článek v odborném periodiku

  Computing and Informatics, rok: 2012, ročník: 31, vydání: 3, DOI

• GraDR 2012 Crossing Number Workshop and Minischool

  HLINĚNÝ Petr

  Uspořádání workshopu

  Rok: 2012, druh: Uspořádání workshopu

• 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 ve sborníku

  29th International Symposium on Theoretical Aspects of Computer Science STACS2012, rok: 2012

• Testing Graph MSO Properties: A Fresh View

  HLINĚNÝ Petr GAJARSKÝ Jakub

  Vyžádané přednášky

  Rok: 2012, druh: Vyžádané přednášky

• Vertex insertion approximates the crossing number of apex graphs

  HLINĚNÝ Petr CHIMANI Markus MUTZEL Petra

  Článek v odborném periodiku

  European Journal of Combinatorics, rok: 2012, ročník: 33, vydání: 3, DOI

• When Trees Grow Low: Shrubs and Fast MSO1

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan NEŠETŘIL Jaroslav OSSONA DE MENDEZ Patrice RAMADURAI Reshma

  Článek ve sborníku

  Math Foundations of Computer Science MFCS 2012, rok: 2012

2011

• A Tighter Insertion-based Approximation of the Crossing Number

  CHIMANI Markus HLINĚNÝ Petr

  Článek ve sborníku

  Automata, Languages and Programming 38th International Colloquium, ICALP 2011, rok: 2011

• A Tighter Insertion-based Approximation of the Graph Crossing Number

  HLINĚNÝ Petr CHIMANI Markus

  Vyžádané přednášky

  Rok: 2011, druh: Vyžádané přednášky