Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Roberta Gori
Map detail
Roberta Gori5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipRoberta GoriARoberta GoriResearcherA Practical Approach to Interval Refinement for math.h/cmath FunctionsWA Practical Approach to...preprint / 2020Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged VersionWExploiting Binary Float...preprint / 2015A Taxonomy of Causality-Based Biological PropertiesWA Taxonomy of Causality...preprint / 2010Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program VerificationWCorrect Approximation o...preprint / 2021
Person4 links

Roberta Gori

Researcher