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

Ahmed Bouajjani

Universite Paris Cite

43H指数
239论文数
6.5K被引数
收录论文 3
发表时间
logo
Enhancing Numerical Invariants Learning with Bounded Reachability Analysis利用有界可达性分析增强数值不变量学习
errNETWORKED SYSTEMS, NETYS 2025
IF0
err2026-01-01
err0
PREAI
errBouajjani, Ahmed; Boutglay, Wael-Amine; Habermehl, Peter
err分享
err收藏
Checking causal consistency of distributed databases
errCOMPUTING
IF2.8
err2021-02-09
err5
errOAAI
errZennou, Rachid; Biswas, Ranadeep; Bouajjani, Ahmed; Enea, Constantin; Erradi, Mohammed
err分享
err收藏
Special Issues: NETYS 2015 & NETYS 2017
errCOMPUTING
IF2.8
err2019-07-24
err0
errOAAI
errBouajjani, Ahmed; Fauconnier, Hugues
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Peter Habermehl
H 指数: 26 · 论文数: 136
C
Constantin Enea
H 指数: 20 · 论文数: 176
H
Hugues Fauconnier
H 指数: 20 · 论文数: 154
M
Mohammed Erradi
H 指数: 10 · 论文数: 97
R
Rachid Zennou
H 指数: 3 · 论文数: 5
查看更多