Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Correctness and Fairness of Tendermint-core Blockchains., , , and . IACR Cryptology ePrint Archive, (2018)Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft., , and . CoRR, (2018)An Implementation of Causal Memories using the Writing Semantic., , , and . OPODIS, volume 3 of Studia Informatica Universalis, page 41-50. Suger, Saint-Denis, rue Catulienne, France, (2002)Looking for a Definition of Dynamic Distributed Systems., , , and . PaCT, volume 4671 of Lecture Notes in Computer Science, page 1-14. Springer, (2007)A methodology to design arbitrary failure detectors for distributed protocols., , and . J. Syst. Archit., 54 (7): 619-637 (2008)Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures., , , , and . Autom. Softw. Eng., 26 (1): 1-57 (2019)On Finality in Blockchains., , , and . CoRR, (2020)A Fault-Tolerant Sequencer for Timed Asynchronous Systems., , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 578-588. Springer, (2002)Connectivity in Eventually Quiescent Dynamic Distributed Systems., and . LADC, volume 4746 of Lecture Notes in Computer Science, page 38-56. Springer, (2007)TERA: topic-based event routing for peer-to-peer architectures, , , , and . DEBS '07: Proceedings of the 2007 inaugural international conference on Distributed event-based systems, page 2--13. New York, NY, USA, ACM, (2007)