Artykuły udostępnione publicznie: - Giorgio AudritoWięcej informacji
Niedostępny w żadnym miejscu: 1
Combining Static and Runtime Verification with AC and Coq
G Audrito, D Haures
Proceedings of the 6th International Workshop on Verification and Monitoring …, 2023
Upoważnienia: Government of Italy
Dostępne w jakimś miejscu: 26
Engineering resilient collective adaptive systems by self-stabilisation
M Viroli, G Audrito, J Beal, F Damiani, D Pianini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (2), 1-28, 2018
Upoważnienia: US Department of Defense, European Commission
A higher-order calculus of computational fields
G Audrito, M Viroli, F Damiani, D Pianini, J Beal
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-55, 2019
Upoważnienia: European Commission
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
Upoważnienia: European Commission
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
Upoważnienia: European Commission
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
Upoważnienia: Government of Italy
Space-time universality of field calculus
G Audrito, J Beal, F Damiani, M Viroli
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
Upoważnienia: European Commission
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
Upoważnienia: European Commission
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
Upoważnienia: Government of Italy
Optimal single-path information propagation in gradient-based algorithms
G Audrito, F Damiani, M Viroli
Science of Computer Programming 166, 146-166, 2018
Upoważnienia: European Commission
Optimal resilient distributed data collection in mobile edge environments
G Audrito, R Casadei, F Damiani, D Pianini, M Viroli
Computers & Electrical Engineering 96, 107580, 2021
Upoważnienia: Government of Italy
Absoluteness via resurrection
G Audrito, M Viale
Journal of Mathematical Logic 17 (02), 1750005, 2017
Upoważnienia: UK Engineering and Physical Sciences Research Council
Optimally-self-healing distributed gradient structures through bounded information speed
G Audrito, F Damiani, M Viroli
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017
Upoważnienia: European Commission
Functional programming for distributed systems with XC
G Audrito, R Casadei, F Damiani, G Salvaneschi, M Viroli
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 222, 1-28, 2022
Upoważnienia: Swiss National Science Foundation
The exchange calculus (XC): A functional programming language design for distributed collective systems
G Audrito, R Casadei, F Damiani, G Salvaneschi, M Viroli
Journal of Systems and Software 210, 111976, 2024
Upoważnienia: Swiss National Science Foundation
Distributed real-time shortest-paths computations with the field calculus
G Audrito, F Damiani, M Viroli, E Bini
2018 IEEE Real-Time Systems Symposium (RTSS), 23-34, 2018
Upoważnienia: European Commission
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks
G Audrito, AA Bertossi, A Navarra, CM Pinotti
Journal of Discrete Algorithms 45, 14-25, 2017
Upoważnienia: European Commission
A resilient leader election algorithm using aggregate computing blocks
Y Mo, G Audrito, S Dasgupta, J Beal
IFAC-PapersOnLine 53 (2), 3336-3341, 2020
Upoważnienia: US Department of Defense, Australian Research Council
Enumeration of the adjunctive hierarchy of hereditarily finite sets
G Audrito, AI Tomescu, S Wagner
Journal of Logic and Computation 25 (3), 943-963, 2015
Upoważnienia: Academy of Finland, National Research Foundation, South Africa
A field-based computing approach to sensing-driven clustering in robot swarms
G Aguzzi, G Audrito, R Casadei, F Damiani, G Torta, M Viroli
Swarm Intelligence 17 (1), 27-62, 2023
Upoważnienia: Government of Italy
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy