IMDEA Networks
User Publications
Boosting Concurrency and Fault-Tolerance for Reconfigurable Shared Large Objects
Andria Trigeorgi, Nicolas Nicolaou, Chryssis Georgiou, Antonio Fernández Anta, Theophanis Hadjistasi, Efstathios Stavrakis
ACM Transactions on Storage. Volume 22 , ACM. March 2026
Tight Conditions for Binary-Output Tasks Under Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Junlang Wang
International Conference on Principles of Distributed Systems. Iacsi, Romania. December 2025
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou, Mathieu Gestin, Nicolas Nicolaou, Junlang Wang
International Conference on Principles of Distributed Systems. Lucca, Italy. November 2024
Atomic Appends in Asynchronous Byzantine Distributed Ledgers
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Antonio Russo
Journal of Parallel and Distributed Computing. 10.1016/j.jpdc.2023.104748. Volume 182 , Elsevier. ISSN: 0743-7315. December 2023
Atomic Appends in Asynchronous ByzantineDistributed Ledgers
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
Jornadas de Concurrencia y Sistemas Distribuidos 2020+1. Barcelona, Spain. September 2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal, Antonio Russo
Jornadas de Concurrencia y Sistemas Distribuidos 2020+1. Barcelona, Spain. September 2021
Formalization of Blockchain Properties
Emmanuelle Anceume, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Maria Potop-Butucaru
Morgan & Claypool Publishers. ISBN: 978-1636391687. August 2021
Estimating Active Cases of COVID-19
Javier Álvarez, Carlos Baquero, Elisa Cabana, Jaya Prakash Champati, Antonio Fernández Anta, Davide Frey, Augusto Garcia-Agundez, Chryssis Georgiou, Mathieu Goessens, Harold Hernández, Rosa Elvira Lillo, Raquel Menezes, Raúl Moreno, Nicolas Nicolaou, Oluwasegun Ojo, Antonio Ortega, Jesús Rufino, Efstathios Stavrakis, Govind Jeevan, Christin Glorioso
KDD Workshop on Data-driven Humanitarian Mapping: Harnessing Human-Machine Intelligence for High-Stake Public Policy and Resiliency Planning. Virtual. August 2021
The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing
Carlos Baquero, Paolo Casari, Antonio Fernández Anta, Amanda García-García, Davide Frey, Augusto Garcia-Agundez, Chryssis Georgiou, Benjamin Girault, Antonio Ortega, Mathieu Goessens, Harold Hernández, Nicolas Nicolaou, Efstathios Stavrakis, Oluwasegun Ojo, Julian C Roberts, Ignacio Sánchez
Frontiers in Computer Science. 10.3389/fcomp.2021.641237. Volume 3 , ISSN: 2624-9898. June 2021
Fragmented Objects: Boosting Concurrency of Shared Large Objects
Antonio Fernández Anta, Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou, Efstathios Stavrakis, Andria Trigeorgi
28th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021). Wrocław, Poland. June 2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Vicent Cholvi, Chryssis Georgiou, Antonio Fernández Anta, Nicolas Nicolaou, Michel Raynal, Antonio Russo
4th International Symposium on Foundations and Applications of Blockchain (FAB 2021). May 2021
Estimating the COVID-19 Prevalence in Spain with Indirect Reporting via Open Surveys
Augusto Garcia-Agundez, Oluwasegun Ojo, Harold Hernández, Carlos Baquero, Davide Frey, Chryssis Georgiou, Mathieu Goessens, Rosa Elvira Lillo, Raquel Menezes, Nicolas Nicolaou, Antonio Ortega, Efstathios Stavrakis, Antonio Fernández Anta
Frontiers in Public Health. April 2021
Tractable low-delay atomic memory
Antonio Fernández Anta, Theophanis Hadjistasi, Nicolas Nicolaou, Alexandru Popa, Alexander A. Schwarzmann
Distributed Computing. DOI: https://doi.org/10.1007/s00446-020-00379-y. Volume 34 , Springer Science+Business Media. ISSN: 0178-2770. February 2021
Atomic Appends in Asynchronous Byzantine Distributed Ledgers
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal
The 16th European Dependable Computing Conference (EDCC 2020). Munich, Germany. September 2020
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Oluwasegun Ojo, Augusto Garcia-Agundez, Benjamin Girault, Harold Hernández, Elisa Cabana, Amanda García-García, Payman Arabshahi, Carlos Baquero, Casari Paolo, Ednaldo José Ferreira, Davide Frey, Chryssis Georgiou, Mathieu Goessens, Anna Ishchenko, Ernesto Jiménez, Oleksiy Kebkal, Rosa Elvira Lillo, Raquel Menezes, Nicolas Nicolaou, Antonio Ortega, Paul Patras, Julian C Roberts, Efstathios Stavrakis, Yuichi Tanaka, Antonio Fernández Anta
The KDD Workshop on Humanitarian Mapping. San Diego, California USA. August 2020
Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou
The 33rd International Symposium on DIStributed Computing (DISC 2019). Budapest, Hungary. October 2019
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers (Other)
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou
XXVI JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS. Zaragoza, Spain. June 2019
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Paris, France. May 2019
Putting Distributed Ledgers Together (Keynote)
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou
The 2nd Workshop on Storage, Control, Networking in Dynamic Systems (SCNDS 2018). New Orleans, Louisiana, USA. October 2018
Formalizing and Implementing Distributed Ledger Objects
Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar, Nicolas Nicolaou
ACM SIGACT News. https://doi.org/10.1145/3232679.3232691. Volume 49 , ACM New York, NY, USA. ISSN: 0163-5700. June 2018