IMDEA Networks
User Publications
Formalizing Distributed Ledger Objects
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou
The 1st Workshop on Storage, Control, Networking in Dynamic Systems (SCNDS 2017), in conjunction with the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017). Boston, MA, USA. November 2017
Computationally Light “Multi-Speed” Atomic Memory
Antonio Fernández Anta, Theophanis Hadjistasi, Nicolas Nicolaou
The 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Madrid, Spain. December 2016
Evaluating Reliability Techniques in the Master-Worker Paradigm
Evgenia Christoforou, Antonio Fernández Anta, Kishori Konwar, Nicolas Nicolaou
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016). Boston, Cambridge, Massachusetts, USA. October 2016
CoVer-ability: Consistent Versioning in Asynchronous, Fail-Prone, Message-Passing Environments
Nicolas Nicolaou, Antonio Fernández Anta, Chryssis Georgiou
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016). Boston, Cambridge, Massachusetts, USA. October 2016
Brief Announcement: Oh-RAM! One and a Half Round Read/Write Atomic Memory (Other)
Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
The 35th Annual ACM Symposium on Principles of Distributed Computing (ACM PODC 2016). Chicago, Illinois, USA. July 2016
Making "Fast" Atomic Operations Computationally Tractable
Antonio Fernández Anta, Nicolas Nicolaou, Alexandru Popa
The 19th International Conference On Principles of Distributed Systems (OPODIS 2015). Rennes, France. December 2015