科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
A
Azalea Raad
imperial college london
18
H指数
65
论文数
761
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Bayesian Separation Logic A Logical Foundation and Axiomatic Semantics for Probabilistic Programming
贝叶斯分离逻辑:概率编程的逻辑基础与公理语义
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Ho, Shing Hin; Wu, Nicolas; Raad, Azalea
分享
收藏
A Verified High-Performance Composable Object Library for Remote Direct Memory Access
一种经过验证的高性能可组合远程直接内存访问对象库
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Ambal, Guillaume; Hodgkins, George; Madler, Mark; Chockler, Gregory; Dongol, Brijesh; Izraelevitz, Joseph; Raad, Azalea; Vafeiadis, Viktor
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
G
Gregory Chockler
H 指数: 23 · 论文数: 96
J
Joseph Izraelevitz
H 指数: 14 · 论文数: 41
B
Brijesh Dongol
H 指数: 14 · 论文数: 140
G
Guillaume Ambal
H 指数: 3 · 论文数: 11
S
Shing Hin Ho
H 指数: 1 · 论文数: 4
查看更多