( en | de | ru )

 

Disambiguation of "Hubert, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Foundations and Inference of Non-null Annotations.

, , and . FMOODS, volume 5051 of Lecture Notes in Computer Science, page 132-149. Springer, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Laurent Herschke

 

Other publications of authors with the same name

Verification of Java Bytecode using Analysis and Transformation of Logic Programs, , , and . CoRR, (2010)Semantic Foundations and Inference of Non-null Annotations., , and . FMOODS, volume 5051 of Lecture Notes in Computer Science, page 132-149. Springer, (2008)Soundly Handling Static Fields: Issues, Semantics and Analysis., and . BYTECODE@ETAPS, volume 253 of Electronic Notes in Theoretical Computer Science, page 15-30. Elsevier, (2009)Soundly Handling Static Fields: Issues, Semantics and Analysis, and . 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, , , , , , , , , and . European Journal of Nuclear Medicine and Molecular Imaging, 37 (8): 1539--1550 (August 2010)PMID: 20437239.Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , and . PADL, volume 4354 of Lecture Notes in Computer Science, page 124-139. Springer, (2007)Public Feedback for Publicly Used Information Systems - Supporting Adoption of a Mobile Self-Checkout Application., , , , and . AMCIS, Association for Information Systems, (2017)Enforcing Secure Object Initialization in Java., , , and . ESORICS, volume 6345 of Lecture Notes in Computer Science, page 101-115. Springer, (2010)A non-null annotation inferencer for Java bytecode.. PASTE, page 36-42. ACM, (2008)