( en | de | ru )

 

Disambiguierung von "Degano, Pierpaolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Playing with Our CAT and Communication-Centric Applications.

, , , und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 62-73. Springer, (2016)

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

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)., , und . CoRR, (2020)Fairness and Priority., und . Fundam. Informaticae, 22 (3): 299-306 (1995)Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty., , und . Protocols, Strands, and Logic, Volume 13066 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2021)A Formal Analysis of Complex Type Flaw Attacks on Security Protocols., , und . AMAST, Volume 5140 von Lecture Notes in Computer Science, Seite 167-183. Springer, (2008)Toward an Inductionless Technique for Proving Properties of Logic Programs., , und . ICLP, Seite 175-181. ADDP-GIA, (1982)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)Debits and Credits in Petri Nets and Linear Logic., , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2015)Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)Cells in Silico: A Holistic Approach., , , und . SFM, Volume 5016 von Lecture Notes in Computer Science, Seite 366-386. Springer, (2008)