( 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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

Towards a Formal Safety Framework for Trajectories., и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 179-184. Springer, (2018)Automatic inference of specifications using matching logic., , и . PEPM, стр. 127-136. ACM, (2013)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 Generation of Guard-Stable Floating-Point Code., , , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2020)Eliminating Unstable Tests in Floating-Point Programs., , , и . LOPSTR, том 11408 из Lecture Notes in Computer Science, стр. 169-183. Springer, (2018)Boosting the Reuse of Formal Specifications., , , и . ITP, том 10895 из Lecture Notes in Computer Science, стр. 477-494. Springer, (2018)Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study., , и . SPIN, стр. 94-97. ACM, (2017)The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages., , , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 144-153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)A Mixed Real and Floating-Point Solver., , , , , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 363-370. Springer, (2019)Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm., , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 21-37. Springer, (2019)