( 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

Luca Criscuolo

 

Weitere Publikationen von Autoren mit dem selben Namen

Typeful Programming.. Formal Description of Programming Concepts, Seite 431-. Springer, (1989)Equational Properties Of Mobile Ambients., und . Math. Struct. Comput. Sci., 13 (3): 371-408 (2003)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Logical Properties of Name Restriction., und . TLCA, Volume 2044 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2001)Forward and Backward Bisimulations for Chemical Reaction Networks., , , und . CONCUR, Volume 42 von LIPIcs, Seite 226-239. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Integrated scientific modeling and lab automation (keynote).. SPLASH (Companion), Seite 1. ACM, (2021)Semistructured Computation.. DBPL, Volume 1949 von Lecture Notes in Computer Science, Seite 1-16. Springer, (1999)Termination Problems in Chemical Kinetics., und . CONCUR, Volume 5201 von Lecture Notes in Computer Science, Seite 477-491. Springer, (2008)Operations on Records., und . Mathematical Foundations of Programming Semantics, Volume 442 von Lecture Notes in Computer Science, Seite 22-52. Springer, (1989)Operations in Records., und . Category Theory and Computer Science, Volume 389 von Lecture Notes in Computer Science, Seite 75-81. Springer, (1989)