Sfoglia per Autore
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
2024-01-01 Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M.
FCPP to Aggregate Them All
2024-01-01 Audrito, Giorgio; Torta, Gianluca
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
2023-01-01 Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems
2023-01-01 Audrito, Giorgio; Terraneo, Federico; Fornaciari, William
A field-based computing approach to sensing-driven clustering in robot swarms
2023-01-01 Aguzzi, G; Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M
Combining Static and Runtime Verification with AC and Coq
2023-01-01 Audrito G.; Haures D.
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
2023-01-01 Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M.
Giochi di Fibonacci: Competitive Programming for Young Students
2023-01-01 AUDRITO, Giorgio; CIOBANU, Madalina; LAURA, Luigi
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021
2023-01-01 Audrito G.; Inverso O.; Vieira H.T.
Aggregate Programming for Customized Building Management and Users Preference Implementation
2023-01-01 Audrito G.; Damiani F.; Rinaldi S.; Tagliabue L.C.; Testa L.; Torta G.
Near-optimal knowledge-free resilient leader election
2022-01-01 Mo, YQ; Audrito, G; Dasgupta, S; Beal, J
Extensible 3D Simulation of Aggregated Systems with FCPP
2022-01-01 Audrito, G; Rapetta, L; Torta, G
Functional Programming for Distributed Systems with XC
2022-01-01 Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions
2022-01-01 Casadei, Roberto; Pianini, Danilo; Aguzzi, Gianluca; Audrito, Giorgio; Torta, Gianluca; Ottina, Marco; Damiani, Ferruccio; Viroli, Mirko
Distributed runtime verification by past-CTL and the field calculus
2022-01-01 Audrito G.; Damiani F.; Stolz V.; Torta G.; Viroli M.
Aggregate Drone Monitoring of Wildfires
2022-01-01 Audrito, Giorgio; Ottina, Marco
Bringing Aggregate Programming Towards the Cloud
2022-01-01 Audrito G.; Damiani F.; Torta G.
On the Dynamic Evolution of Distributed Computational Aggregates
2022-01-01 Audrito, G; Casadei, R; Torta, G
Aggregate processes as distributed adaptive services for the Industrial Internet of Things
2022-01-01 Testa L.; Audrito G.; Damiani F.; Torta G.
Aggregate centrality measures for IoT-based coordination
2021-01-01 Audrito G.; Pianini D.; Damiani F.; Viroli M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile