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

Isabella Mastroeni

university of verona

17H指数
104论文数
710被引数
收录论文 5
发表时间
logo
Challenges in Quantum Programs Analysis量子程序分析的挑战
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-03-01
err1
PREAI
errAssolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella
err分享
err收藏
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation基于抽象解释的保密性验证：通过抽象解释实现信息隐藏和代码保护
errACM Transactions on Privacy and Security
IF2.8
err2026-02-01
err0
PREAI
errMastroeni, Isabella; Pasqua, Michele
err分享
err收藏
Relating Distances and Abstractions An Abstract Interpretation Perspective从抽象解释的角度探讨距离与抽象的关系
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err1
PREAI
errCampion, Marco; Mastroeni, Isabella; Urban, Caterina
err分享
err收藏
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2021-01-21
err9
PREAI
errArceri, Vincenzo; Mastroeni, Isabella
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收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Roberto Giacobazzi
H 指数: 29 · 论文数: 175
M
Michele Pasqua
H 指数: 11 · 论文数: 44
C
Caterina Urban
H 指数: 11 · 论文数: 66
V
Vincenzo Arceri
H 指数: 8 · 论文数: 43
M
Marco Campion
H 指数: 4 · 论文数: 11
查看更多