co-author : Mirko Viroli

100 publications with Andrea Omicini
page_white_acrobat Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
page_white_acrobat Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
page_white_acrobat Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
page_white_acrobat Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 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
page_white_acrobat Argumentation and Artifacts for Negotiation Support (, 2014) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
page_white_acrobat Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
page_white_acrobat Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
page_white_acrobat Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
page_white_acrobat Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
page_white_acrobat Self-aware Pervasive Service Ecosystems (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
page_white_acrobat Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
page_white_acrobat Description Spaces with Fuzziness (CM 2011@SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
page_white_acrobat Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
page_white_acrobat Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
page_white_acrobat Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
page_white_acrobat A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobat Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
page_white_acrobat Combining Simulation and Formal Tools for Developing Self-Organizing MAS (2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini
page_white_acrobat Agents, Intelligence, and Tools (2009) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
page_white_acrobat Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
page_white_acrobat A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobat Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
page_white_acrobat Environment Programming in CArtAgO (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
page_white_acrobat General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
page_white_acrobat Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobat Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobat Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
page_white_acrobat The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
page_white_acrobat Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
page_white_acrobat Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
page_white_acrobat Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobat Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
page_white_acrobat CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
page_white_acrobat Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
page_white_acrobat The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobat Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
page_white_acrobat simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
page_white_acrobat Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobat Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
page_white_acrobat Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
page_white_acrobat Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
page_white_acrobat An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
page_white_acrobat Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
page_white_acrobat “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
page_white_acrobat Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
page_white_acrobat Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
page_white_acrobat An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
page_white_acrobat A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
page_white_acrobat On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
page_white_acrobat What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
page_white_acrobat Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
page_white_acrobat Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
page_white_acrobat Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
page_white_acrobat An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
page_white_acrobat On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
page_white_acrobat Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
page_white_acrobat Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
page_white_acrobat Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
page_white_acrobat On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
page_white_acrobat Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini