Travelled to:1 × New Zealand
1 × Spain
Collaborated with:P.Suter V.Kuncak S.Lauterburg D.Marinov G.A.Agha
Talks about:framework (1) procedur (1) abstract (1) program (1) algebra (1) explor (1) state (1) space (1) decis (1) actor (1)
Person: Mirco Dotta
DBLP: Dotta:Mirco
Contributed to:
2010
2009Wrote 2 papers:
- POPL-2010-SuterDK #abstraction #algebra #data type
- Decision procedures for algebraic data types with abstractions (PS, MD, VK), pp. 199–210.
- ASE-2009-LauterburgDMA #framework #source code
- A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.