Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
Petr Hlinen ́Y
Recent Publications
Shrub-Depth: Capturing Height of Dense Graphs
Robert Ganian
,
Petr Hlinen ́Y
,
Jaroslav Nesetril
,
Jan Obdrz\ĺek
,
Patrice Ossona De Mendez
Logical Methods in Computer Science
, 2019.
PDF
Cite
Project
Are There Any Good Digraph Measures?
Robert Ganian
,
Petr Hlinen ́Y
,
Joachim Kneis
,
Daniel Meister
,
Jan Obdrz\ĺek
,
Peter Rossmanith
,
Somnath Sikdar
Journal of Combinatorial Theory, Series B
, volume 116, pages 250-286, 2016.
Cite
FO Model Checking of Interval Graphs
Robert Ganian
,
Petr Hlinen ́Y
,
Daniel Kr\ál
,
Jan Obdrz\'ék
,
Jarett Schwartz
,
Jakub Teska
Logical Methods in Computer Science
, volume 11, number 4, 2016.
PDF
Cite
Cite
×