( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Mixed Real and Floating-Point Solver.

, , , , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 363-370. Springer, (2019)

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.

Mariano Zelke

Artur Mariano

Mariano Bona

Mariano Domingo

Mariano Cadoni

 

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

Towards a Formal Safety Framework for Trajectories., и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 179-184. Springer, (2018)Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 587-601. Springer, (2007)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , и . FMCAD, стр. 237-246. IEEE, (2023)A Formal Analysis of the Compact Position Reporting Algorithm., , , и . VSTTE, том 10712 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2017)A Mixed Real and Floating-Point Solver., , , , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 363-370. Springer, (2019)Affine Arithmetic and Applications to Real-Number Proving., , и . ITP, том 9236 из Lecture Notes in Computer Science, стр. 294-309. Springer, (2015)Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm., , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 21-37. Springer, (2019)Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements., , и . ICTAC, том 6255 из Lecture Notes in Computer Science, стр. 275-289. Springer, (2010)Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)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)