( en | de | ru )

 

Disambiguierung von "Ennals, Robert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond Bug-Finding: Sound Program Analysis for Linux.

, , , , , , , und . HotOS, USENIX Association, (2007)

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.

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)

Robert Zangenfeind

Das Bedeutung-Text-Modell: Wörterbuch und Grammatik einer integralen Sprachbeschreibung. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Safe manual memory management., , und . ISMM, Seite 2-14. ACM, (2007)Verbose Typing.. ICFP, Seite 340. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Multi-language Synchronization., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 475-489. Springer, (2007)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)User-friendly functional programming for web mashups., und . ICFP, Seite 223-234. ACM, (2007)Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.. ICFP, Seite 339. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Optimistic evaluation: an adaptive evaluation strategy for non-strict programs., und . ICFP, Seite 287-298. ACM, (2003)SharC: checking data sharing strategies for multithreaded C., , , und . PLDI, Seite 149-158. ACM, (2008)Adaptive evaluation of non-strict programs.. University of Cambridge, UK, (2004)British Library, EThOS.HsDebug: debugging lazy programs by not being lazy., und . Haskell, Seite 84-87. ACM, (2003)