Statistics
Publications
20
Citations
475
H-Index
14
Active since
1999
Roberta Gori is an author at University of Pisa specializing in computer science, computing, and formal methods.
Publications per year
1999–2023
20
20
Roberto Barbuti, Roberta Gori, Paolo Milazzo et al. · Journal of Membrane Computing · 2020 · 82 citations · Full text
Investigating dynamic causalities in reaction systems
Roberto Barbuti, Roberta Gori, Francesca Levi et al. · Theoretical Computer Science · 2015 · 49 citations · Full text
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Roberto Bagnara, Matthieu Carlier, Roberta Gori et al. · 2013 · 38 citations
A Logic for Locally Complete Abstract Interpretations
Roberto Bruni, Roberto Giacobazzi, Roberta Gori et al. · 2021 · 35 citations · Full text
A Correctness and Incorrectness Program Logic
Roberto Bruni, Roberto Giacobazzi, Roberta Gori et al. · Journal of the ACM · 2023 · 31 citations · Full text
1–5 of 20