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
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
scientific article; zbMATH DE number 7269248 (Why is no real title available?) (available as arXiv preprint)	2020-11-03	Paper
scientific article; zbMATH DE number 7269248 (Why is no real title available?)	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