科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
C
Constantin Enea
institut polytechnique de paris
0
H指数
2
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Verifying Almost-Sure Termination for Randomized Distributed Algorithms
验证随机分布式算法的几乎必然终止性
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Enea, Constantin; Majumdar, Rupak; Motwani, Harshit Jitendra; Sathiyanarayana, V. R.
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
H
Harshit J. Motwani
H 指数: 3 · 论文数: 22
R
Rupak Majumdar
H 指数: 2 · 论文数: 7
V
V. R. Sathiyanarayana
H 指数: 0 · 论文数: 2
已加载全部