BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Latvia
1 × Switzerland
Collaborated with:
M.Chimani R.Ganian D.Král' J.Obdrzálek J.Schwartz J.Teska
Talks about:
approxim (1) tighter (1) number (1) interv (1) insert (1) model (1) graph (1) cross (1) check (1) base (1)

Person: Petr Hlinený

DBLP DBLP: Hlinen=yacute=:Petr

Contributed to:

ICALP (2) 20132013
ICALP (1) 20112011

Wrote 2 papers:

ICALP-v2-2013-GanianHKOST #graph #model checking
FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.
ICALP-v1-2011-ChimaniH #approximate
A Tighter Insertion-Based Approximation of the Crossing Number (MC, PH), pp. 122–134.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.