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

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)Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft., , and . CoRR, (2018)On Finality in Blockchains., , , and . CoRR, (2020)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)A TLA+ Formal Proof of a Cross-Chain Swap., , , , and . ICDCN, page 148-159. ACM, (2022)Tenderbake - Classical BFT Style Consensus for Public Blockchains., , , , , and . CoRR, (2020)A methodology to design arbitrary failure detectors for distributed protocols., , and . J. Syst. Archit., 54 (7): 619-637 (2008)Correctness and Fairness of Tendermint-core Blockchains., , , and . IACR Cryptology ePrint Archive, (2018)Looking for a Definition of Dynamic Distributed Systems., , , and . PaCT, volume 4671 of Lecture Notes in Computer Science, page 1-14. Springer, (2007)A Fault-Tolerant Sequencer for Timed Asynchronous Systems., , and . Euro-Par, volume 2400 of Lecture Notes in Computer Science, page 578-588. Springer, (2002)