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: Hlinen=yacute=:Petr
Contributed to:
20132011Wrote 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.