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

Engineering Smart Contracts with Symboleo: A Progress Report., , , , , , , , , and 1 other author(s). CASCON, page 235-237. ACM, (2023)Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo., , , , and . ER, volume 12400 of Lecture Notes in Computer Science, page 271-285. Springer, (2020)Specification and analysis of legal contracts with Symboleo., , , , , , , and . Softw. Syst. Model., 21 (6): 2395-2427 (2022)Social Requirements Models for Services., , , , and . Next-Gen Digital Services, volume 12521 of Lecture Notes in Computer Science, page 100-108. Springer, (2021)Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain., , , and . PST, page 1-5. IEEE, (2023)Social Dependence Relationships in Requirements Engineering., , , , and . iStar, volume 2641 of CEUR Workshop Proceedings, page 55-60. CEUR-WS.org, (2020)Symboleo: Towards a Specification Language for Legal Contracts., , , , and . RE, page 364-369. IEEE, (2020)Symboleo2SC: from legal contract specifications to smart contracts., , , , , , and . MoDELS, page 300-310. ACM, (2022)Towards the Specification and Verification of Legal Contracts.. RE, page 445-450. IEEE, (2020)BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management., , , , , and . SVCC, volume 1383 of Communications in Computer and Information Science, page 134-147. Springer, (2020)