( en | de | ru )

 

Disambiguierung von "Albert, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.

, , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 72-89. Springer, (2015)

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 Strangalies

Elvira Langbein

Elvira Greiner

Elvira Unglehrt

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , und . PADL, Volume 4354 von Lecture Notes in Computer Science, Seite 124-139. Springer, (2007)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , und . LOPSTR, Volume 10184 von Lecture Notes in Computer Science, Seite 21-37. Springer, (2016)Symbolic Profiling for Multi-paradigm Declarative Languages., und . LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2001)Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages., , und . LOPSTR (LNCS 2042: Selected Papers), Volume 2042 von Lecture Notes in Computer Science, Seite 103-124. Springer, (2000)Converting One Type-Based Abstract Domain to Another., , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2005)Abstract Interpretation-Based Mobile Code Certification., , und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 446-447. Springer, (2004)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)