( en | de | ru )

 

Disambiguierung von "Albert, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.

, , , , , und . Proc. ACM Program. Lang., 8 (PLDI): 1437-1462 (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Elvira Kraus

10-Jahres-Katamnese bei Alkoholkranken unter besonderer Berücksichtigung der Frauen. Uni Tübingen, (2009)

Elvira Greiner

Elvira Strangalies

Elvira Langbein

Elvira Unglehrt

 

Weitere Publikationen von Autoren mit dem selben Namen

A Deterministic Operational Semantics for Functional Logic Programs., , , , und . APPIA-GULP-PRODE, Seite 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)On the Generation of Initial Contexts for Effective Deadlock Detection., , und . CoRR, (2017)Peak Cost Analysis of Distributed Systems., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2014)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , und . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)Distilling Constraints in Zero-Knowledge Protocols., , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 430-443. Springer, (2022)SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools., , , , , , , , und . STAF Workshops, Volume 10748 von Lecture Notes in Computer Science, Seite 367-374. Springer, (2017)Termination and Cost Analysis of Loops with Concurrent Interleavings., , , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 349-364. Springer, (2013)Test Case Generation of Actor Systems., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 259-275. Springer, (2015)Test Data Generation of Bytecode by CLP Partial Evaluation., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 4-23. Springer, (2008)Symbolic Execution of Concurrent Objects in CLP., , und . PADL, Volume 7149 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2012)