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

Marco Faella

University of Naples Federico II

17H指数
94论文数
1.4K被引数
收录论文 3
发表时间
logo
Verifying Linear Temporal Properties on Polyhedral Systems: Decidability and Symbolic Algorithms在多面体系统上验证线性时序属性：可判定性与符号算法
errInformation and Computation
IF1
err2026-06-01
err0
PREAI
errBenerecetti, Massimo; Faella, Marco; Mogavero, Fabio
err分享
err收藏
A new semantics for overriding in description logics
errartificial intelligence review
IF4.6
err2015-05-01
err48
errOAAI
errBonatti, P. A.; Faella, M.; Petrova, I. M.; Sauro, L.
err分享
err收藏
Linear and Branching System Metrics
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err68
errOAAI
errde Alfaro, Luca; Faella, Marco; Stoelinga, Marielle
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Luca de Alfaro
H 指数: 47 · 论文数: 186
M
Mariëlle Stoelinga
H 指数: 35 · 论文数: 289
P
Piero A. Bonatti
H 指数: 34 · 论文数: 184
L
Luigi Sauro
H 指数: 16 · 论文数: 86
M
Massimo Benerecetti
H 指数: 15 · 论文数: 94
查看更多