( en | de | ru )

 

Disambiguierung von "Tomb, Aaron"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic type inference via partial evaluation.

, und . PPDP, Seite 106-116. ACM, (2005)

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.

Kurt Aaron

Siegfried Aaron

Else Aaron

Gerd Tomberger

Corinna Tomberger

 

Weitere Publikationen von Autoren mit dem selben Namen

Continuous Formal Verification of Amazon s2n., , , , , , , , , und 2 andere Autor(en). CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 430-446. Springer, (2018)Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion., , , , , und . PPREW@ACSAC, Seite 4:1-4:10. ACM, (2014)SAW: the software analysis workbench., , , , und . HILT, Seite 15-18. ACM, (2013)Detecting inconsistencies via universal reachability analysis., und . ISSTA, Seite 287-297. ACM, (2012)Space-efficient gradual typing., , und . High. Order Symb. Comput., 23 (2): 167-189 (2010)Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System., , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 413-429. Springer, (2018)TrackOS: A Security-Aware Real-Time Operating System., , , , und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 302-317. Springer, (2016)Symbolic Testing for C and Rust., , und . SecDev, Seite 33. IEEE, (2020)Variably interprocedural program analysis for runtime error detection., , und . ISSTA, Seite 97-107. ACM, (2007)Automatic type inference via partial evaluation., und . PPDP, Seite 106-116. ACM, (2005)