Travelled to:1 × France
Collaborated with:M.Lampis V.Mitsou L.Aceto A.Francalanza A.Ingólfsdóttir K.Lehtinen
Talks about:parameter (1) adventur (1) satisfi (1) monitor (1) linear (1) branch (1) modal (1) again (1) time (1) back (1)
Person: Antonis Achilleos
DBLP: Achilleos:Antonis
Contributed to:
2010
2019Wrote 2 papers:
- ICALP-v2-2010-AchilleosLM #satisfiability
- Parameterized Modal Satisfiability (AA, ML, VM), pp. 369–380.
- POPL-2019-AcetoAFIL #branch #linear
- Adventures in monitorability: from branching to linear time and back again (LA, AA, AF, AI, KL), p. 29.