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

Jacob Laurel

university of illinois urbana-champaign

7H指数
16论文数
233被引数
收录论文 2
发表时间
logo
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data UncertaintyAURA：具有区间数据不确定性的概率程序精确抽象解释
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errHuang, Zixin; Laurel, Jacob; Dutta, Saikat; Misailovic, Sasa
err分享
err收藏
Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers合成声音与精确的抽象变换器用于非线性双曲偏微分方程求解器
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLaurel, Jacob; Laguna, Ignacio; Huckelheim, Jan
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Saša Misailovíc
H 指数: 30 · 论文数: 130
I
Ignacio Laguna
H 指数: 22 · 论文数: 127
J
Jan Hückelheim
H 指数: 10 · 论文数: 63
Z
Zixin Huang
H 指数: 8 · 论文数: 17
S
Saikat Dutta
H 指数: 1 · 论文数: 5
已加载全部