Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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