( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

, , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Linke

 

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

Abstract Analysis of Universal Properties for tccp., , , и . LOPSTR, том 9527 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2015)A Temporal Differential Dynamic Logic Formal Embedding., , , и . CPP, стр. 162-176. ACM, (2024)An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs., , , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 516-537. Springer, (2018)Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , и . FMAS, том 329 из EPTCS, стр. 23-30. (2020)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , и . FMCAD, стр. 237-246. IEEE, (2023)Eliminating Unstable Tests in Floating-Point Programs., , , и . LOPSTR, том 11408 из Lecture Notes in Computer Science, стр. 169-183. Springer, (2018)Automatic Generation of Guard-Stable Floating-Point Code., , , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2020)An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.. University of Udine, Italy, (2014)A Mixed Real and Floating-Point Solver., , , , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 363-370. Springer, (2019)