Travelled to:1 × France
1 × Latvia
Collaborated with:∅ R.Ganian P.Hlinený J.Obdrzálek J.Schwartz J.Teska
Talks about:decomposit (1) matroid (1) interv (1) width (1) model (1) graph (1) check (1)
Person: Daniel Král'
DBLP: Kr=aacute=l':Daniel
Contributed to:
20102013Wrote 2 papers:
- ICALP-v1-2010-Kral #composition
- Decomposition Width of Matroids (DK), pp. 55–66.
- ICALP-v2-2013-GanianHKOST #graph #model checking
- FO Model Checking of Interval Graphs (RG, PH, DK, JO, JS, JT), pp. 250–262.