72
publications
with
IRIS ID
/
2000–2023
/
Mirko Viroli
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
(paper in proceedings) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- Spatial Tuples: Augmenting Reality with Tuples (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
2 publications in 2018 with IRIS ID •
top •
index •
bottom
- Aggregate plans for multiagent systems (article in journal) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (article in journal) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
3 publications in 2017 with IRIS ID •
top •
index •
bottom
- Spatial awareness in pervasive ecosystems (article in journal) — Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
1 publication in 2016 with IRIS ID •
top •
index •
bottom
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal) — 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
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (paper in proceedings) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
- Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (paper in proceedings) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
- Smart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
5 publications in 2015 with IRIS ID •
top •
index •
bottom
1 publication in 2014 with IRIS ID •
top •
index •
bottom
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
4 publications in 2013 with IRIS ID •
top •
index •
bottom
2 publications in 2012 with IRIS ID •
top •
index •
bottom
- Self-aware Pervasive Service Ecosystems (paper in proceedings) — 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) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal) — Andrea Omicini, Mirko Viroli
- Description Spaces with Fuzziness (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
4 publications in 2011 with IRIS ID •
top •
index •
bottom
- Argumentation and Artifacts for Negotiation Support (article in journal) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (paper in proceedings) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (edited volume) — Andrea Omicini, Mirko Viroli
- Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
5 publications in 2010 with IRIS ID •
top •
index •
bottom
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Environment in Agent-Oriented Software Engineering Methodologies (article in journal) — Ambra Molesini, Andrea Omicini, Mirko Viroli
7 publications in 2009 with IRIS ID •
top •
index •
bottom
- Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Arguments and Artifacts for Dispute Resolution (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
7 publications in 2008 with IRIS ID •
top •
index •
bottom
- Timed Environment for Web Agents (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
4 publications in 2007 with IRIS ID •
top •
index •
bottom
- Coordination as a Service (article in journal) — Mirko Viroli, Andrea Omicini
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings) — 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 (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Operating Instructions for Intelligent Agent Coordination (article in journal) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Simulation of Minority Game in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (book chapter) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Simulating Minority Game with TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
12 publications in 2006 with IRIS ID •
top •
index •
bottom
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
8 publications in 2005 with IRIS ID •
top •
index •
bottom
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
5 publications in 2004 with IRIS ID •
top •
index •
bottom
2 publications in 2002 with IRIS ID •
top •
index •
bottom
0000-0003-2702-5702