( en | de | ru )

 

Disambiguierung von "Degano, Pierpaolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Secure and Unfailing Services.

, , und . PaCT, Volume 7979 von Lecture Notes in Computer Science, Seite 167-181. Springer, (2013)

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.

Peter Degano

Pierpaolo Cincilla

 

Weitere Publikationen von Autoren mit dem selben Namen

Cells in Silico: A Holistic Approach., , , und . SFM, Volume 5016 von Lecture Notes in Computer Science, Seite 366-386. Springer, (2008)CCS is an (Augmented) Contact Free C/E System., , und . Mathematical Models for the Semantics of Parallelism, Volume 280 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1986)Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)Causal Trees: Interleaving + Causality., und . Semantics of Systems of Concurrent Processes, Volume 469 von Lecture Notes in Computer Science, Seite 239-255. Springer, (1990)Expressive Models for Synaptic Plasticity., , , und . CMSB, Volume 4695 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2007)Fairness and Priority., und . Fundam. Informaticae, 22 (3): 299-306 (1995)Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)., , und . CoRR, (2020)A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols., , , und . ASIAN, Volume 4846 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2007)Typing Context-Dependent Behavioural Variation, , , und . PLACES, Volume 109 von EPTCS, Seite 28-33. (2012)On Quantitative Security Policies., , und . PaCT, Volume 6873 von Lecture Notes in Computer Science, Seite 23-39. Springer, (2011)