PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Darulova, Eva"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction to the Special Issue on Approximate Systems.

, , , and . ACM Trans. Design Autom. Electr. Syst., 27 (2): 10:1-10:2 (2022)

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.

Eva Zimmermann University of Stuttgart

Eva Begemann University of Stuttgart

Eva Fric University of Stuttgart

Eva Bender University of Stuttgart

Eva Hartlieb University of Stuttgart

 

Other publications of authors with the same name

Sound compilation of reals., and . POPL, page 235-248. ACM, (2014)Precise but Natural Specification for Robot Tasks., , , and . CoRR, (2018)A Verified Certificate Checker for Floating-Point Error Bounds., , and . CoRR, (2017)Sound mixed-precision optimization with rewriting., , and . ICCPS, page 208-219. IEEE Computer Society / ACM, (2018)Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions., , and . FM, volume 11800 of Lecture Notes in Computer Science, page 38-44. Springer, (2019)Lassie: HOL4 tactics by example., , , , and . CPP, page 212-223. ACM, (2021)Sound Approximation of Programs with Elementary Functions., and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 174-183. Springer, (2019)Combining Tools for Optimization and Analysis of Floating-Point Computations., , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 355-363. Springer, (2018)Certifying Solutions for Numerical Constraints., and . RV, volume 7687 of Lecture Notes in Computer Science, page 277-291. Springer, (2012)Trustworthy numerical computation in Scala., and . OOPSLA, page 325-344. ACM, (2011)