Mirco Dotta

According to our database, Mirco Dotta authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Decision procedures for algebraic data types with abstractions.

Philippe Suter, Mirco Dotta, Viktor Kuncak

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

A Framework for State-Space Exploration of Java-Based Actor Programs.

Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha

Proceedings of the ASE 2009, 2009