83
pubblicazioni
con
Scopus ID
/
2000–2024
/
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
- Aggregate Graph Statistics (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Spatial Tuples: Augmenting Reality with Tuples (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Combining Trust and Aggregate Computing (articolo in atti) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
4 pubblicazioni nel 2018 con Scopus ID •
in cima •
indice •
in fondo
2 pubblicazioni nel 2017 con Scopus ID •
in cima •
indice •
in fondo
- Run-Time Management of Computation Domains in Field Calculus (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
- Aggregate Programming: From Foundations to Applications (articolo in atti) — Jacob Beal, Mirko Viroli
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- 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
4 pubblicazioni nel 2016 con Scopus ID •
in cima •
indice •
in fondo
- A coordination model of pervasive service ecosystems (articolo in rivista) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
- 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
6 pubblicazioni nel 2015 con Scopus ID •
in cima •
indice •
in fondo
3 pubblicazioni nel 2013 con Scopus ID •
in cima •
indice •
in fondo
1 pubblicazione nel 2012 con Scopus 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
- 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
3 pubblicazioni nel 2011 con Scopus 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
- 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
4 pubblicazioni nel 2010 con Scopus 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
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (articolo in atti) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- 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 Scopus ID •
in cima •
indice •
in fondo
- 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
- Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
5 pubblicazioni nel 2008 con Scopus ID •
in cima •
indice •
in fondo
- Timed Environment for Web Agents (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Design Patterns for Self-Organising Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Engineering a BPEL Orchestration Engine as a Multi-agent System (articolo in rivista) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- Designing Self-organising MAS Environments: The Collective Sort Case (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- “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
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini
9 pubblicazioni nel 2007 con Scopus 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
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- 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
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- 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
- 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
- Agens Faber: Toward a Theory of Artefacts for MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- 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
14 pubblicazioni nel 2006 con Scopus ID •
in cima •
indice •
in fondo
- Environment-Based Coordination Through Coordination Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- 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
- Time-Aware Coordination in ReSpecT (articolo in atti) — 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) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- 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
9 pubblicazioni nel 2005 con Scopus 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 Scopus ID •
in cima •
indice •
in fondo
2 pubblicazioni nel 2003 con Scopus ID •
in cima •
indice •
in fondo
4 pubblicazioni nel 2002 con Scopus ID •
in cima •
indice •
in fondo
1 pubblicazione nel 2001 con Scopus ID •
in cima •
indice •
in fondo
0000-0003-2702-5702