6 citations · 8 across the 5 of their papers we have counts for
10 papers
Validated Objects: Specification, Implementation, and Applications
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou +1
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods fo…
Fragmented ARES: Dynamic Storage for Large Objects
Chryssis Georgiou, Nicolas Nicolaou, Andria Trigeorgi
Data availability is one of the most important features in distributed storage systems, made possible by data replication. Nowadays data are generated rapidly and the goal to devel…
Estimating Active Cases of COVID-19
Javier Álvarez, Carlos Baquero, Elisa Cabana +17
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to per…
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou +3
In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which…
Fragmented Objects: Boosting Concurrency of Shared Large Objects
Antonio Fernandez Anta, Chryssis Georgiou, Theophanis Hadjistasi +3
This work examines strategies to handle large shared data objects in distributed storage systems (DSS), while boosting the number of concurrent accesses, maintaining strong consist…
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Oluwasegun Ojo, Augusto García-Agundez, Benjamin Girault +22
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limit…