Travelled to:1 × Germany
Collaborated with:S.Quickert L.Aceto A.Achilleos A.Francalanza A.Ingólfsdóttir
Talks about:hierarchi (1) construct (1) adventur (1) monitor (1) formula (1) linear (1) branch (1) altern (1) modal (1) level (1)
Person: Karoliina Lehtinen
DBLP: Lehtinen:Karoliina
Contributed to:
2015
2019Wrote 2 papers:
- CSL-2015-LehtinenQ
- Deciding the First Levels of the Modal μ Alternation Hierarchy by Formula Construction (KL, SQ), pp. 457–471.
- POPL-2019-AcetoAFIL #branch #linear
- Adventures in monitorability: from branching to linear time and back again (LA, AA, AF, AI, KL), p. 29.