72
pubblicazioni
con
IRIS ID
/
2000–2023
/
Mirko Viroli
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
(articolo in atti) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- Spatial Tuples: Augmenting Reality with Tuples (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
2 pubblicazioni nel 2018 con IRIS ID •
in cima •
indice •
in fondo
- Aggregate plans for multiagent systems (articolo in rivista) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (articolo in rivista) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
3 pubblicazioni nel 2017 con IRIS ID •
in cima •
indice •
in fondo
- Spatial awareness in pervasive ecosystems (articolo in rivista) — 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 pubblicazione nel 2016 con IRIS ID •
in cima •
indice •
in fondo
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (articolo in rivista) — 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 (articolo in atti) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
- Computational Fields Meet Augmented Reality: Perspectives and Challenges (articolo in atti) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (articolo in atti) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
- Smart Augmented Fields for Emergency Operations (articolo in atti) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
5 pubblicazioni nel 2015 con IRIS ID •
in cima •
indice •
in fondo
1 pubblicazione nel 2014 con IRIS ID •
in cima •
indice •
in fondo
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (articolo in rivista) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Semantic Tuple Centres (articolo in rivista) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
4 pubblicazioni nel 2013 con IRIS ID •
in cima •
indice •
in fondo
2 pubblicazioni nel 2012 con IRIS ID •
in cima •
indice •
in fondo
- Self-aware Pervasive Service Ecosystems (articolo in atti) — 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 (articolo in rivista) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (articolo in rivista) — Andrea Omicini, Mirko Viroli
- Description Spaces with Fuzziness (articolo in atti) — Elena Nardini, Andrea Omicini, Mirko Viroli
4 pubblicazioni nel 2011 con IRIS ID •
in cima •
indice •
in fondo
- Argumentation and Artifacts for Negotiation Support (articolo in rivista) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (articolo in atti) — 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-* (curatela) — Andrea Omicini, Mirko Viroli
- Self Organization in Coordination Systems using a WordNet-based Ontology (articolo in atti) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (articolo in atti) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
5 pubblicazioni nel 2010 con IRIS ID •
in cima •
indice •
in fondo
- Argumentation and Artifact for Dialogue Support (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS (capitolo di libro) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Environment Programming in CArtAgO (capitolo di libro) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Agents, Intelligence, and Tools (capitolo di libro) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- General-Purpose Coordination Abstractions for Managing Interaction in MAS (articolo in atti) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Environment in Agent-Oriented Software Engineering Methodologies (articolo in rivista) — Ambra Molesini, Andrea Omicini, Mirko Viroli
7 pubblicazioni nel 2009 con IRIS ID •
in cima •
indice •
in fondo
- Experimenting with Stochastic Prolog as a Simulation Language (articolo in atti) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (articolo in rivista) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Arguments and Artifacts for Dispute Resolution (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Argumentation and Artifact for Dialogue Support (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
7 pubblicazioni nel 2008 con IRIS ID •
in cima •
indice •
in fondo
- Timed Environment for Web Agents (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (articolo in rivista) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
4 pubblicazioni nel 2007 con IRIS ID •
in cima •
indice •
in fondo
- Coordination as a Service (articolo in rivista) — Mirko Viroli, Andrea Omicini
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (articolo in atti) — 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 in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Operating Instructions for Intelligent Agent Coordination (articolo in rivista) — 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 (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Simulation of Minority Game in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (capitolo di libro) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Simulating Minority Game with TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Agent Coordination Contexts in a MAS Coordination Infrastructure (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Minority Game: A Logic-Based Approach in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
12 pubblicazioni nel 2006 con IRIS ID •
in cima •
indice •
in fondo
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editoriale/introduzione/prefazione) — Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (articolo in atti) — 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) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
8 pubblicazioni nel 2005 con IRIS ID •
in cima •
indice •
in fondo
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (articolo in atti) — 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) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Role-Based Access Control in MAS using Agent Coordination Contexts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Multi-agent Infrastructures for Objective and Subjective Coordination (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
5 pubblicazioni nel 2004 con IRIS ID •
in cima •
indice •
in fondo
2 pubblicazioni nel 2002 con IRIS ID •
in cima •
indice •
in fondo
0000-0003-2702-5702