default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiorgio Audrito
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j24]Giorgio Audrito, Roberto Casadei
, Gianluca Torta:
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158: 11-27 (2024)- [j23]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210: 111976 (2024) - [j22]Giorgio Audrito, Gianluca Torta:
FCPP to aggregate them all. Sci. Comput. Program. 231: 103026 (2024) - [c37]Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta:
An Enhanced Exchange Operator for XC. COORDINATION 2024: 129-145 - [c36]Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli:
Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties. VORTEX@ISSTA 2024: 25-31 - [c35]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Real-Time Guarantees for SLCS Monitors in XC. VORTEX@ISSTA 2024: 32-37 - [e2]Davide Ancona, Giorgio Audrito:
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2024, Vienna, Austria, 19 September 2024. ACM 2024, ISBN 979-8-4007-1119-0 [contents] - [i10]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024) - [i9]Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli:
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR abs/2406.04780 (2024) - 2023
- [j21]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. 19(1) (2023) - [j20]Giorgio Audrito, Omar Inverso, Hugo Torres Vieira:
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. 225: 102899 (2023) - [j19]Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17(1-2): 27-62 (2023) - [j18]Giorgio Audrito, Federico Terraneo, William Fornaciari:
FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Trans. Parallel Distributed Syst. 34(3): 869-880 (2023) - [c34]Giorgio Audrito, Alberto Riccardo Martinelli, Gianluca Torta:
Parallelising an Aggregate Programming Framework with Message-Passing Interface. ACSOS-C 2023: 140-145 - [c33]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - [c32]Giorgio Audrito, Daniel Haures:
Combining Static and Runtime Verification with AC and Coq. VORTEX@ISSTA 2023: 17-20 - [p1]Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta:
Aggregate Programming for Customized Building Management and Users Preference Implementation. IoT Edge Solutions for Cognitive Buildings 2023: 147-172 - [e1]Davide Ancona, Giorgio Audrito:
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023. ACM 2023 [contents] - 2022
- [j17]Yuanqiu Mo, Giorgio Audrito, Soura Dasgupta, Jacob Beal:
Near-optimal knowledge-free resilient leader election. Autom. 146: 110583 (2022) - [j16]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - [j15]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j14]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85: 101658 (2022) - [c31]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C 2022: 37-42 - [c30]Giorgio Audrito, Luigi Rapetta, Gianluca Torta:
Extensible 3D Simulation of Aggregated Systems with FCPP. COORDINATION 2022: 55-71 - [c29]Giorgio Audrito, Marco Ottina:
Aggregate Drone Monitoring of Wildfires. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c28]Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli:
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c27]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c26]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) 2022: 301-317 - [i8]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR abs/2204.00467 (2022) - [i7]Giorgio Audrito, Volker Stolz, Gianluca Torta:
Predictive Semantics for Past-CTL Runtime Monitors. CoRR abs/2209.00538 (2022) - 2021
- [j13]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96(Part): 107580 (2021) - [j12]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021) - [j11]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175: 110908 (2021) - [j10]Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203: 102584 (2021) - [c25]Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal:
Effect of Monotonic Filtering on Graph Collection Dynamics. ACSOS-C 2021: 68-73 - [c24]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C 2021: 81-86 - [c23]Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C 2021: 297-298 - [c22]Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito:
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION 2021: 149-167 - [c21]Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta:
RM for users' safety and security in the built environment. VORTEX@ISSTA 2021: 13-16 - [c20]Giorgio Audrito, Gianluca Torta:
Towards aggregate monitoring of spatio-temporal properties. VORTEX@ISSTA 2021: 26-29 - [i6]Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal:
Monotonic Filtering for Distributed Collection. CoRR abs/2107.05791 (2021) - 2020
- [j9]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [c19]Hunza Zainab, Giorgio Audrito, Soura Dasgupta, Jacob Beal:
Improving Collection Dynamics by Monotonic Filtering. ACSOS Companion 2020: 127-132 - [c18]Giorgio Audrito:
FCPP: an efficient and extensible Field Calculus framework. ACSOS 2020: 153-159 - [c17]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c16]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [i5]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020)
2010 – 2019
- 2019
- [j8]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019) - [j7]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) - [c15]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c14]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c13]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c12]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c11]Giorgio Audrito, Tania Di Mascio, Paolo Fantozzi, Luigi Laura, Gemma Martini, Umberto Nanni, Marco Temperini:
Recommending Tasks in Online Judges. MIS4TEL 2019: 129-136 - [i4]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019) - 2018
- [j6]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j5]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28(2): 16:1-16:28 (2018) - [c10]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c9]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c8]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c7]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [j4]Giorgio Audrito, Alan A. Bertossi, Alfredo Navarra, Maria Cristina Pinotti:
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks. J. Discrete Algorithms 45: 14-25 (2017) - [j3]Giorgio Audrito, Matteo Viale:
Absoluteness via resurrection. J. Math. Log. 17(2): 1750005:1-1750005:36 (2017) - [j2]Giorgio Audrito, Silvia Steila:
Generic Large Cardinals and Systems of filters. J. Symb. Log. 82(3): 860-892 (2017) - [c6]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c5]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c4]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 - [c3]Giorgio Audrito, Sergio Bergamini:
Resilient Blocks for Summarising Distributed Data. ALP4IoT@iFM 2017: 23-26 - [i3]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017) - 2016
- [c2]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c1]Giorgio Audrito, Daniele Diodati, Cristina M. Pinotti:
Optimal Skewed Allocation on Multiple Channels for Broadcast in Smart Cities. SMARTCOMP 2016: 1-8 - [i2]Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016) - 2015
- [j1]Giorgio Audrito, Alexandru I. Tomescu, Stephan G. Wagner:
Enumeration of the adjunctive hierarchy of hereditarily finite sets. J. Log. Comput. 25(3): 943-963 (2015) - 2013
- [i1]Giorgio Audrito, Alexandru I. Tomescu:
Enumeration of the adjunctive hierarchy of hereditarily finite sets. CoRR abs/1309.2512 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
