Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Abraham, Erika
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Publications
Publikationen
Projects
APIs
Name Card
Full name
Familienname, Vorname
Abraham, Erika
Own Publications
Eigene Publikationen
(All)
All
Conference Papers
Show/Hide filters
Author
1
Kovács, Laura
Date issued
1
2000 - 2024
Close filters
Results 1-2 of 2 (Search time: 0.002 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Abraham, Erika
; Bartocci, Ezio
; Bonakdarpour, Borzoo
; Dobe, Oyendrila
Parameter Synthesis for Probabilistic Hyperproperties
Konferenzbeitrag
Inproceedings
2020
2
Abraham, Erika
; Bekas, Costas
; Brandic, Ivona
; Genaim, Samir
; Johnsen, Einar Broch
; Pllana, Sabri
; Streit, Achim
Preparing HPC Applications for Exascale: Challenges and Recommendations
Präsentation
Presentation
2015
Contributing Publications
Mitbeteiligte Publikationen
(All)
All
Conference Papers
Show/Hide filters
Author
1
Kovács, Laura
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.002 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Kovács, Laura
Symbolic Computation and Automated Reasoning for Program Analysis
Konferenzbeitrag
Inproceedings
2016
Claim Researcher Page
Contact via feedback form
If you want contact administrator site clicking the follow button