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

Bruno Dutertre

amazon.com

26H指数
72论文数
3.1K被引数
收录论文 3
发表时间
logo
Generating and Exploiting Automated Reasoning Proof Certificates
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-09-22
err3
PREAI
errBarbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni
err分享
err收藏
Using model checking to assess the dependability of agent-based systems
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2004-09-01
err4
PREAI
errRiemenschneider, RA; Saïdi, H; Dutertre, B
err分享
err收藏
Formal requirements analysis of an avionics control system航空电子控制系统的形式化需求分析
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1997-05-01
err25
PREAI
errDutertre, B; Stavridou, V
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Clark Barrett
H 指数: 42 · 论文数: 290
B
Byron Cook
H 指数: 42 · 论文数: 143
C
Cesare Tinelli
H 指数: 39 · 论文数: 200
A
Andrew Reynolds
H 指数: 28 · 论文数: 186
H
Hassen Saı̈di
H 指数: 17 · 论文数: 41
查看更多