| article in journal |
| A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (article in journal, 2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli |
| Partitioned integration and coordination via the self-organising coordination regions pattern (article in journal, 2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali |
| A Higher-Order Calculus of Computational Fields (article in journal, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
| From distributed coordination to field calculus and aggregate computing (article in journal, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini |
| A development approach for collective opportunistic Edge-of-Things services (article in journal, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli |
| Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (article in journal, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli |
| Optimal single-path information propagation in gradient-based algorithms (article in journal, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
| Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (article in journal, 2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini |
| Spatial Tuples: Augmenting Reality with Tuples (article in journal, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini |
| Towards attack-resistant Aggregate Computing using trust mechanisms (article in journal, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli |
| Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (article in journal, 2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli |
| Self-Adaptation to Device Distribution in the Internet of Things (article in journal, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani |
| Aggregate plans for multiagent systems (article in journal, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti |
| A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal |
| Spatial awareness in pervasive ecosystems (article in journal, 2016) — 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 |
| Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal, 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 |
| Space-Time Programming (article in journal, 2015) — Jacob Beal, Mirko Viroli |
| Aggregate Programming for the Internet of Things (article in journal, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli |
| A coordination model of pervasive service ecosystems (article in journal, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli |
| Type-based Self-stabilisation for Computational Fields (article in journal, 2015) — Ferruccio Damiani, Mirko Viroli |
| Formal Foundations of Sensor Network Applications (article in journal, 2015) — Jacob Beal, Mirko Viroli |
| A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (article in journal, 2015) — Sara Montagna, Mirko Viroli, Andrea Roli |
| Description and composition of bio-inspired design patterns: a complete overview (article in journal, 2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos |
| Injecting Self-organisation into Pervasive Service Ecosystems (article in journal, 2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli |
| Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli |
| Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli |
| Operational Semantics of Proto (article in journal, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck |
| On competitive self-composition in pervasive services (article in journal, 2013) — Mirko Viroli |
| Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli |
| Standard Type Soundness for Agents and Artifacts (article in journal, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal, 2011) — Andrea Omicini, Mirko Viroli |
| Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli |
| A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (article in journal, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli |
| Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli |
| Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher |
| A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal, 2011) — Franco Zambonelli, Mirko Viroli |
| simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
| Preface (article in journal, 2011) — Carlos Canal, Mirko Viroli |
| A Calculus of Agents and Artifacts (article in journal, 2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| A Biochemical Approach to Adaptive Service Ecosystems (article in journal, 2010) — Mirko Viroli, Franco Zambonelli |
| Argumentation and Artifacts for Negotiation Support (article in journal, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli |
| Environment in Agent-Oriented Software Engineering Methodologies (article in journal, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli |
| On the Collective Sort Problem for Distributed Tuple Spaces (article in journal, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli |
| An Adaptation Logic Framework for Java-based Component Systems (article in journal, 2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli |
| Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini |
| Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Lightweight Family Polymorphism (article in journal, 2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli |
| On the reification of Java wildcards (article in journal, 2008) — Maurizio Cimadamore, Mirko Viroli |
| Timed Environment for Web Agents (article in journal, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci |
| A core calculus for correlation in orchestration languages (article in journal, 2007) — Mirko Viroli |
| Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci |
| Infrastructures for the Environment of Multiagent Systems (article in journal, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli |
| Preface (article in journal, 2007) — Carlos Canal, Mirko Viroli |
| Variant path types for scalable extensibility (article in journal, 2007) — Atsushi Igarashi, Mirko Viroli |
| Guest Editorial (article in journal, 2007) — Davide Ancona, Mirko Viroli |
| Operating Instructions for Intelligent Agent Coordination (article in journal, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini |
| Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal, 2006) — Atsushi Igarashi, Mirko Viroli |
| Coordination as a Service (article in journal, 2006) — Mirko Viroli, Andrea Omicini |
| Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| On Access Restriction with Java Wildcards (article in journal, 2005) — Mirko Viroli, Giovanni Rimassa |
| An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (article in journal, 2005) — Alessandro Ricci, Mirko Viroli |
| Environments in Multiagent Systems (article in journal, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet |
| Guest Editorial (article in journal, 2004) — Davide Ancona, Mirko Viroli |
| Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa |
| A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (article in journal, 2003) — Mirko Viroli |
| An Observation Approach to Semantics of Agents Communication Languages (article in journal, 2002) — Mirko Viroli, Andrea Omicini |
| Modelling Agents as Observable Sources (article in journal, 2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci |
| Multi-Agent Systems as Composition of Observable Systems (article in journal, 2001) — Mirko Viroli, Andrea Omicini |
| Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (article in journal, 2000) — Mirko Viroli, Antonio Natali |
| (72 article in journal / 2000–2023) [top] [bottom] |
| paper in proceedings |
| Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings, 2020) — Roberto Casadei, Mirko Viroli, Alessandro Ricci |
| Time-Fluid Field-Based Coordination (paper in proceedings, 2020) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli |
| On a Higher-Order Calculus of Computational Fields (paper in proceedings, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
| Engineering Resilient Collaborative Edge-Enabled IoT (paper in proceedings, 2019) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar |
| Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (paper in proceedings, 2019) — Roberto Casadei, Mirko Viroli |
| Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (paper in proceedings, 2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
| Aggregate Processes in Field Calculus (paper in proceedings, 2019) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
| Security in Collective Adaptive Systems: A Roadmap (paper in proceedings, 2019) — Danilo Pianini, Roberto Casadei, Mirko Viroli |
| Big Data from the Cloud to the Edge: The Aggregate Computing Solution (paper in proceedings, 2019) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns |
| Case studies for a new IoT programming paradigm: Fluidware (paper in proceedings, 2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli |
| Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (paper in proceedings, 2019) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re |
| Self-organising Coordination Regions: a Pattern for Edge Computing (paper in proceedings, 2019) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali |
| On Context-Orientation in Aggregate Programming (paper in proceedings, 2019) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli |
| The share Operator for Field-Based Coordination (paper in proceedings, 2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli |
| Space-Time Universality of Field Calculus (paper in proceedings, 2018) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli |
| Aggregate Graph Statistics (paper in proceedings, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
| From Field-Based Coordination to Aggregate Computing (paper in proceedings, 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini |
| Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (paper in proceedings, 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini |
| Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (paper in proceedings, 2018) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou |
| Combining Trust and Aggregate Computing (paper in proceedings, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli |
| Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (paper in proceedings, 2018) — Roberto Casadei, Mirko Viroli |
| Distributed Real-Time Shortest-Paths Computations with the Field Calculus (paper in proceedings, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini |
| Modeling Opportunistic IoT Services in Open IoT Ecosystems (paper in proceedings, 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou |
| Towards a Foundational API for Resilient Distributed Systems Design (paper in proceedings, 2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli |
| Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (paper in proceedings, 2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
| Compositional Blocks for Optimal Self-Healing Gradients (paper in proceedings, 2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli |
| Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (paper in proceedings, 2017) — Danilo Pianini, Simon Dobson, Mirko Viroli |
| Practical Aggregate Programming with Protelis (paper in proceedings, 2017) — Danilo Pianini, Jacob Beal, Mirko Viroli |
| Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (paper in proceedings, 2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini |
| Aggregate Programming: From Foundations to Applications (paper in proceedings, 2016) — Jacob Beal, Mirko Viroli |
| Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings, 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli |
| Self-adaptation to Device Distribution Changes in Situated Computing Systems (paper in proceedings, 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani |
| Towards Aggregate Programming in Scala (paper in proceedings, 2016) — Roberto Casadei, Mirko Viroli |
| Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings, 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal |
| Run-Time Management of Computation Domains in Field Calculus (paper in proceedings, 2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei |
| On Execution Platforms for Large-scale Aggregate Computing (paper in proceedings, 2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini |
| Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings, 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal |
| Resiliency with Aggregate Computing: State of the Art and Roadmap (paper in proceedings, 2016) — Mirko Viroli, Jacob Beal |
| Simulating Large-scale Aggregate MASs with Alchemist and Scala (paper in proceedings, 2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini |
| Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings, 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli |
| Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (paper in proceedings, 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli |
| Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings, 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal |
| Smart Augmented Fields for Emergency Operations (paper in proceedings, 2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli |
| Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (paper in proceedings, 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti |
| Towards agent aggregates: perspectives and challenges (paper in proceedings, 2015) — Mirko Viroli, Alessandro Ricci |
| Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings, 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini |
| Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings, 2015) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli |
| Protelis: Practical Aggregate Programming (paper in proceedings, 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal |
| A Calculus of Self-stabilising Computational Fields (paper in proceedings, 2014) — Mirko Viroli, Ferruccio Damiani |
| Towards a Unified Model of Spatial Computing (paper in proceedings, 2014) — Mirko Viroli |
| HPC from a self-organisation perspective: The case of crowd steering at the urban scale (paper in proceedings, 2014) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha |
| Building Blocks for Aggregate Programming of Self-Organising Applications (paper in proceedings, 2014) — Jacob Beal, Mirko Viroli |
| Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (paper in proceedings, 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli |
| Engineering Confluent Computational Fields: from Functions to Rewrite Rules (paper in proceedings, 2013) — Mirko Viroli |
| Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings, 2013) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli |
| Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (paper in proceedings, 2013) — Sara Montagna, Mirko Viroli |
| Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings, 2013) — Matteo Casadei, Mirko Viroli |
| Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings, 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli |
| Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings, 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli |
| Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings, 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna |
| A calculus of computation fields (paper in proceedings, 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal |
| Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings, 2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson |
| On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings, 2012) — Mirko Viroli, Graeme Stevenson |
| Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings, 2012) — Mirko Viroli, Danilo Pianini, Jacob Beal |
| Self-organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings, 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson |
| A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (paper in proceedings, 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli |
| A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (paper in proceedings, 2012) — Matteo Casadei, Mirko Viroli |
| Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings, 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
| On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings, 2012) — Mirko Viroli, Graeme Stevenson |
| Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings, 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli |
| Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (paper in proceedings, 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez |
| Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings, 2012) — Matteo Casadei, Mirko Viroli |
| Coordinating Spatially-Situated Pervasive Service Ecosystems (paper in proceedings, 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli |
| Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings, 2011) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo |
| A Simulation Framework for Pervasive Services Ecosystems (paper in proceedings, 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna |
| Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings, 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli |
| Core Operational Semantics of Proto (paper in proceedings, 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei |
| Self-aware Pervasive Service Ecosystems (paper in proceedings, 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 |
| Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings, 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei |
| A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings, 2011) — Danilo Pianini, Sara Montagna, Mirko Viroli |
| A Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings, 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli |
| Description Spaces with Fuzziness (paper in proceedings, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli |
| Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings, 2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna |
| Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings, 2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
| A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (paper in proceedings, 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini |
| A Framework for Modelling and Simulating Networks of Cells (paper in proceedings, 2010) — Sara Montagna, Mirko Viroli |
| Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings, 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta |
| Chemical-Inspired Self-Composition of Competing Services (paper in proceedings, 2010) — Mirko Viroli, Matteo Casadei |
| Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings, 2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini |
| Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (paper in proceedings, 2010) — Alessandro Ricci, Mirko Viroli, Michele Piunti |
| A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings, 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna |
| An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings, 2009) — Matteo Casadei, Mirko Viroli |
| Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings, 2009) — Mirko Viroli, Matteo Casadei |
| A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings, 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini |
| Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (paper in proceedings, 2009) — Matteo Casadei, Mirko Viroli |
| FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings, 2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings, 2009) — Alessandro Ricci, Mirko Viroli, Michele Piunti |
| A computational framework for modelling multicellular biochemistry (paper in proceedings, 2009) — Sara Montagna, Mirko Viroli |
| General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings, 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli |
| Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings, 2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli |
| Argumentation and Artifact for Dialogue Support (paper in proceedings, 2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney |
| Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings, 2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli |
| Argumentation and Artifact for Dialogue Support (paper in proceedings, 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney |
| Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings, 2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli |
| Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (paper in proceedings, 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli |
| The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings, 2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings, 2008) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore |
| Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings, 2008) — Maurizio Cimadamore, Mirko Viroli |
| Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli |
| Arguments and Artifacts for Dispute Resolution (paper in proceedings, 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini |
| Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings, 2008) — Matteo Casadei, Mirko Viroli |
| Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings, 2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings, 2008) — Franco Zambonelli, Mirko Viroli |
| simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings, 2008) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
| ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini |
| “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli |
| On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings, 2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli |
| simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli |
| A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings, 2007) — Maurizio Cimadamore, Mirko Viroli |
| CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings, 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings, 2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli |
| Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings, 2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf |
| A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings, 2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf |
| Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings, 2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf |
| Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings, 2007) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini |
| Design Patterns for Self-Organising Systems (paper in proceedings, 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings, 2007) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva |
| Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings, 2007) — Matteo Casadei, Luca Gardelli, Mirko Viroli |
| Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings, 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli |
| A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings, 2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli |
| Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings, 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli |
| Programming MAS with Artifacts (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Simulation of Minority Game in TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini |
| Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings, 2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli |
| On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei |
| simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings, 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini |
| Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Simulating Minority Game with TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini |
| CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings, 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini |
| On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei |
| Collective Sorting Tuple Spaces (paper in proceedings, 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli |
| On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings, 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva |
| Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva |
| Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings, 2005) — Mirko Viroli, Alessandro Ricci |
| On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (paper in proceedings, 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini |
| Programming MAS with Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini |
| “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings, 2005) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings, 2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini |
| Environment-Based Coordination Through Coordination Artifacts (paper in proceedings, 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings, 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci |
| Engineering MAS Environment with Artifacts (paper in proceedings, 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci |
| Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa |
| A Conceptual Framework for Self-Organising MAS (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini |
| An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (paper in proceedings, 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Agent Coordination Context: From Theory to Practice (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings, 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini |
| ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini |
| On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings, 2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
| A Semantics for the Interaction of Agents with Coordination Artifacts (paper in proceedings, 2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini |
| Coordination Artifacts: Environment-based Coordination for Intelligent Agents (paper in proceedings, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini |
| Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli |
| Coordination as a Service: Ontological and Formal Foundation (paper in proceedings, 2003) — Mirko Viroli, Andrea Omicini |
| Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli |
| Have ReSpecT for LogOp (paper in proceedings, 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
| A Specification Language for Agents Observable Behaviour (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini |
| Tuple-based Models in the Observation Framework (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini |
| On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini |
| On the Expressiveness of Event-Based Coordination Media (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci |
| Towards an Alternative Semantics for FIPA ACL (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini |
| Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings, 2002) — Mirko Viroli, Alessandro Ricci |
| Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli |
| Specifying Agent Observable Behaviour (paper in proceedings, 2002) — Mirko Viroli, Andrea Omicini |
| On Observation as a Coordination Pattern: An Ontology and a Formal Framework (paper in proceedings, 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini |
| Multi-Agent Systems as Composition of Observable Systems (paper in proceedings, 2001) — Mirko Viroli, Andrea Omicini |
0000-0003-2702-5702