Per anno

229 pubblicazioni senza Web of Science ID / 2000–2025 / Mirko Viroli

2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000

2022

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli

1 pubblicazione nel 2022 senza Web of Science ID • in cima • indice • in fondo

2021

Partitioned integration and coordination via the self-organising coordination regions pattern (articolo in rivista) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali

1 pubblicazione nel 2021 senza Web of Science ID • in cima • indice • in fondo

2020

Time-Fluid Field-Based Coordination (articolo in atti) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (articolo in atti) — Roberto Casadei, Mirko Viroli, Alessandro Ricci

2 pubblicazioni nel 2020 senza Web of Science ID • in cima • indice • in fondo

2019

Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (articolo in atti) — Roberto Casadei, Mirko Viroli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (capitolo di libro) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Aggregate Processes in Field Calculus (articolo in atti) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
The share Operator for Field-Based Coordination (articolo in atti) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
On a Higher-Order Calculus of Computational Fields (articolo in atti) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (articolo in atti) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (articolo in atti) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
A Higher-Order Calculus of Computational Fields (articolo in rivista) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On Context-Orientation in Aggregate Programming (articolo in atti) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Engineering Resilient Collaborative Edge-Enabled IoT (articolo in atti) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Big Data from the Cloud to the Edge: The Aggregate Computing Solution (articolo in atti) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
From distributed coordination to field calculus and aggregate computing (articolo in rivista) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
A development approach for collective opportunistic Edge-of-Things services (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Self-organising Coordination Regions: a Pattern for Edge Computing (articolo in atti) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Case studies for a new IoT programming paradigm: Fluidware (articolo in atti) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Security in Collective Adaptive Systems: A Roadmap (articolo in atti) — Danilo Pianini, Roberto Casadei, Mirko Viroli

17 pubblicazioni nel 2019 senza Web of Science ID • in cima • indice • in fondo

2018

Aggregate Graph Statistics (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (articolo in atti) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (articolo in rivista) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Optimal single-path information propagation in gradient-based algorithms (articolo in rivista) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
From Field-Based Coordination to Aggregate Computing (articolo in atti) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Space-Time Universality of Field Calculus (articolo in atti) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Combining Trust and Aggregate Computing (articolo in atti) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (articolo in rivista) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (articolo in atti) — Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems (capitolo di libro) — Roberto Casadei, Mirko Viroli
Distributed Real-Time Shortest-Paths Computations with the Field Calculus (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini

11 pubblicazioni nel 2018 senza Web of Science ID • in cima • indice • in fondo

2017

Aggregate plans for multiagent systems (articolo in rivista) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Practical Aggregate Programming with Protelis (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (articolo in atti) — Danilo Pianini, Simon Dobson, Mirko Viroli
Modeling Opportunistic IoT Services in Open IoT Ecosystems (articolo in atti) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design (articolo in atti) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Self-Adaptation to Device Distribution in the Internet of Things (articolo in rivista) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Compositional Blocks for Optimal Self-Healing Gradients (articolo in atti) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

8 pubblicazioni nel 2017 senza Web of Science ID • in cima • indice • in fondo

2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala (articolo in atti) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Self-adaptation to Device Distribution Changes in Situated Computing Systems (articolo in atti) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
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
On Execution Platforms for Large-scale Aggregate Computing (articolo in atti) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Resiliency with Aggregate Computing: State of the Art and Roadmap (articolo in atti) — Mirko Viroli, Jacob Beal
Towards Aggregate Programming in Scala (articolo in atti) — Roberto Casadei, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
A type-sound calculus of computational fields (articolo in rivista) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Improving Gossip Dynamics Through Overlapping Replicates (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
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
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal

13 pubblicazioni nel 2016 senza Web of Science ID • in cima • indice • in fondo

2015

Towards agent aggregates: perspectives and challenges (articolo in atti) — Mirko Viroli, Alessandro Ricci
Aggregate Programming for the Internet of Things (articolo in rivista) — Jacob Beal, Danilo Pianini, Mirko Viroli
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (articolo in atti) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Protelis: Practical Aggregate Programming (articolo in atti) — Danilo Pianini, Mirko Viroli, Jacob Beal
Type-based Self-stabilisation for Computational Fields (articolo in rivista) — Ferruccio Damiani, Mirko Viroli
Space-Time Programming (articolo in rivista) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (articolo in rivista) — Sara Montagna, Mirko Viroli, Andrea Roli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (articolo in atti) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Formal Foundations of Sensor Network Applications (articolo in rivista) — Jacob Beal, Mirko Viroli

9 pubblicazioni nel 2015 senza Web of Science ID • in cima • indice • in fondo

2014

Building Blocks for Aggregate Programming of Self-Organising Applications (articolo in atti) — Jacob Beal, Mirko Viroli
A Calculus of Self-stabilising Computational Fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani
HPC from a self-organisation perspective: The case of crowd steering at the urban scale (articolo in atti) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
Argumentation and Artifacts for Negotiation Support (capitolo di libro) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Best ACM SAC Articles on Coordination and Self-Adaptation (editoriale/introduzione/prefazione) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Towards a Unified Model of Spatial Computing (articolo in atti) — Mirko Viroli

6 pubblicazioni nel 2014 senza Web of Science ID • in cima • indice • in fondo

2013

Engineering Confluent Computational Fields: from Functions to Rewrite Rules (articolo in atti) — Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
A calculus of computation fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (articolo in rivista) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (articolo in rivista) — Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (articolo in rivista) — Danilo Pianini, Sara Montagna, Mirko Viroli
Operational Semantics of Proto (articolo in rivista) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing (capitolo di libro) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Description and composition of bio-inspired design patterns: a complete overview (articolo in rivista) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
6th International Spatial Computing Workshop (SCW 2013) (curatela) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — 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 (articolo in atti) — Sara Montagna, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli

16 pubblicazioni nel 2013 senza Web of Science ID • in cima • indice • in fondo

2012

A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (articolo in atti) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (articolo in atti) — Mirko Viroli, Danilo Pianini, Jacob Beal
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Self-organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (capitolo di libro) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
Standard Type Soundness for Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (capitolo di libro) — Sara Montagna, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (articolo in atti) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli

14 pubblicazioni nel 2012 senza Web of Science ID • in cima • indice • in fondo

2011

Coordinating Spatially-Situated Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (articolo in rivista) — Alessandro Ricci, Michele Piunti, Mirko Viroli
A Simulation Framework for Pervasive Services Ecosystems (articolo in atti) — Danilo Pianini, Mirko Viroli, Sara Montagna
A Calculus of Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Middleware Infrastructures for Self-organising Pervasive Computing Systems (capitolo di libro) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
A Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (articolo in rivista) — Franco Zambonelli, Mirko Viroli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (articolo in rivista) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
Core Operational Semantics of Proto (articolo in atti) — Mirko Viroli, Jacob Beal, Matteo Casadei
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (articolo in atti) — Danilo Pianini, Sara Montagna, Mirko Viroli
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (articolo in atti) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (articolo in rivista) — Peter McBurney, Simon Parsons, Mirko Viroli
Programming Coordination Laws of Artifacts in CArtAgO (articolo in atti) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
Description Spaces with Fuzziness (articolo in atti) — Elena Nardini, Andrea Omicini, Mirko Viroli

18 pubblicazioni nel 2011 senza Web of Science ID • in cima • indice • in fondo

2010

A Biochemical Approach to Adaptive Service Ecosystems (articolo in rivista) — Mirko Viroli, Franco Zambonelli
Argumentation and Artifacts for Negotiation Support (articolo in rivista) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
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
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (articolo in atti) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
A Framework for Modelling and Simulating Networks of Cells (articolo in atti) — Sara Montagna, Mirko Viroli
Chemical-Inspired Self-Composition of Competing Services (articolo in atti) — Mirko Viroli, Matteo Casadei

9 pubblicazioni nel 2010 senza Web of Science ID • in cima • indice • in fondo

2009

Formalising the Environment in MAS Programming: a Formal Model (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (articolo in atti) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
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
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (articolo in atti) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Framework for Modelling and Implementing Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei, Andrea Omicini
On the Collective Sort Problem for Distributed Tuple Spaces (articolo in rivista) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (articolo in atti) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A computational framework for modelling multicellular biochemistry (articolo in atti) — Sara Montagna, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei

12 pubblicazioni nel 2009 senza Web of Science ID • in cima • indice • in fondo

2008

Architecture and Metaphors for Eternally Adaptive Service Ecosystems (articolo in atti) — Franco Zambonelli, Mirko Viroli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Pascal Poizat, Mirko Viroli
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (articolo in atti) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Experimenting with Stochastic Prolog as a Simulation Language (articolo in atti) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
On the reification of Java wildcards (articolo in rivista) — Maurizio Cimadamore, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (articolo in rivista) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Integrating Java and Prolog through Generic Methods and Type Inference (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Lightweight Family Polymorphism (articolo in rivista) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
Arguments and Artifacts for Dispute Resolution (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (articolo in atti) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Argumentation and Artifact for Dialogue Support (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (articolo in atti) — Matteo Casadei, Mirko Viroli, Marco Santarelli
An Adaptation Logic Framework for Java-based Component Systems (articolo in rivista) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (articolo in atti) — Matteo Casadei, Mirko Viroli

16 pubblicazioni nel 2008 senza Web of Science ID • in cima • indice • in fondo

2007

A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Timed Environment for Web Agents (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Infrastructures for the Environment of Multiagent Systems (articolo in rivista) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Engineering a BPEL Orchestration Engine as a Multi-agent System (articolo in rivista) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (articolo in rivista) — Mirko Viroli
Design Patterns for Self-Organizing Multiagent Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, 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
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (articolo in atti) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (articolo in atti) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Variant path types for scalable extensibility (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

20 pubblicazioni nel 2007 senza Web of Science ID • in cima • indice • in fondo

2006

On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
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
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (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
Simulation of Minority Game in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Collective Sorting Tuple Spaces (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems (articolo in atti) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (capitolo di libro) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Minority Game: A Logic-Based Approach in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (articolo in rivista) — Atsushi Igarashi, Mirko Viroli

17 pubblicazioni nel 2006 senza Web of Science ID • in cima • indice • in fondo

2005

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
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (articolo in rivista) — Alessandro Ricci, Mirko Viroli
Agent Interaction Semantics by Timed Operating Instructions (articolo in atti) — Mirko Viroli, Alessandro Ricci
Environments in Multiagent Systems (articolo in rivista) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Engineering MAS Environment with Artifacts (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Special Issue “Process Algebras and Multi-Agent Systems” (numero speciale) — 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
On Access Restriction with Java Wildcards (articolo in rivista) — Mirko Viroli, Giovanni Rimassa
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

11 pubblicazioni nel 2005 senza Web of Science ID • in cima • indice • in fondo

2004

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
A Conceptual Framework for Self-Organising MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Agent Coordination Context: From Theory to Practice (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (articolo in atti) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini
Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
Integrating Objective & Subjective Coordination in Multi-Agent Systems (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

11 pubblicazioni nel 2004 senza Web of Science ID • in cima • indice • in fondo

2003

A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (articolo in rivista) — Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination as a Service: Ontological and Formal Foundation (articolo in atti) — Mirko Viroli, Andrea Omicini
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (articolo in atti) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli

4 pubblicazioni nel 2003 senza Web of Science ID • in cima • indice • in fondo

2002

Specifying Agent Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL (articolo in atti) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (articolo in atti) — Mirko Viroli, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Grey-Box Modelling Approach for Autonomous Agents (articolo in atti) — Mirko Viroli, Andrea Omicini

8 pubblicazioni nel 2002 senza Web of Science ID • in cima • indice • in fondo

2001

Multi-Agent Systems as Composition of Observable Systems (articolo in atti) — Mirko Viroli, Andrea Omicini
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (curatela) — Andrea Omicini, Mirko Viroli
Multi-Agent Systems as Composition of Observable Systems (articolo in rivista) — Mirko Viroli, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (articolo in atti) — Mirko Viroli, Gianluca Moro, Andrea Omicini

4 pubblicazioni nel 2001 senza Web of Science ID • in cima • indice • in fondo

2000

Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (articolo in rivista) — Mirko Viroli, Antonio Natali

1 pubblicazione nel 2000 senza Web of Science ID • in cima • indice • in fondo