logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Roberta Gori

university of pisa

16H指数
102论文数
753被引数
收录论文 5
发表时间
logo
U-Turn: Enhancing Incorrectness Analysis by Reversing DirectionU-Turn：通过反向增强错误分析
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errAscari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea
err分享
err收藏
The Preface
errNATURAL COMPUTING
IF1.6
err2025-10-01
err0
PREAI
errBrodo, Linda; Gori, Roberta; Milazzo, Paolo; Petre, Ion
err分享
err收藏
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
err分享
err收藏
A Practical Approach to Verification of Floating-Point C/C plus plus Programs with math.h/cmath Functions用math.h/cmath函数验证浮点C/C plus程序的实用方法
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-12-31
err1
errOAAI
errBagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Roberto Bruni
H 指数: 29 · 论文数: 239
R
Roberto Barbuti
H 指数: 24 · 论文数: 143
R
Roberto Bagnara
H 指数: 23 · 论文数: 108
I
Ion Petre
H 指数: 22 · 论文数: 196
M
Moreno Falaschi
H 指数: 22 · 论文数: 141
查看更多