Andrea Omicini; Mirko Viroli, Coordination Models and Languages: From Parallel Computing To Self-Organisation, «KNOWLEDGE ENGINEERING REVIEW», 2011, 26, pp. 53 - 59 [articolo]
A. Ricci; M. Piunti; M. Viroli, Environment Programming in Multi-Agent Systems: An Artifact-Based Perspective, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2011, 23, pp. 158 - 192 [articolo]
M. Viroli; F. Zambonelli, A biochemical approach to adaptive service ecosystems, «INFORMATION SCIENCES», 2010, 180, pp. 1876 - 1892 [articolo]
M. Casadei; M. Viroli; L. Gardelli, On the Collective Sort Problem for Distributed Tuple Spaces, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74(9), pp. 702 - 722 [articolo]
Andrea Omicini; Alessandro Ricci; Mirko Viroli, Artifacts in the A&A meta-model for multi-agent systems, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2008, 17, pp. 432 - 456 [articolo]
Luca Gardelli; Mirko Viroli; Matteo Casadei; Andrea Omicini, Designing self-organising environments with agents and artefacts: A simulation-driven approach, «INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING», 2008, 2, pp. 171 - 195 [articolo]
Chieri Saito; Atsushi Igarashi; Mirko Viroli, Lightweight Family Polymorphism, «JOURNAL OF FUNCTIONAL PROGRAMMING», 2008, 18(3), pp. 285 - 331 [articolo]
Cimadamore Maurizio; Mirko Viroli, On the reification of Java wildcards, «SCIENCE OF COMPUTER PROGRAMMING», 2008, 73(2-3), pp. 59 - 75 [articolo]
Mirko Viroli, A core calculus for correlation in orchestration languages, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 70(1), pp. 74 - 95 [articolo]
Mirko Viroli; Enrico Denti; Alessandro Ricci, Engineering a BPEL orchestration engine as a multi-agent system, «SCIENCE OF COMPUTER PROGRAMMING», 2007, 66(3), pp. 226 - 245 [articolo]
Mirko Viroli; Tom Holvoet; Alessandro Ricci; Kurt Schelfthout; Franco Zambonelli, Infrastructures for the environment of multiagent systems, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2007, 14(1), pp. 49 - 60 [articolo]
Matteo Casadei; Luca Gardelli; Mirko Viroli, Simulating emergent properties of coordination in Maude: the collective sort case, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2007, 175(2), pp. 59 - 80 [articolo]
Atsushi Igarashi; Mirko Viroli, Variant path types for scalable extensibility, in: , 2007, 42(10), pp. 113 - 132 (atti di: 22nd International Conference on Object-Oriented Programming,Systems, Languages, and Applications (OOPSLA ’07), Montréal, October 21–25, 2007) [Contributo in Atti di convegno]
Omicini Andrea; Ricci Alessandro; Viroli Mirko, Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 63, pp. 88 - 107 [articolo]
A. Ricci; M. Viroli, CARTAGO technology., 2006. [software]
