Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (paper in proceedings, 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
 Spatial Tuples: Augmenting Reality with Tuples (article in journal, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
 Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (paper in proceedings, 2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
 Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal, 2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
 Argumentation and Artifacts for Negotiation Support (book chapter, 2014) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
 Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings, 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
 Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings, 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
 Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
 Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
 Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings, 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
 Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal, 2011) — Andrea Omicini, Mirko Viroli
 Self-aware Pervasive Service Ecosystems (paper in proceedings, 2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
 Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
 Description Spaces with Fuzziness (paper in proceedings, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
 A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (paper in proceedings, 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
 Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings, 2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
 Argumentation and Artifacts for Negotiation Support (article in journal, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
 Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings, 2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
 Environment in Agent-Oriented Software Engineering Methodologies (article in journal, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
 A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings, 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
 Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter, 2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 Environment Programming in CArtAgO (book chapter, 2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
 Argumentation and Artifact for Dialogue Support (paper in proceedings, 2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
 Agents, Intelligence, and Tools (book chapter, 2009) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
 General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings, 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
 Argumentation and Artifact for Dialogue Support (paper in proceedings, 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
 Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings, 2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
 Arguments and Artifacts for Dispute Resolution (paper in proceedings, 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
 Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
 Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
 The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings, 2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
 “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
 CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings, 2007) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
 Design Patterns for Self-Organising Systems (paper in proceedings, 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini
 Timed Environment for Web Agents (article in journal, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings, 2007) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
 Operating Instructions for Intelligent Agent Coordination (article in journal, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
 Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Coordination as a Service (article in journal, 2006) — Mirko Viroli, Andrea Omicini
 Simulating Minority Game with TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
 Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings, 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
 On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings, 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
 The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (book chapter, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Programming MAS with Artifacts (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
 CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Simulation of Minority Game in TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
 On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (paper in proceedings, 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial / introduction / preface, 2005) — Mirko Viroli, Andrea Omicini
 Engineering MAS Environment with Artifacts (paper in proceedings, 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
 Environment-Based Coordination Through Coordination Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
 RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings, 2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
 On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings, 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
 “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings, 2005) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Programming MAS with Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
 Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings, 2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
 A Semantics for the Interaction of Agents with Coordination Artifacts (paper in proceedings, 2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
 Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
 An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 Coordination Artifacts: Environment-based Coordination for Intelligent Agents (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
 A Conceptual Framework for Self-Organising MAS (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
 Agent Coordination Context: From Theory to Practice (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
 What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (paper in proceedings, 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
 ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
 Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
 Coordination as a Service: Ontological and Formal Foundation (paper in proceedings, 2003) — Mirko Viroli, Andrea Omicini
 Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
 A Specification Language for Agents Observable Behaviour (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini
 Towards an Alternative Semantics for FIPA ACL (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini
 On the Expressiveness of Event-Based Coordination Media (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
 An Observation Approach to Semantics of Agents Communication Languages (article in journal, 2002) — Mirko Viroli, Andrea Omicini
 Tuple-based Models in the Observation Framework (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini
 Have ReSpecT for LogOp (paper in proceedings, 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
 Modelling Agents as Observable Sources (article in journal, 2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
 Specifying Agent Observable Behaviour (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini
 On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini
 Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
 Multi-Agent Systems as Composition of Observable Systems (paper in proceedings, 2001) — Mirko Viroli, Andrea Omicini
 Multi-Agent Systems as Composition of Observable Systems (article in journal, 2001) — Mirko Viroli, Andrea Omicini
 On Observation as a Coordination Pattern: An Ontology and a Formal Framework (paper in proceedings, 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
 Design Patterns for Self-Organizing Multiagent Systems ($sortEngSingularMap.get($sort).toLowerCase()) — Luca Gardelli, Mirko Viroli, Andrea Omicini
 A General Purpose Programming Model & Technology for Developing Working Environments in MAS ($sortEngSingularMap.get($sort).toLowerCase()) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

[  co-author cloud  /  publications  ]