Statistics
Publications
3
Citations
184
H-Index
3
Active since
2009
Affiliations
Mirco Dotta is an author at École Polytechnique Fédérale de Lausanne specializing in type systems, computing, and computer science.
Publications per year
2009–2010
3
3
Decision procedures for algebraic data types with abstractions
Philippe Suter, Mirco Dotta, Viktor Kunčak · 2010 · 109 citations · Full text
Computing, Computer Science, Algebra +16
A Framework for State-Space Exploration of Java-Based Actor Programs
Steven Lauterburg, Mirco Dotta, Darko Marinov et al. · 2009 · 53 citations
1–3 of 3