( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Java Bytecode using Analysis and Transformation of Logic Programs

, , , и . CoRR, (2010)

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.

Laurent Bartholdi

Laurent Ntahuga

Laurent Herschke

Thomas Laurent

Thomas Laurent

 

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

Verification of Java Bytecode using Analysis and Transformation of Logic Programs, , , и . CoRR, (2010)Semantic Foundations and Inference of Non-null Annotations., , и . FMOODS, том 5051 из Lecture Notes in Computer Science, стр. 132-149. Springer, (2008)Soundly Handling Static Fields: Issues, Semantics and Analysis., и . BYTECODE@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 15-30. Elsevier, (2009)Soundly Handling Static Fields: Issues, Semantics and Analysis, и . CoRR, (2010)A Non-Null Annotation Inferencer for Java Bytecode. CoRR, (2010)Image-derived input function in dynamic human PET/CT: methodology and validation with 11C-acetate and 18F-fluorothioheptadecanoic acid in muscle and 18F-fluorodeoxyglucose in brain, , , , , , , , , и . European Journal of Nuclear Medicine and Molecular Imaging, 37 (8): 1539--1550 (августа 2010)PMID: 20437239.Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 124-139. Springer, (2007)A non-null annotation inferencer for Java bytecode.. PASTE, стр. 36-42. ACM, (2008)Public Feedback for Publicly Used Information Systems - Supporting Adoption of a Mobile Self-Checkout Application., , , , и . AMCIS, Association for Information Systems, (2017)Enforcing Secure Object Initialization in Java., , , и . ESORICS, том 6345 из Lecture Notes in Computer Science, стр. 101-115. Springer, (2010)