科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
M
Marco Gaboardi
boston university
H指数:
27
被引数:
2,538
浏览量:
0
认领学者
订阅学者
个人简介
暂无内容
教育背景
暂无内容
工作经历
暂无内容
荣誉奖项
暂无内容
收录论文
1
收录专利
0
教育教学
科学研究
发表时间最新
发表时间最新
IF最高
被引数最高
Cryptis: Cryptographic Reasoning in Separation Logic
Cryptis: 分离逻辑中的密码学推理
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
研究方向
暂未获取到该数据
合作学者
合作期刊
合作次数
合作次数
H指数
论文数
被引数
A
Arthur Azevedo de Amorim
H 指数:
11
论文数:
51
被引数:
418
A
Amal Ahmed
H 指数:
0
论文数:
3
被引数:
0
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项
研究方向