( en | de | ru )

 

Disambiguierung von "Ancona, Davide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Runtime Verification Approach for Internet of Things Systems.

, , , , , und . ICWE Workshops, Volume 11153 von Lecture Notes in Computer Science, Seite 83-96. Springer, (2018)

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.

Davide Pennino

Davide Cadamuro

Davide Cantoni

Davide Batic

Davide Pagani

 

Weitere Publikationen von Autoren mit dem selben Namen

Decentralizing MAS Monitoring with DecAMon., , und . AAMAS, Seite 239-248. ACM, (2017)A three-valued type system for true positives detection in Java-like languages., und . FTfJP@ECOOP, Seite 1:1-1:7. ACM, (2015)Safe corecursion in coFJ., und . FTfJP@ECOOP, Seite 2:1-2:7. ACM, (2013)Towards a model of corecursion with default., , und . FTfJP@ECOOP, Seite 9. ACM, (2016)Coinductive big-step operational semantics for type soundness of Java-like languages.. FTfJP@ECOOP, Seite 5:1-5:6. ACM, (2011)Ontology-based documentation extraction for semi-automatic migration of Java code., , und . SAC, Seite 1137-1143. ACM, (2012)A Theoretical Perspective of Coinductive Logic Programming., und . Fundam. Informaticae, 140 (3-4): 221-246 (2015)A calculus of module systems., und . J. Funct. Program., 12 (2): 91-132 (2002)A Formal Framework for Modules with State., und . AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 148-162. Springer, (1996)Type safe incremental rebinding., , und . Math. Struct. Comput. Sci., 27 (2): 94-122 (2017)