Giorgio Audrito

MaRDI QIDQ2011210zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Programming distributed collective processes in the exchange calculus Logical Methods in Computer Science	2026-02-13	Paper
On a higher-order calculus of computational fields Formal Techniques for Distributed Objects, Components, and Systems	2024-02-06	Paper
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala Logical Methods in Computer Science	2023-03-22	Paper
Near-optimal knowledge-free resilient leader election Automatica	2022-11-14	Paper
Field-based coordination with the share operator (available as arXiv preprint)	2020-11-03	Paper
Field-based coordination with the share operator	2020-11-03	Paper
From distributed coordination to field calculus and aggregate computing Journal of Logical and Algebraic Methods in Programming	2019-11-28	Paper
A higher-order calculus of computational fields ACM Transactions on Computational Logic	2019-02-07	Paper
Absoluteness via resurrection Journal of Mathematical Logic	2017-12-04	Paper
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks Journal of Discrete Algorithms	2017-10-06	Paper
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS Journal of Symbolic Logic	2017-09-26	Paper
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS Journal of Symbolic Logic	2017-09-26	Paper
An introduction to forcing axioms, SRP and OCA	2014-12-11	Paper
A Boolean Algebraic Approach to Semiproper Iterations	2014-02-07	Paper

Research outcomes over time

This page was built for person: Giorgio Audrito