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

Zvonimir Marelja

Zvonimir Pavlinic

Zvonimir Grobenski

Zvonimir S̄arié

Zvonimir Vidic

 

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

Verifying Relative Safety, Accuracy, and Termination for Program Approximations., , и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 237-254. Springer, (2016)A Scalable Memory Model for Low-Level Code., и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 290-304. Springer, (2009)Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)., , , и . Dagstuhl Reports, 7 (8): 74-101 (2017)SMACK software verification toolchain., , , , и . ICSE (Companion Volume), стр. 589-592. ACM, (2016)Pruners., , , , , , , , , и 2 other автор(ы). Int. J. High Perform. Comput. Appl., (2019)An SMT Theory of Fixed-Point Arithmetic., , , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 13-31. Springer, (2020)Testing Dafny (experience paper)., , , , и . ISSTA, стр. 556-567. ACM, (2022)Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions., , , , , и . ACM Trans. Program. Lang. Syst., 41 (1): 2:1-2:39 (2019)Asynchronously Communicating Visibly Pushdown Systems., и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 225-241. Springer, (2013)Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding., , , и . NASA Formal Methods, том 7871 из Lecture Notes in Computer Science, стр. 213-228. Springer, (2013)