( 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

Dynamic Typing in a Statically Typed Language, , , und . ACM Transactions on Programming Languages and Systems, 13 (2): 237--268 (April 1991)Foundations for Wide-Area Systems (Tutorial).. FMOODS, Volume 139 von IFIP Conference Proceedings, Kluwer, (1999)An Interpretation of Objects and Object Types., , und . POPL, Seite 396-409. ACM Press, (1996)Biological Systems as Reactive Systems.. ICTCS, Volume 3701 von Lecture Notes in Computer Science, Seite 21. Springer, (2005)A Compositional Approach to the Stochastic Dynamics of Gene Networks.. CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 4. Springer, (2005)The Amber Machine.. Combinators and Functional Programming Languages, Volume 242 von Lecture Notes in Computer Science, Seite 48-70. Springer, (1985)Preface., , und . Computation, Meaning, and Logic, Volume 172 von Electronic Notes in Theoretical Computer Science, Seite 1-4. Elsevier, (2007)Safety Guarantees for Iterative Predictions with Gaussian Processes., , , , , , , und . CDC, Seite 3187-3193. IEEE, (2020)Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society., , , , und . IFDaD, Volume 2781 von CEUR Workshop Proceedings, Seite 51-60. CEUR-WS.org, (2020)Safety Guarantees for Planning Based on Iterative Gaussian Processes., , , , , , , und . CoRR, (2019)