search result

Cover von A Modular Analysis of the Fujisaki-Okamoto Transformation
article in TCC 2017 : Theory of Cryptography : pp 341-371
Search for this author
Year: 2017
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 10677 : article
Media group: ARTICLE
Cover von Modeling, Analysis, and Visualization of Anisotropy
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Using Flickr for Characterizing the Environment: An Exploratory Analysis

Using Flickr for Characterizing the Environment: An Exploratory Analysis

Year: 2017
Media group: LIPIcs
Cover von Fetal, Infant and Ophthalmic Medical Image Analysis
International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10554
Media group: MONOGRAPHIE
Cover von Write-Back Caches in WCET Analysis

Write-Back Caches in WCET Analysis

Year: 2017
Media group: LIPIcs
Cover von Mailbox Abstractions for Static Analysis of Actor Programs

Mailbox Abstractions for Static Analysis of Actor Programs

Year: 2017
Media group: LIPIcs
Cover von Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Year: 2017
Media group: LIPIcs
Cover von Worst-Case Execution Time Analysis of Predicated Architectures

Worst-Case Execution Time Analysis of Predicated Architectures

Year: 2017
Media group: OASICS
Cover von Topological Methods in Data Analysis and Visualization IV
Theory, Algorithms, and Applications
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 10205
Media group: MONOGRAPHIE
OPEN V 11.1.0.0