All Stories

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

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

    Prof Mirko Viroli

  2. 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

  3. 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

  4. 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

  5. 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

  6. On execution platforms for large-scale aggregate computing

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

    Roberto Casadei, Danilo Pianini, Prof Mirko Viroli

  7. Spatial computing: introduction to the special issue

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

    Dr Jean-Louis Giavitto, Prof Mirko Viroli

  8. Protelis

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

    Danilo Pianini, Prof Mirko Viroli

  9. Argumentation and Artifacts for Negotiation Support

    Article • April 2014, Bentham Science Publishers

    Andrea Omicini, Prof Mirko Viroli