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

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain., , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 584-598. Springer, (2020)Verified Lustre Normalization with Node Subsampling., , , and . ACM Trans. Embed. Comput. Syst., 20 (5s): 98:1-98:25 (2021)Programming microcontrollers through high-level abstractions: The OMicroB project., , , and . J. Comput. Lang., (November 2023)Verified Compilation of Synchronous Dataflow with State Machines., , and . ACM Trans. Embed. Comput. Syst., 22 (5s): 137:1-137:26 (October 2023)Making Tezos Smart Contracts More Reliable with Coq., , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 60-72. Springer, (2020)Programming microcontrollers through high-level abstractions., , , and . VMIL@SPLASH, page 5-14. ACM, (2020)Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts., , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 368-379. Springer, (2019)Making Tezos smart contracts more reliable with Coq., , , , , and . CoRR, (2021)