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

Nicoletta De Francesco

University of Pisa

14H指数
58论文数
576被引数
收录论文 4
发表时间
logo
Model checking for malicious family detection and phylogenetic analysis in mobile environment移动环境下恶意家族检测与系统发育分析的模型检测
errCOMPUTERS & SECURITY
IF5.4
err2020-03-01
err29
PREAI
errCimino, Mario G. C. A.; De Francesco, Nicoletta; Mercaldo, Francesco; Santone, Antonella; Vaglini, Gigliola
err分享
err收藏
Design and simulation of the emergent behavior of small drones swarming for distributed target localization
errnature computational science
IF3.7
err2018-11-01
err32
errOAAI
errAlfeo, Antonio L.; Cimino, Mario G. C. A.; De Francesco, Nicoletta; Lega, Massimiliano; Vaglini, Gigliola
err分享
err收藏
GreASE: A Tool for Efficient Nonequivalence Checking
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2014-06-02
err19
PREAI
errde Francesco, Nicoletta; Lettieri, Giuseppe; Santone, Antonella; Vaglini, Gigliola
err分享
err收藏
JCSI: A tool for checking secure information flow in Java Card applicationsJCSI: 用于检查Java卡应用程序中安全信息流的工具
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2012-11-01
err13
PREAI
errAvvenuti, Marco; Bernardeschi, Cinzia; De Francesco, Nicoletta; Masci, Paolo
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Francesco Mercaldo
H 指数: 44 · 论文数: 371
A
Antonella Santone
H 指数: 37 · 论文数: 374
M
Marco Avvenuti
H 指数: 29 · 论文数: 138
M
Mario G. C. A. Cimino
H 指数: 25 · 论文数: 181
G
Gigliola Vaglini
H 指数: 23 · 论文数: 136
查看更多