Roberta Gori

Identifiers

• name variant Roberta Gori 0.60 · backfill

Papers (4)

1. Systematic Design of Separation Logics cs.LO · 2026 · author #3
2. Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version cs.AI · 2013 · author #3
3. Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version cs.PL · 2004 · author #2
4. Enhancing the expressive power of the U-Datalog language cs.DB · 2004 · author #3

Mentions

• 1308.3847 #3 · backfill · confidence 0.70 Roberta Gori
• 2605.21262 #3 · arxiv_oai · confidence 0.70 Roberta Gori

Frequent Coauthors

• Roberto Bagnara 2 shared papers
• Arnaud Gotlieb 1 shared papers
• Barbara Catania 1 shared papers
• Elisa Bertino 1 shared papers
• Enea Zaffanella 1 shared papers
• Lorenzo Gazzella 1 shared papers
• Matthieu Carlier 1 shared papers
• Patricia M. Hill 1 shared papers
• Roberto Bruni 1 shared papers