( en | de | ru )

 

Disambiguierung von "Cardelli, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.

, , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 310-328. (2017)

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 Haiberger

 

Weitere Publikationen von Autoren mit dem selben Namen

An Interpretation of Objects and Object Types., , und . POPL, Seite 396-409. ACM Press, (1996)Safety Guarantees for Planning Based on Iterative Gaussian Processes., , , , , , , und . CoRR, (2019)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)Two-Dimensional Syntax for Functional Languages.. ECICS, Seite 139-151. North-Holland, (1982)Biological Systems as Reactive Systems.. ICTCS, Volume 3701 von Lecture Notes in Computer Science, Seite 21. Springer, (2005)An Imperative Object Calculus., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 471-485. Springer, (1995)Real Time Agents.. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 94-106. Springer, (1982)Wide-Area Languages.. Mobile Agents, Volume 1477 von Lecture Notes in Computer Science, Seite 208. Springer, (1998)