Skip to content

Mirko Viroli

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

90

Venues

27

Active years

2000–2026

Best venue rank

A*

Where they publish

Papers

90 indexed papers, newest first.

YearVenueTitleAuthors
2026CoordinationPhyelds: A Pythonic Framework for Aggregate Computing.Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli, Mirko Viroli
2026CoordinationA Self-stabilizing Min-Max Consensus via Path-Loop Detection.Angela Cortecchia, Danilo Pianini, Mirko Viroli
2026CoordinationScalaTropy: Multiparty Coordination with Monadic Communication Primitives.Nicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi, Mirko Viroli
2025AIMEA Fine-Tuning Pipeline with Small Conversational Data for Healthcare Chatbot.Gianluca Aguzzi, Matteo Magnini, Martino Francesco Pengo, Mirko Viroli, Sara Montagna
2025CoordinationA Demonstrator for Self-organizing Robot Teams.Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli
2025CoordinationDeclarative Deployment Planning for Green Pulverised Collective Computational Systems.Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli
2025ECAISHAC++: A Neural Network to Rule All Differentiable Simulators.Francesco Bertolotti, Gianluca Aguzzi, Walter Cazzola, Mirko Viroli
2025IJCNNSparse Self-Federated Learning for Energy Efficient Cooperative Intelligence in Society 5.0.Davide Domini, Laura Erhan, Gianluca Aguzzi, Lucia Cavallaro, Amirhossein Douzandeh Zenoozi, Antonio Liotta, Mirko Viroli
2025SACNeighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning.Nicol Malucelli, Davide Domini, Gianluca Aguzzi, Mirko Viroli
2024CoordinationScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli
2024CoordinationField-Based Coordination for Federated Learning.Davide Domini, Gianluca Aguzzi, Lukas Esterle, Mirko Viroli
2024PPDPDeclarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.Roberto Casadei, Mirko Viroli
2023CoordinationMacroSwarm: A Field-Based Compositional Framework for Swarm Programming.Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2023CoordinationProgramming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023CoordinationScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala.Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli
2023DCOSSTowards Collective Sentiment Analysis in IoT-Enabled Scenarios.Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino
2022CoordinationTowards Reinforcement Learning-based Aggregate Computing.Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2022CoordinationSpace-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2022DASCTowards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2022ECOOPFunctional Programming for Distributed Systems with XC.Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022ICDCSMachine Learning for Aggregate Computing: a Research Roadmap.Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2021CoordinationScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.Gianluca Aguzzi, Roberto Casadei, Niccol Maltoni, Danilo Pianini, Mirko Viroli
2021CoordinationTuple-Based Coordination in Large-Scale Situated Systems.Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
2020CoordinationResilient Distributed Collection Through Information Speed Thresholds.Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2020CoordinationTime-Fluid Field-Based Coordination.Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
2020ISoLAFScaFi : A Core Calculus for Collective Adaptive Systems Programming.Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
2019CoordinationThe share Operator for Field-Based Coordination.Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019CoordinationSelf-organising Coordination Regions: A Pattern for Edge Computing.Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
2019CoordinationAggregate Processes in Field Calculus.Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019ECSABig data from the cloud to the edge: the aggregate computing solution.Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
2019FORTEOn a Higher-Order Calculus of Computational Fields.Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019PERCOMTowards Adaptive Flow Programming for the IoT: The Fluidware Approach.Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
2018CoordinationSpace-Time Universality of Field Calculus.Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
2018CoordinationFrom Field-Based Coordination to Aggregate Computing.Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2018RTSSDistributed Real-Time Shortest-Paths Computations with the Field Calculus.Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
2017CoordinationOptimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017SEFMCombining Trust and Aggregate Computing.Roberto Casadei, Alessandro Aldini, Mirko Viroli
2016CoordinationImproving Gossip Dynamics Through Overlapping Replicates.Danilo Pianini, Jacob Beal, Mirko Viroli
2016ECOOPTowards Aggregate Programming in Scala.Roberto Casadei, Mirko Viroli
2016FedCSISSimulating Large-scale Aggregate MASs with Alchemist and Scala.Mirko Viroli, Roberto Casadei, Danilo Pianini
2016IDCSpatial Tuples: Augmenting Physical Reality with Tuple Spaces.Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
2015EUSPNSmart Augmented Fields for Emergency Operations.Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
2015FORTECode Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
2015PRIMAMulti-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan.Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
2015SACProtelis: practical aggregate programming.Danilo Pianini, Mirko Viroli, Jacob Beal
2014CoordinationA Calculus of Self-stabilising Computational Fields.Mirko Viroli, Ferruccio Damiani
2013SACCombining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
2012CoordinationLinda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.Mirko Viroli, Danilo Pianini, Jacob Beal
2012SACDynamic composition of coordination abstractions for pervasive systems: the case ofRonaldo Menezes, Andrea Omicini, Mirko Viroli
2012SACA model for drosophila melanogaster development from a single cell to stripe pattern formation.Sara Montagna, Danilo Pianini, Mirko Viroli
2012SACPervasive ecosystems: a coordination model based on semantic chemistry.Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
2011FedCSISA Chemical Inspired Simulation Framework for Pervasive Services Ecosystems.Danilo Pianini, Sara Montagna, Mirko Viroli
2011SACDescription spaces with fuzziness.Elena Nardini, Andrea Omicini, Mirko Viroli
2011SACProgramming coordination laws of artifacts in CArtAgO.Marco Sbaraglia, Matteo Casadei, Mirko Viroli
2011SACCore operational semantics of Proto.Mirko Viroli, Jacob Beal, Matteo Casadei
2010SACCoordination in open and dynamic environments with TuCSoN semantic tuple centres.Elena Nardini, Mirko Viroli, Emanuele Panzavolta
2010SACChemical-inspired self-composition of competing services.Mirko Viroli, Matteo Casadei
2009CECAn experience on probabilistic model checking and stochastic simulation to design self-organizing systems.Matteo Casadei, Mirko Viroli
2009CECA computational framework for modelling multicellular biochemistry.Sara Montagna, Mirko Viroli
2009CoordinationBiochemical Tuple Spaces for Self-organising Coordination.Mirko Viroli, Matteo Casadei
2009ICSoftFEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009ICSoftA Calculus of Agents and Artifacts.Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009SACUsing probabilistic model checking and simulation for designing self-organizing systems.Matteo Casadei, Mirko Viroli
2009SACA biochemical metaphor for developing eternally adaptive service ecosystems.Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
2009SACA framework for modelling and implementing self-organising coordination.Mirko Viroli, Matteo Casadei, Andrea Omicini
2008IDCArchitecture and Metaphors for Eternally Adaptive Service Ecosystems.Franco Zambonelli, Mirko Viroli
2008SACIntegrating Java and Prolog through generic methods and type inference.Maurizio Cimadamore, Mirko Viroli
2008WETICECollective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks.Matteo Casadei, Mirko Viroli, Marco Santarelli
2007CECSelf-organized over-clustering avoidance in tuple-space systems.Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
2007OOPSLAVariant path types for scalable extensibility.Atsushi Igarashi, Mirko Viroli
2007SACReifying wildcards in Java using the EGO approach.Maurizio Cimadamore, Mirko Viroli
2007SACA self-organising solution to the collective sort problem in distributed tuple spaces.Mirko Viroli, Matteo Casadei, Luca Gardelli
2006EUMASA Case of Self-Organising Environment for MAS: the Collective Sort Problem.Mirko Viroli, Matteo Casadei, Luca Gardelli
2006SACEditorial message: special track on object oriented programming languages and systems.Davide Ancona, Mirko Viroli
2005APLASLightweight Family Polymorphism.Atsushi Igarashi, Chieri Saito, Mirko Viroli
2005CoordinationTime-Aware Coordination in ReSpecT.Andrea Omicini, Alessandro Ricci, Mirko Viroli
2005EUMASCognitive Stigmergy: A Framework Based on Agents and Artifacts.Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
2005SACEditorial message: special track on object oriented programming languages and systems.Davide Ancona, Rajeev R. Raje, Mirko Viroli
2005SACA timed extension of ReSpecT.Alessandro Ricci, Mirko Viroli
2005SACUnderstanding access restriction of variant parametric types and Java wildcards.Giovanni Rimassa, Mirko Viroli
2004SACEditorial message: special track on object oriented programming language and systems.Davide Ancona, Rajeev R. Raje, Mirko Viroli
2004SACIntegrating objective & subjective coordination in multi-agent systems.Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
2003SACComparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media.Mirko Viroli
2002CoordinationTuple-Based Models in the Observation Framework.Mirko Viroli, Andrea Omicini
2002ECOOPOn Variance-Based Subtyping for Parametric Types.Atsushi Igarashi, Mirko Viroli
2002PDPTAExtending ReSpecT for Multiple Coordination Flows.Alessandro Ricci, Andrea Omicini, Mirko Viroli
2002PDPTAOn the Expressiveness of Event-based Coordination Media.Mirko Viroli, Andrea Omicini, Alessandro Ricci
2001SACParametric polymorphism in Java: an efficient implementation for parametric methods.Mirko Viroli
2001SACOn observation as a coordination paradigm: an ontology and a formal framework.Mirko Viroli, Gianluca Moro, Andrea Omicini
2000OOPSLAParametric polymorphism in Java: an approach to translation based on reflective features.Mirko Viroli, Antonio Natali