( en | de | ru )

 

Disambiguierung von "Albert, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Profiling for Multi-paradigm Declarative Languages.

, und . LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2001)

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 Ducke

 

Weitere Publikationen von Autoren mit dem selben Namen

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode., , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 513-520. Springer, (2018)Efficient local unfolding with ancestor stacks., , und . Theory Pract. Log. Program., 11 (1): 1-32 (2011)Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph., , , , und . CoRR, (2020)List-Processing Optimizations in a Multi-Paradigm Declarative Language., , , und . WFLP, Seite 184-194. (2000)Polygenetic Partial Evaluation of Lazy Functional Logic Programs., , , , und . APPIA-GULP-PRODE, Seite 151-164. (1998)Abstraction-Carrying Code: a Model for Mobile Code Safety., , und . New Generation Comput., 26 (2): 171-204 (2008)Some Issues on Incremental Abstraction-Carrying Code, , und . CoRR, (2007)Incremental resource usage analysis., , , und . PEPM, Seite 25-34. ACM, (2012)Abstract Interpretation with Specialized Definitions., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 107-126. Springer, (2006)Static Inference of Transmission Data Sizes in Distributed Systems., , , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2014)