PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Andersen, Flemming"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Analytical Model for Time-Driven Cache Attacks.

, , , und . FSE, Volume 4593 von Lecture Notes in Computer Science, Seite 399-413. Springer, (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.

Daniela Flemming University of Stuttgart

Hon. -Prof. Dr. Ole Andersen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The HOL-UNITY Verification System., , , , und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 795-796. Springer, (1995)Recursive Boolean Functions in HOL., und . TPHOLs, Seite 367-377. IEEE Computer Society, (1991)An Analytical Model for Time-Driven Cache Attacks., , , und . FSE, Volume 4593 von Lecture Notes in Computer Science, Seite 399-413. Springer, (2007)Industrial strength refinement checking., , , und . FMCAD, Seite 180-183. IEEE, (2009)An Abstraction Algorithm for the Verification of Generalized C-Slow Designs., , , , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 5-19. Springer, (2000)Program Verification using HOL-UNITY., , und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1993)A Graphical Tool for Proving Unity Progress., , und . TPHOLs, Volume 859 von Lecture Notes in Computer Science, Seite 17-32. Springer, (1994)Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors., , , , , und . Medical Imaging: Image Processing, Volume 9034 von SPIE Proceedings, Seite 90341M. SPIE, (2014)Combined PET/MR imaging in neurology: MR-based attenuation correction implies a strong spatial bias when ignoring bone., , , , , , , , und . NeuroImage, (2014)A multi-centre evaluation of eleven clinically feasible brain PET/MRI attenuation correction techniques using a large cohort of patients., , , , , , , , , und 18 andere Autor(en). NeuroImage, (2017)