Giorgio Audrito

Follow

Generating author description...

All published works
Action Title Year Authors
+ Software Engineering for Collective Cyber-Physical Ecosystems 2025 Roberto Casadei
Gianluca Aguzzi
Giorgio Audrito
Ferruccio Damiani
Danilo Pianini
Giordano Scarso
Gianluca Torta
Mirko Viroli
+ PDF Chat Software Engineering for Collective Cyber-Physical Ecosystems 2024 Roberto Casadei
Gianluca Aguzzi
Giorgio Audrito
Ferruccio Damiani
Danilo Pianini
Giordano Scarso
Gianluca Torta
Mirko Viroli
+ Programming Distributed Collective Processes in the eXchange Calculus 2024 Giorgio Audrito
Roberto Casadei
Ferruccio Damiani
Gianluca Torta
Mirko Viroli
+ PDF Chat Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala 2023 Giorgio Audrito
Roberto Casadei
Ferruccio Damiani
Mirko Viroli
+ PDF Chat Aggregate processes as distributed adaptive services for the Industrial Internet of Things 2022 Lorenzo Testa
Giorgio Audrito
Ferruccio Damiani
Gianluca Torta
+ Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things 2022 Lorenzo Testa
Giorgio Audrito
Ferruccio Damiani
Gianluca Torta
+ Predictive Semantics for Past-CTL Runtime Monitors 2022 Giorgio Audrito
Volker Stolz
Gianluca Torta
+ Monotonic Filtering for Distributed Collection 2021 Hunza Zainab
Giorgio Audrito
Soura Dasgupta
Jacob Beal
+ Computation Against a Neighbour. 2020 Giorgio Audrito
Roberto Casadei
Ferruccio Damiani
Mirko Viroli
+ Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala 2020 Giorgio Audrito
Roberto Casadei
Ferruccio Damiani
Mirko Viroli
+ Field-based coordination with the share operator 2019 Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
Mirko Viroli
+ PDF Chat On Distributed Runtime Verification by Aggregate Computing 2019 Giorgio Audrito
Ferruccio Damiani
Volker Stolz
Mirko Viroli
+ A Higher-Order Calculus of Computational Fields 2019 Giorgio Audrito
Mirko Viroli
Ferruccio Damiani
Danilo Pianini
Jacob Beal
+ PDF Chat On a Higher-Order Calculus of Computational Fields 2019 Giorgio Audrito
Mirko Viroli
Ferruccio Damiani
Danilo Pianini
Jacob Beal
+ Field-based Coordination with the Share Operator 2019 Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
Mirko Viroli
+ PDF Chat Engineering Resilient Collective Adaptive Systems by Self-Stabilisation 2018 Mirko Viroli
Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
+ PDF Chat Resilient Blocks for Summarising Distributed Data 2018 Giorgio Audrito
Sergio Bergamini
+ PDF Chat Aggregate Graph Statistics 2018 Giorgio Audrito
Ferruccio Damiani
Mirko Viroli
+ Engineering Resilient Collective Adaptive Systems by Self-Stabilisation 2017 Mirko Viroli
Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
+ PDF Chat GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS 2017 Giorgio Audrito
Silvia Steila
+ PDF Chat Absoluteness via resurrection 2017 Giorgio Audrito
Matteo Viale
+ Engineering Resilient Collective Adaptive Systems by Self-Stabilisation 2017 Mirko Viroli
Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
+ A Higher-order Calculus of Computational Fields 2016 Mirko Viroli
Giorgio Audrito
Ferruccio Damiani
Danilo Pianini
Jacob Beal
+ A Higher-order Calculus of Computational Fields 2016 Mirko Viroli
Giorgio Audrito
Ferruccio Damiani
Danilo Pianini
Jacob Beal
+ Generic Large Cardinals and Systems of Filters 2015 Giorgio Audrito
Silvia Steila
+ Generic Large Cardinals and Systems of Filters 2015 Giorgio Audrito
Silvia Steila
+ An introduction to forcing axioms, SRP and OCA 2014 Giorgio Audrito
Gemma Carotenuto
+ PDF Chat Enumeration of the adjunctive hierarchy of hereditarily finite sets 2014 Giorgio Audrito
Alexandru I. Tomescu
Stephan Wagner
+ Absoluteness via Resurrection 2014 Giorgio Audrito
Matteo Viale
+ A Boolean Algebraic Approach to Semiproper Iterations 2014 Matteo Viale
Giorgio Audrito
Silvia Steila
+ An introduction to forcing axioms, SRP and OCA 2014 Giorgio Audrito
Gemma Carotenuto
+ A Boolean Algebraic Approach to Semiproper Iterations 2014 Matteo Viale
Giorgio Audrito
Silvia Steila
+ Absoluteness via Resurrection 2014 Giorgio Audrito
Matteo Viale
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Engineering Resilient Collective Adaptive Systems by Self-Stabilisation 2018 Mirko Viroli
Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
8
+ A Higher-Order Calculus of Computational Fields 2019 Giorgio Audrito
Mirko Viroli
Ferruccio Damiani
Danilo Pianini
Jacob Beal
6
+ PDF Chat Category forcings, 𝑀𝑀âșâșâș, and generic absoluteness for the theory of strong forcing axioms 2015 Matteo Viale
4
+ Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 2016 Alberto Lluch Lafuente
Michele Loreti
Ugo Montanari
4
+ SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE 2011 W. Hugh Woodin
4
+ PDF Chat Rank-into-rank hypotheses and the failure of GCH 2014 Vincenzo Dimonte
Sy‐David Friedman
3
+ PDF Chat A general tool for consistency results related to I1 2015 Vincenzo Dimonte
Liuzhen Wu
3
+ A Boolean Algebraic Approach to Semiproper Iterations 2014 Matteo Viale
Giorgio Audrito
Silvia Steila
3
+ PDF Chat Martin’s Maximum and tower forcing 2013 Sean Cox
Matteo Viale
2
+ Programming interactions in collective adaptive systems by relying on attribute-based communication 2020 Yehia Abd Alrahman
Rocco De Nicola
Michele Loreti
2
+ PDF Chat Indestructibility of generically strong cardinals 2015 Brent Cody
Sean Cox
2
+ On a condition for Cohen extensions which preserve precipitous ideals 1981 Yuzuru Kakuda
2
+ PDF Chat Forcing with Sequences of Models of Two Types 2014 Itay Neeman
2
+ On strong compactness and supercompactness 1975 Telis K. Menas
2
+ A core model for choreographic programming 2019 LuĂ­s Cruz-Filipe
Fabrizio Montesi
2
+ PDF Chat Coherent adequate forcing and preserving CH 2015 John Krueger
Miguel Ángel Mota
2
+ PDF Chat Martin’s maximum revisited 2015 Matteo Viale
2
+ Proper Forcing and Remarkable Cardinals 2000 Ralf‐Dieter Schindler
2
+ PDF Chat Type-based Self-stabilisation for Computational Fields 2015 Ferruccio Damiani
Mirko Viroli
2
+ PDF Chat Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling 2023 Roberto Casadei
2
+ Calculating quotient algebras of generic embeddings 2012 Matthew Foreman
2
+ Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I 1988 M. Foreman
M. Magidor
Saharon Shelah
1
+ ON RESURRECTION AXIOMS 2015 Konstantinos Tsaprounis
1
+ PDF Chat Resurrection axioms and uplifting cardinals 2014 Joel David Hamkins
Thomas A. Johnstone
1
+ PDF Chat Distributed data stream processing and edge computing: A survey on resource elasticity and future directions 2017 Marcos Dias de Assunção
Alexandre da Silva Veith
Rajkumar Buyya
1
+ PDF Chat Resilient Blocks for Summarising Distributed Data 2018 Giorgio Audrito
Sergio Bergamini
1
+ PDF Chat Monitoring Hyperproperties 2017 Bernd Finkbeiner
Christopher Hahn
Marvin Stenger
Leander Tentrup
1
+ Martin's maximum revisited 2011 Matteo Viale
1
+ Microservices: Yesterday, Today, and Tomorrow 2017 Nicola Dragoni
Saverio Giallorenzo
Alberto Lluch Lafuente
Manuel Mazzara
Fabrizio Montesi
Ruslan Mustafin
Larisa Safina
1
+ PDF Chat A Survey of Distributed Data Aggregation Algorithms 2014 Paulo Jesus
Carlos Baquero
Paulo SĂ©rgio Almeida
1
+ PDF Chat CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS 2016 Peter Holy
Regula Krapf
Philipp LĂŒcke
Ana Njegomir
Philipp Schlicht
1
+ Generalizations of the Kunen inconsistency 2012 Joel David Hamkins
Greg Kirmayer
Norman Lewis Perlmutter
1
+ PDF Chat The role of big data analytics in industrial Internet of Things 2019 Muhammad Habib ur Rehman
Ibrar Yaqoob
Khaled Salah
Muhammad Imran
Prem Prakash Jayaraman
Charith Perera
1
+ PDF Chat A review of cooperative multi-agent deep reinforcement learning 2022 Afshin Oroojlooy
Davood Hajinezhad
1
+ PDF Chat A survey and critique of multiagent deep reinforcement learning 2019 Pablo HernĂĄndez-Leal
Bilal Kartal
Matthew E. Taylor
1
+ PDF Chat Multi-Agent Reinforcement Learning: A Selective Overview of Theories and Algorithms 2021 Kaiqing Zhang
Zhuoran Yang
Tamer BaƟar
1
+ Adaptive learning of aggregate analytics under dynamic workloads 2020 Fotis Savva
Christos Anagnostopoulos
Peter Triantafillou
1
+ PDF Chat Self-Organization and Artificial Life 2020 Carlos Gershenson
Vito Trianni
Justin Werfel
Hiroki Sayama
1
+ Field-based coordination with the share operator 2019 Giorgio Audrito
Jacob Beal
Ferruccio Damiani
Danilo Pianini
Mirko Viroli
1
+ PDF Chat An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems 2020 Amit K. Chopra
Samuel H. Christie
Munindar P. Singh
1
+ PDF Chat Test case generation for agent-based models: A systematic literature review 2021 Andrew G. Clark
Neil Walkinshaw
Robert M. Hierons
1
+ A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities 2021 Meiyi Ma
Ezio Bartocci
Eli Lifland
John A. Stankovic
Lu Feng
1
+ PDF Chat A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems 2022 L. Nenzi
Ezio Bartocci
Luca Bortolussi
Michele Loreti
1
+ PDF Chat Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers 2021 Danilo Pianini
Roberto Casadei
Mirko Viroli
Stefano Mariani
Franco Zambonelli
1
+ PDF Chat A framework to measure the robustness of programs in the unpredictable environment 2023 Valentina Castiglioni
Michele Loreti
Simone Tini
1
+ Advanced Combinatorics 1976 John R. Riordan
Louis Comtet
1
+ The Number of Full Sets with n Elements 1962 Richard K. Peddicord
1
+ Asymptotic enumeration of extensional acyclic digraphs 2012 Stephan Wagner
1
+ PDF Chat When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward 2022 Jiayang Song
Deyun Lyu
Zhenya Zhang
Zhijie Wang
Tianyi Zhang
Lei Ma
1
+ PDF Chat A survey of multi-agent Human–Robot Interaction systems 2022 Abhinav Dahiya
Alexander Mois Aroyo
Kerstin Dautenhahn
Stephen L. Smith
1