( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Profiling for Multi-paradigm Declarative Languages.

, и . LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 148-167. Springer, (2001)

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 Greiner

Elvira Strangalies

Elvira Langbein

Elvira Ducke

 

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

Abstraction-Carrying Code: a Model for Mobile Code Safety., , и . New Generation Comput., 26 (2): 171-204 (2008)May-Happen-in-Parallel Analysis for Actor-Based Concurrency., , , и . ACM Trans. Comput. Log., 17 (2): 11 (2016)Some Issues on Incremental Abstraction-Carrying Code, , и . CoRR, (2007)Incremental resource usage analysis., , , и . PEPM, стр. 25-34. ACM, (2012)Static Inference of Transmission Data Sizes in Distributed Systems., , , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2014)Abstract Interpretation with Specialized Definitions., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2006)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)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)