( en | de | ru )

 

Disambiguierung von "Cardelli, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Secrecy and Group Creation.

, , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 365-379. Springer, (2000)

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.

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

Marcello Lucà

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Persistence and Type Abstraction., und . Data Types and Persistence (Appin), Seite 31-41. Springer, (1985)Stochastic Pi-calculus Revisited., und . ICTAC, Volume 8049 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2013)Amber.. Combinators and Functional Programming Languages, Volume 242 von Lecture Notes in Computer Science, Seite 21-47. Springer, (1985)Explicit Substitutions., , , und . POPL, Seite 31-46. ACM Press, (1990)The Formal Language and Design Principles of Autonomous DNA Walker Circuits, , , und . ACS Synth. Biol., (25.04.2016)Reversible structures., und . CMSB, Seite 131-140. ACM, (2011)A Query Language Based on the Ambient Logic., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 1-22. Springer, (2001)On Subtyping and Matching., und . ECOOP, Volume 952 von Lecture Notes in Computer Science, Seite 145-167. Springer, (1995)An Accidental Simula User.. ECOOP, Volume 4609 von Lecture Notes in Computer Science, Seite 201. Springer, (2007)