Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

V: a language with extensible record accessors and a trait-based type system., , und . RITA, 25 (3): 89-101 (2018)Using software invariants for dynamic detection of transient errors., , , und . LATW, Seite 1-6. IEEE, (2009)A Query Language for a Versioned Object Oriented Database., , , und . SBBD, Seite 72-86. UFSC, (2006)Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations., , , und . SBESC, Seite 43-48. IEEE Computer Society, (2012)System Level Hardening by Computing with Matrices., , und . DSD, Seite 373-379. IEEE Computer Society, (2010)Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic., , und . ECAI, Volume 392 von Frontiers in Artificial Intelligence and Applications, Seite 1278-1284. IOS Press, (2024)CXPath: a Query Language for Conceptual Models of Integrated XML Data., , , , und . SEKE, Seite 592-. Knowledge Systems Institute Graduate School, (2007)EPE-Mobile - A framework for early performance estimation of mobile applications., , und . Softw. Pract. Exp., 48 (1): 85-104 (2018)Invariant checkers: An efficient low cost technique for run-time transient errors detection., , , und . IOLTS, Seite 35-40. IEEE Computer Society, (2009)Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing., , , , und . DSN, Seite 538-549. IEEE Computer Society, (2014)