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

Alexandre Donzé

communaute universite grenoble alpes

29H指数
82论文数
5.5K被引数
收录论文 2
发表时间
logo
Signal Sampling and Optimisation Under Symbolic Timed Automata Constraints在符号定时自动机约束下的信号采样与优化
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errBarbot, Benoit; Basset, Nicolas; Dang, Thao; Donze, Alexandre; Esposito, Marco; Nickovic, Dejan
err分享
err收藏
A Contract-Based Methodology for Aircraft Electric Power System Design基于合同的飞机电力系统设计方法
errIEEE ACCESS
IF3.6
err2014-01-01
err125
errOAAI
errNuzzo, Pierluigi; Xu, Huan; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit A.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Richard M. Murray
H 指数: 106 · 论文数: 932
A
Alberto Sangiovanni‐Vincentelli
H 指数: 100 · 论文数: 1.4K
S
Sanjit A. Seshia
H 指数: 63 · 论文数: 437
N
Necmiye Özay
H 指数: 29 · 论文数: 286
P
Pierluigi Nuzzo
H 指数: 28 · 论文数: 181
查看更多