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