PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Liquori, Luigi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing the exhaustiveness of the Synapse protocol.

, , , , , und . Peer-to-Peer Networking and Applications, 8 (5): 793-806 (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.

Keine Personen gefunden für den Autorennamen Liquori, Luigi
Eine Person hinzufügen mit dem Namen Liquori, Luigi
 

Weitere Publikationen von Autoren mit dem selben Namen

Comparing Cubes of Typed and Type Assignment Systems., , , und . Ann. Pure Appl. Logic, 86 (3): 267-303 (1997)Intersection-types à la Church., und . Inf. Comput., 205 (9): 1371-1386 (2007)The Delta-calculus: syntax and types., und . CoRR, (2018)An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks., , , und . Networking Workshops, Volume 7291 von Lecture Notes in Computer Science, Seite 10-18. Springer, (2012)Backward-Compatible Cooperation of Heterogeneous P2P Systems., , und . ICDCN, Volume 8314 von Lecture Notes in Computer Science, Seite 287-301. Springer, (2014)A Distributed Catalog for Digitized Cultural Heritage., , , und . ICT Innovations, Volume 83 von Communications in Computer and Information Science, Seite 176-186. (2010)An Extended Theory of Primitive Objects: FIrst Order System.. ECOOP, Volume 1241 von Lecture Notes in Computer Science, Seite 146-169. Springer, (1997)A Decidable Subtyping Logic for Intersection and Union Types., und . TTCS, Volume 10608 von Lecture Notes in Computer Science, Seite 74-90. Springer, (2017)Resource Discovery in the Arigatoni Model., , und . IICS, Volume P-165 von LNI, Seite 437-449. GI, (2010)Pure patterns type systems., , , und . POPL, Seite 250-261. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.