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

Verification of recursive Bitcoin contracts., , , and . CoRR, (2020)A true concurrent model of smart contracts executions., , and . CoRR, (2019)Progress-Preserving Refinements of CTA., , and . CONCUR, volume 118 of LIPIcs, page 40:1-40:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Verifying liquidity of recursive Bitcoin contracts., , , and . Log. Methods Comput. Sci., (2022)On Model-Based Performance Analysis of Collective Adaptive Systems., , , and . ISoLA (3), volume 13703 of Lecture Notes in Computer Science, page 266-282. Springer, (2022)A Sound Up-to-n, δ Bisimilarity for PCTL., , and . COORDINATION, volume 13271 of Lecture Notes in Computer Science, page 35-52. Springer, (2022)A Contract-Oriented Middleware., , , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 86-104. Springer, (2015)A True Concurrent Model of Smart Contracts Executions., , and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 243-260. Springer, (2020)Mergers and shareholder wealth in European banking, and . Journal of Banking & Finance, 24 (6): 831--859 (June 2000)Stock market microstructure and return volatility : Evidence from Italy, , and . Journal of Banking & Finance, 14 (2-3): 423--440 (August 1990)