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

Roberto Giacobazzi

university of verona

29H指数
175论文数
2.6K被引数
收录论文 4
发表时间
logo
A Logic for the Imprecision of Abstract InterpretationsCampion, M.; Dalla Preda, M.; Giacobazzi, R.; Urban, C. 一种用于抽象解释不精确性的逻辑。Proc. ACM Program. Lang. 2026, 10, 1876–1904. [Google Scholar] [CrossRef]
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errCampion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina
err分享
err收藏
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2018-02-05
err18
PREAI
errGiacobazzi, Roberto; Mastroeni, Isabella
err分享
err收藏
Toward Digital Asset Protection
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2011-11-01
err26
PREAI
errCollberg, Christian; Davidson, Jack; Giacobazzi, Roberto; Gu, Yuan Xiang; Herzberg, Amir; Wang, Fei-Yue
err分享
err收藏
A unifying view of abstract domain design
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err50
errOAAI
errFile, G; Giacobazzi, R; Ranzato, F
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Fei‐Yue Wang
H 指数: 103 · 论文数: 1.8K
A
Amir Herzberg
H 指数: 38 · 论文数: 218
J
Jack W. Davidson
H 指数: 38 · 论文数: 234
C
Christian Collberg
H 指数: 32 · 论文数: 88
F
Francesco Ranzato
H 指数: 22 · 论文数: 121
查看更多