Name Card

Full name Familienname, Vorname
Albert, Elvira
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Albert, Elvira ; Kovacs, Laura Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)Konferenzband Proceedings 2020
2Rebola Pardo, Adrian ; Weissenbacher, Georg RAT EliminationKonferenzbeitrag Inproceedings 2020
3Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
4Brunthaler, Stefan Virtual-Machine Abstraction and Optimization TechniquesKonferenzbeitrag Inproceedings 2009
5Brunthaler, Stefan Virtual-Machine Abstraction and Optimization TechniquesKonferenzbeitrag Inproceedings 2009