Enumeration of the adjunctive hierarchy of hereditarily finite sets. - Giorgio Audrito; Alexandru I. Tomescu (CoRR, 2013)

Enumeration of the adjunctive hierarchy of hereditarily finite sets. - Giorgio Audrito; Alexandru I. Tomescu; Stephan G. Wagner (J. Log. Comput., 2015)

Run-Time Management of Computation Domains in Field Calculus. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli; Roberto Casadei (FAS*W@SASO/ICCAC, 2016)

Optimal Skewed Allocation on Multiple Channels for Broadcast in Smart Cities. - Giorgio Audrito; Daniele Diodati; Cristina M. Pinotti (SMARTCOMP, 2016)

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2017)

Compositional Blocks for Optimal Self-Healing Gradients. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (SASO, 2017)

Aggregate Graph Statistics. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (ALP4IoT@iFM, 2017)

Resilient Blocks for Summarising Distributed Data. - Giorgio Audrito; Sergio Bergamini (ALP4IoT@iFM, 2017)

Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks. - Giorgio Audrito; Alan A. Bertossi; Alfredo Navarra; Maria Cristina Pinotti (J. Discrete Algorithms, 2017)

Absoluteness via resurrection. - Giorgio Audrito; Matteo Viale (J. Math. Log., 2017)

Generic Large Cardinals and Systems of filters. - Giorgio Audrito; Silvia Steila (J. Symb. Log., 2017)

Space-Time Universality of Field Calculus. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2018)

From Field-Based Coordination to Aggregate Computing. - Mirko Viroli; Jacob Beal; Ferruccio Damiani; Giorgio Audrito; Roberto Casadei; Danilo Pianini (COORDINATION, 2018)

Distributed Real-Time Shortest-Paths Computations with the Field Calculus. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli; Enrico Bini (RTSS, 2018)

On Distributed Runtime Verification by Aggregate Computing. - Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Mirko Viroli (VORTEX@ECOOP/ISSTA, 2018)

Optimal single-path information propagation in gradient-based algorithms. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (Sci. Comput. Program., 2018)

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. - Mirko Viroli; Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini (ACM Trans. Model. Comput. Simul., 2018)

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. - Giorgio Audrito; Sergio Bergamini; Ferruccio Damiani; Mirko Viroli (AAMAS, 2019)

The share Operator for Field-Based Coordination. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (COORDINATION, 2019)

Aggregate Processes in Field Calculus. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Danilo Pianini; Ferruccio Damiani (COORDINATION, 2019)

Recommending Tasks in Online Judges. - Giorgio Audrito; Tania Di Mascio; Paolo Fantozzi; Luigi Laura; Gemma Martini; Umberto Nanni; Marco Temperini (MIS4TEL, 2019)

From distributed coordination to field calculus and aggregate computing. - Mirko Viroli; Jacob Beal; Ferruccio Damiani; Giorgio Audrito; Roberto Casadei; Danilo Pianini (J. Log. Algebraic Methods Program., 2019)

A Higher-Order Calculus of Computational Fields. - Giorgio Audrito; Mirko Viroli; Ferruccio Damiani; Danilo Pianini; Jacob Beal (ACM Trans. Comput. Log., 2019)

FCPP: an efficient and extensible Field Calculus framework. - Giorgio Audrito (ACSOS, 2020)

Improving Collection Dynamics by Monotonic Filtering. - Hunza Zainab; Giorgio Audrito; Soura Dasgupta; Jacob Beal (ACSOS Companion, 2020)

Resilient Distributed Collection Through Information Speed Thresholds. - Giorgio Audrito; Sergio Bergamini; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2020)

FScaFi : A Core Calculus for Collective Adaptive Systems Programming. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Ferruccio Damiani (ISoLA (2), 2020)

Computation Against a Neighbour. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (CoRR, 2020)

Field-based Coordination with the Share Operator. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (Log. Methods Comput. Sci., 2020)

Fostering resilient execution of multi-agent plans through self-organisation. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2021)

Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2021)

Effect of Monotonic Filtering on Graph Collection Dynamics. - Hunza Zainab; Giorgio Audrito; Soura Dasgupta; Jacob Beal (ACSOS-C, 2021)

Tuple-Based Coordination in Large-Scale Situated Systems. - Roberto Casadei; Mirko Viroli; Alessandro Ricci; Giorgio Audrito (COORDINATION, 2021)

RM for users' safety and security in the built environment. - Giorgio Audrito; Ferruccio Damiani; Giuseppe Martino Di Giuda; Silvia Meschini; Laura Pellegrini; Elena Seghezzi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (VORTEX@ISSTA, 2021)

Towards aggregate monitoring of spatio-temporal properties. - Giorgio Audrito; Gianluca Torta (VORTEX@ISSTA, 2021)

Optimal resilient distributed data collection in mobile edge environments. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (Comput. Electr. Eng., 2021)

Monotonic Filtering for Distributed Collection. - Hunza Zainab; Giorgio Audrito; Soura Dasgupta; Jacob Beal (CoRR, 2021)

Engineering collective intelligence at the edge with aggregate processes. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Danilo Pianini; Ferruccio Damiani (Eng. Appl. Artif. Intell., 2021)

Adaptive distributed monitors of spatial properties for cyber-physical systems. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Volker Stolz; Mirko Viroli (J. Syst. Softw., 2021)

Aggregate centrality measures for IoT-based coordination. - Giorgio Audrito; Danilo Pianini; Ferruccio Damiani; Mirko Viroli (Sci. Comput. Program., 2021)

On the Dynamic Evolution of Distributed Computational Aggregates. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (ACSOS-C, 2022)

Extensible 3D Simulation of Aggregated Systems with FCPP. - Giorgio Audrito; Luigi Rapetta; Gianluca Torta (COORDINATION, 2022)

Aggregate Drone Monitoring of Wildfires. - Giorgio Audrito; Marco Ottina (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Towards 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 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Functional Programming for Distributed Systems with XC. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (ECOOP, 2022)

Bringing Aggregate Programming Towards the Cloud. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (3), 2022)

Near-optimal knowledge-free resilient leader election. - Yuanqiu Mo; Giorgio Audrito; Soura Dasgupta; Jacob Beal (Autom., 2022)

Predictive Semantics for Past-CTL Runtime Monitors. - Giorgio Audrito; Volker Stolz; Gianluca Torta (CoRR, 2022)

Functional Programming for Distributed Systems with XC (Artifact). - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (Dagstuhl Artifacts Ser., 2022)

Distributed runtime verification by past-CTL and the field calculus. - Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli (J. Syst. Softw., 2022)

Aggregate processes as distributed adaptive services for the Industrial Internet of Things. - Lorenzo Testa; Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (Pervasive Mob. Comput., 2022)

Aggregate Programming for Customized Building Management and Users Preference Implementation. - Giorgio Audrito; Ferruccio Damiani; Stefano Rinaldi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (IoT Edge Solutions for Cognitive Buildings, 2023)

Parallelising an Aggregate Programming Framework with Message-Passing Interface. - Giorgio Audrito; Alberto Riccardo Martinelli; Gianluca Torta (ACSOS-C, 2023)

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (COORDINATION, 2023)

Combining Static and Runtime Verification with AC and Coq. - Giorgio Audrito; Daniel Haures (VORTEX@ISSTA, 2023)

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (Log. Methods Comput. Sci., 2023)

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. - Giorgio Audrito; Omar Inverso; Hugo Torres Vieira (Sci. Comput. Program., 2023)

FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. - Giorgio Audrito; Federico Terraneo; William Fornaciari (IEEE Trans. Parallel Distributed Syst., 2023)

A field-based computing approach to sensing-driven clustering in robot swarms. - Gianluca Aguzzi; Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (Swarm Intell., 2023)

An Enhanced Exchange Operator for XC. - Giorgio Audrito; Daniele Bortoluzzi 002; Ferruccio Damiani; Giordano Scarso; Gianluca Torta (COORDINATION, 2024)

Towards Real-Time Aggregate Computing. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (2), 2024)

Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties. - Gianluca Aguzzi; Giorgio Audrito; Mirko Viroli (VORTEX@ISSTA, 2024)

Real-Time Guarantees for SLCS Monitors in XC. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (VORTEX@ISSTA, 2024)

Programming Distributed Collective Processes in the eXchange Calculus. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (CoRR, 2024)

A general framework and decentralised algorithms for collective computational processes. - Giorgio Audrito; Roberto Casadei; Gianluca Torta (Future Gener. Comput. Syst., 2024)

FCPP to aggregate them all. - Giorgio Audrito; Gianluca Torta (Sci. Comput. Program., 2024)

The eXchange Calculus (XC): A functional programming language design for distributed collective systems. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (J. Syst. Softw., 2024)

Turing Arena Light: Enhancing Programming Education Through Competitive Environments. - Giorgio Audrito; Luigi Laura; Alessio Orlandi; Dario Ostuni; Romeo Rizzi; Luca Versari (From Strings to Graphs, and Back Again, 2025)

Software Engineering for Collective Cyber-Physical Ecosystems. - Roberto Casadei; Gianluca Aguzzi; Giorgio Audrito; Ferruccio Damiani; Danilo Pianini; Giordano Scarso; Gianluca Torta; Mirko Viroli (ACM Trans. Softw. Eng. Methodol., 2025)