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

Pascale Le Gall

Universite Paris Saclay

13H指数
166论文数
840被引数
收录论文 2
发表时间
logo
Program Synthesis for Geometric Modeling几何建模的程序合成
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errPascual, Romain; Le Gall, Pascale; Belhaouari, Hakim; Arnould, Agnes
err分享
err收藏
Statistical Bayesian Inference for Stochastic Process Discovery统计贝叶斯推断在随机过程发现中的应用
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errCry, Pierre; Ballarini, Paolo; Horvath, Andras; Le Gall, Pascale
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
András Horváth
H 指数: 25 · 论文数: 192
P
Paolo Ballarini
H 指数: 16 · 论文数: 74
A
Agnès Arnould
H 指数: 8 · 论文数: 63
H
Hakim Belhaouari
H 指数: 5 · 论文数: 39
R
Romain Pascual
H 指数: 3 · 论文数: 16
查看更多