BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lehtinen:Karoliina

Contributed to:

CSL 20152015
POPL 20192019

Wrote 2 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.