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

Multiparty Session Programming With Global Protocol Combinators., , , and . ECOOP, volume 166 of LIPIcs, page 9:1-9:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications., , , , , , and . CoRR, (2023)Kmclib: Automated Inference and Verification of Session Types from OCaml Programs., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 379-386. Springer, (2022)Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols., , , , , , and . ICSA-C, page 224-230. IEEE, (2023)A Preliminary Analysis of Software Metrics in Decentralised Applications., , , , , , , and . BlockSys, page 27-33. ACM, (2023)An Optimized Concurrent Proof of Authority Consensus Protocol., , , , , , and . SANER, page 874-877. IEEE, (2023)Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions., , , , , and . EASE, page 381-386. ACM, (2024)Using the Lexicon from Source Code to Determine Application Domain., , , , , , , , , and 2 other author(s). EASE, page 110-119. ACM, (2020)Featherweight Scribble., and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 236-259. Springer, (2019)Implementing Multiparty Session Types in Rust., , and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 127-136. Springer, (2020)