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

Nicolas Tabareau

Inria

21H指数
127论文数
1.4K被引数
收录论文 5
发表时间
logo
The Rewster: Type Preserving Rewrite Rules for the Rocq ProverRewster：类型保留重写规则用于Rocq证明器
errJournal of Automated Reasoning
IF0.8
err2026-04-11
err0
PREAI
errLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
err分享
err收藏
Bounded Sort Polymorphism with Elimination Constraints带消除约束的有界排序多态
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errRosain, Johann; Diaz, Tomas; Maillard, Kenji; Sozeau, Matthieu; Tabareau, Nicolas; Tanter, Eric; Winterhalter, Theo
err分享
err收藏
Incremental Certified Programming增量式认证编程
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errDiaz, Tomas; Maillard, Kenji; Tabareau, Nicolas; Tanter, Eric
err分享
err收藏
A Contraction Theory Approach to Stochastic Incremental Stability
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2009-04-01
err143
errOAAI
errPham, Quang-Cuong; Tabareau, Nicolas; Slotine, Jean-Jacques
err分享
err收藏
Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection
errNEURAL NETWORKS
IF6.3
err2008-05-01
err41
errOAAI
errGirard, B.; Tabareau, N.; Pham, Q. C.; Berthoz, A.; Slotine, J. -J.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alain Berthoz
H 指数: 101 · 论文数: 720
B
Benoît Girard
H 指数: 34 · 论文数: 160
É
Éric Tanter
H 指数: 30 · 论文数: 240
Q
Quang‐Cuong Pham
H 指数: 27 · 论文数: 145
M
Matthieu Sozeau
H 指数: 17 · 论文数: 60
查看更多