PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tiezzi, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correctness of Service Components and Service Component Ensembles.

, , , , , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)

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 Virgili University of Stuttgart

Francesco Salerno University of Stuttgart

Francesco Cucinotta University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity., , , , , , , , , und 8 andere Autor(en). ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 170-190. Springer, (2008)Towards a Formal Approach to Mobile Cloud Computing., , , , und . PDP, Seite 743-750. IEEE Computer Society, (2014)Reversing Single Sessions., und . RC, Volume 9720 von Lecture Notes in Computer Science, Seite 52-69. Springer, (2016)Trust-Based Enforcement of Security Policies., , , , , und . TGC, Volume 8902 von Lecture Notes in Computer Science, Seite 176-191. Springer, (2014)Correctness of Service Components and Service Component Ensembles., , , , , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Blind-date Conversation Joining., , und . WWV, Volume 123 von EPTCS, Seite 3-18. (2013)A Calculus for Orchestration of Web Services., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 33-47. Springer, (2007)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)Reputation-Based Cooperation in the Clouds., , , , und . IFIPTM, Volume 430 von IFIP Advances in Information and Communication Technology, Seite 213-220. Springer, (2014)