All Stories

  1. A Language-based Approach to Macroprogramming for IoT Systems through Large Language Models

    Article • ACM Transactions on Internet of Things, August 2025, ACM (Association for Computing Machinery)

    Prof Mirko Viroli

  2. Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning

    Article • March 2025, ACM (Association for Computing Machinery)

    Prof Mirko Viroli

  3. Software Engineering for Collective Cyber-Physical Ecosystems

    Article • ACM Transactions on Software Engineering and Methodology, January 2025, ACM (Association for Computing Machinery)

    Roberto Casadei, Danilo Pianini, Prof Mirko Viroli

  4. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties

    Article • September 2024, ACM (Association for Computing Machinery)

    Prof Mirko Viroli

  5. Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report

    Article • September 2024, ACM (Association for Computing Machinery)

    Roberto Casadei, Prof Mirko Viroli

  6. A Higher-Order Calculus of Computational Fields

    Article • ACM Transactions on Computational Logic, January 2019, ACM (Association for Computing Machinery)

    Danilo Pianini, Prof Mirko Viroli

  7. Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

    Article • ACM Transactions on Modeling and Computer Simulation, April 2018, ACM (Association for Computing Machinery)

    Prof Mirko Viroli, Danilo Pianini

  8. Self-Adaptation to Device Distribution in the Internet of Things

    Article • ACM Transactions on Autonomous and Adaptive Systems, September 2017, ACM (Association for Computing Machinery)

    Danilo Pianini, Prof Mirko Viroli

  9. On execution platforms for large-scale aggregate computing

    Article • September 2016, ACM (Association for Computing Machinery)

    Roberto Casadei, Danilo Pianini, Prof Mirko Viroli

  10. Spatial computing: introduction to the special issue

    Article • The Knowledge Engineering Review, September 2016, Cambridge University Press

    Dr Jean-Louis Giavitto, Prof Mirko Viroli

  11. Protelis

    Article • April 2015, ACM (Association for Computing Machinery)

    Danilo Pianini, Prof Mirko Viroli

  12. Argumentation and Artifacts for Negotiation Support

    Article • April 2014, Bentham Science Publishers

    Andrea Omicini, Prof Mirko Viroli