Autor der Publikation

Analysis of Ethereum Smart Contracts and Opcodes.

, , , , und . AINA, Volume 926 von Advances in Intelligent Systems and Computing, Seite 546-558. Springer, (2019)

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

Formalising and animating multiple instances in BPMN collaborations., , , , und . Inf. Syst., (2022)A formal approach for the analysis of BPMN collaboration models., , , , , und . J. Syst. Softw., (2021)BPMN 2.0 OR-Join Semantics: Global and local characterisation., , , , und . Inf. Syst., (2022)Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , und . Internet Things, (2020)A Symbolic Semantics for a Calculus for Service-Oriented Computing., , und . PLACES@DisCoTec, Volume 241 von Electronic Notes in Theoretical Computer Science, Seite 135-164. Elsevier, (2008)A Purpose-Guided Log Generation Framework., , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2022)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , und . Business Process Management Workshops, Volume 397 von Lecture Notes in Business Information Processing, Seite 108-121. Springer, (2020)Consistent modelling of hierarchical BPMN collaborations., , , , und . Bus. Process. Manag. J., 28 (2): 442-460 (2022)Dynamic SLAs for Clouds., , und . ESOCC, Volume 9846 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2016)Towards a Formal Approach to Mobile Cloud Computing., , , , und . PDP, Seite 743-750. IEEE Computer Society, (2014)