Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Roberto Casadei

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Giorgio Audrito

> Home > Persons > Roberto Casadei

Publications

2024
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/AudritoCDSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AudritoCDSV24
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)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11212
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024)
2023
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AudritoCDV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AudritoCDV23
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)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/swarm/AguzziACDTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/swarm/AguzziACDTV23
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)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/AudritoCDTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoCDTV23
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89
2022
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/AudritoCDSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/AudritoCDSV22
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)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/AudritoCT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/AudritoCT22
Giorgio Audrito, Roberto Casadei, Gianluca Torta:
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C 2022: 37-42
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/CasadeiPAATODV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/CasadeiPAATODV22
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
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/AudritoCDSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AudritoCDSV22
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cee/AudritoCDPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cee/AudritoCDPV21
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)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/CasadeiVAPD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/CasadeiVAPD21
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)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AudritoCDSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AudritoCDSV21
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)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/AudritoCT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/AudritoCT21
Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C 2021: 81-86
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/AudritoCT21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/AudritoCT21a
Giorgio Audrito, Roberto Casadei, Gianluca Torta:
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C 2021: 297-298
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CasadeiVRA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CasadeiVRA21
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito:
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION 2021: 149-167
2020
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CasadeiVAD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CasadeiVAD20
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08626
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ViroliBDACP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ViroliBDACP19
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)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CasadeiVAPD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CasadeiVAPD19
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ViroliBDACP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ViroliBDACP18
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/AudritoCDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/AudritoCDV17
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/AudritoDVC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/AudritoDVC16
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197

a service of

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.