Abraham, Erika

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Abraham, Erika
 

Own Publications Eigene Publikationen


Filter:
Date Issued:  [2000 TO 2024]

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2020
2Abraham, Erika ; Bekas, Costas ; Brandic, Ivona ; Genaim, Samir ; Johnsen, Einar Broch ; Pllana, Sabri ; Streit, Achim Preparing HPC Applications for Exascale: Challenges and RecommendationsPräsentation Presentation2015

Contributing Publications Mitbeteiligte Publikationen


Filter:
Date Issued:  [2000 TO 2024]

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura Symbolic Computation and Automated Reasoning for Program AnalysisKonferenzbeitrag Inproceedings2016