Per anno
- A Type-Passing Approach for the Implementation of Parametric Methods in Java (The Computer Journal) — Mirko Viroli
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Coordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02) — Mirko Viroli, Andrea Omicini
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
0000-0003-2702-5702