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: Nyl=eacute=n:Aletta
Contributed to:
2014
2000
2000Wrote 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.