TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Mazaheri, Arya (2022):
Performance engineering of data-intensive applications. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00021078,
[Ph.D. Thesis]

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

This list was generated on Tue Sep 27 04:49:57 2022 CEST.