Travelled to:1 × Denmark
1 × France
1 × Latvia
Collaborated with:∅ A.Achilleos V.Mitsou
Talks about:parameter (2) graph (2) approxim (1) satisfi (1) scheme (1) width (1) simpl (1) model (1) modal (1) lower (1)
Person: Michael Lampis
DBLP: Lampis:Michael
Contributed to:
201420132010Wrote 3 papers:
- ICALP-v1-2014-Lampis #approximate #graph #using
- Parameterized Approximation Schemes Using Graph Widths (ML), pp. 775–786.
- ICALP-v1-2013-Lampis #bound #graph #model checking
- Model Checking Lower Bounds for Simple Graphs (ML), pp. 673–683.
- ICALP-v2-2010-AchilleosLM #satisfiability
- Parameterized Modal Satisfiability (AA, ML, VM), pp. 369–380.