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\'alek
,
Patrice Ossona De Mendez
Logical Methods in Computer Science
, 2019.
PDF
bib
Project
Are There Any Good Digraph Measures?
Robert Ganian
,
Petr Hlinen\' Y
,
Joachim Kneis
,
Daniel Meister
,
Jan Obdrz\'alek
,
Peter Rossmanith
,
Somnath Sikdar
Journal of Combinatorial Theory, Series B
, volume 116, pages 250-286, 2016.
bib
FO Model Checking of Interval Graphs
Robert Ganian
,
Petr Hlinen\' Y
,
Daniel Kr\' Al
,
Jan Obdrz\'alek
,
Jarett Schwartz
,
Jakub Teska
Logical Methods in Computer Science
, volume 11, number 4, 2016.
PDF
bib
Full Publication List »
bib
×