( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Resource Analysis: From Sequential to Concurrent and Distributed Programs.

, , , , , , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Elvira Kraus

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

Elvira Helmer

Elvira Paul

Elvira Loup

Elvira Langbein

 

Другие публикации лиц с тем же именем

Abstract Interpretation with Specialized Definitions., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2006)Symbolic Profiling for Multi-paradigm Declarative Languages., и . LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 148-167. Springer, (2001)Converting One Type-Based Abstract Domain to Another., , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 147-162. Springer, (2005)Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages., , и . LOPSTR (LNCS 2042: Selected Papers), том 2042 из Lecture Notes in Computer Science, стр. 103-124. Springer, (2000)Static Inference of Transmission Data Sizes in Distributed Systems., , , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2014)Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 124-139. Springer, (2007)Abstract Interpretation-Based Mobile Code Certification., , и . ICLP, том 3132 из Lecture Notes in Computer Science, стр. 446-447. Springer, (2004)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , и . LOPSTR, том 10184 из Lecture Notes in Computer Science, стр. 21-37. Springer, (2016)Efficient local unfolding with ancestor stacks., , и . Theory Pract. Log. Program., 11 (1): 1-32 (2011)Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph., , , , и . CoRR, (2020)