( en | de | ru )

 

Disambiguierung von "Albert, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstraction-Carrying Code: a Model for Mobile Code Safety.

, , und . New Generation Comput., 26 (2): 171-204 (2008)

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 Langbein

Elvira Unglehrt

Elvira Ducke

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Generation of Initial Contexts for Effective Deadlock Detection., , und . CoRR, (2017)A Deterministic Operational Semantics for Functional Logic Programs., , , , und . APPIA-GULP-PRODE, Seite 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)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)Certified Abstract Cost Analysis., , , und . FASE, Volume 12649 von Lecture Notes in Computer Science, Seite 24-45. Springer, (2021)Test Data Generation of Bytecode by CLP Partial Evaluation., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 4-23. Springer, (2008)Peak Cost Analysis of Distributed Systems., , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2014)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)