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