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

[  nuvola co-autori & co-autrici  /  pubblicazioni  ]