logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Roberta Gori

university of pisa

16H-index
102Paper Count
753Citation Count
Published Papers 5
Publication Date
logo
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errAscari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea
errShare
errSave
The Preface
errNATURAL COMPUTING
IF1.6
err2025-10-01
err0
PREAI
errBrodo, Linda; Gori, Roberta; Milazzo, Paolo; Petre, Ion
errShare
errSave
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks
errNATURAL COMPUTING
IF1.6
err2025-09-01
err0
errOAAI
errBrodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
errShare
errSave
A Practical Approach to Verification of Floating-Point C/C plus plus Programs with math.h/cmath Functions
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-12-31
err1
errOAAI
errBagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
errShare
errSave
Characterization and computation of ancestors in reaction systems
errSOFT COMPUTING
IF2.5
err2020-09-07
err3
errOAAI
errBarbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Roberto Bruni
H-index: 29 · Papers: 239
R
Roberto Barbuti
H-index: 24 · Papers: 143
R
Roberto Bagnara
H-index: 23 · Papers: 108
I
Ion Petre
H-index: 22 · Papers: 196
M
Moreno Falaschi
H-index: 22 · Papers: 141
View more