( en | de | ru )

 

Disambiguierung von "Tiezzi, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.

, , , , , und . ACM Trans. Manag. Inf. Syst., 13 (3): 31:1-31:53 (2022)

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.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Pinosa

Francesco Solimena

Francesco Knechtli

Francesco Virili

 

Weitere Publikationen von Autoren mit dem selben Namen

Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , und . Internet Things, (2020)A Methodology for the Analysis of Robotic Systems via Process Mining., , , , und . EDOC, Volume 14367 von Lecture Notes in Computer Science, Seite 117-133. Springer, (2023)A Calculus for Orchestration of Web Services., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 33-47. Springer, (2007)BProVe: tool support for business process verification., , , , , und . ASE, Seite 937-942. IEEE Computer Society, (2017)Formalising Adaptation Patterns for Autonomic Ensembles., , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 100-118. Springer, (2013)A Formal Account of WS-BPEL., , und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 199-215. Springer, (2008)A WSDL-Based Type System for WS-BPEL., , und . COORDINATION, Volume 4038 von Lecture Notes in Computer Science, Seite 145-163. Springer, (2006)Reversing Single Sessions., und . RC, Volume 9720 von Lecture Notes in Computer Science, Seite 52-69. Springer, (2016)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)