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 × Sweden
2 × USA
Collaborated with:
P.A.Abdulla S.P.Iyer A.Eckerdal P.Kinnunen N.Thota J.Sheard L.Malmi
Talks about:
better (2) perspect (1) unbound (1) infinit (1) unfold (1) system (1) effici (1) comput (1) academ (1) verif (1)

Person: Aletta Nylén

DBLP DBLP: Nyl=eacute=n:Aletta

Contributed to:

ITiCSE 20142014
CAV 20002000
LICS 20002000

Wrote 3 papers:

ITiCSE-2014-EckerdalKTNSM #education #learning
Teaching and learning with MOOCs: computing academics’ perspectives and engagement (AE, PK, NT, AN, JS, LM), pp. 9–14.
CAV-2000-AbdullaIN #bound #petri net
Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.
LICS-2000-AbdullaN #infinity #performance #verification
Better is Better than Well: On Efficient Verification of Infinite-State Systems (PAA, AN), pp. 132–140.

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.