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

Jacques-Henri Jourdan

Inria

18H指数
42论文数
1.7K被引数
收录论文 3
发表时间
logo
Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust利用幽灵所有权验证Rust中的并查集和持久化数组
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errGolfouse, Arnaud; Gueneau, Armael; Jourdan, Jacques-Henri
err分享
err收藏
Safe Systems Programming in Rust
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-03-22
err25
errOAAI
errJung, Ralf; Jourdan, Jacques-Henri; Krebbers, Robbert; Dreyer, Derek
err分享
err收藏
dfcomb: An R-package for phase I/II trials of drug combinations
errCOMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
IF4.8
err2016-03-01
err2
errOAAI
errRiviere, Marie-Karelle; Jourdan, Jacques-Henri; Zohar, Sarah
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Derek Dreyer
H 指数: 39 · 论文数: 141
S
Sarah Zohar
H 指数: 38 · 论文数: 204
R
Robbert Krebbers
H 指数: 25 · 论文数: 84
R
Ralf Jung
H 指数: 19 · 论文数: 49
M
Marie‐Karelle Riviere
H 指数: 10 · 论文数: 27
查看更多