Per anno
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli
