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

Andre Scedrov

university of pennsylvania

38H指数
228论文数
5.6K被引数
收录论文 2
发表时间
logo
WoLLIC 2023-29th Workshop on Logic, Language, Information and ComputationWoLLIC 2023-第29届逻辑、语言、信息与计算研讨会
errMathematical Structures in Computer Science
IF0.9
err2025-12-02
err0
PREAI
errHansen, Helle Hvid; Scedrov, Andre; de Queiroz, Ruy J. Guerra B.
err分享
err收藏
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain RoutingFSR: 安全域间路由的形式化分析和实现工具包
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2012-12-01
err27
errOAAI
errWang, Anduo; Jia, Limin; Zhou, Wenchao; Ren, Yiqing; Loo, Boon Thau; Rexford, Jennifer; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
Jennifer Rexford
H 指数: 100 · 论文数: 463
B
Boon Thau Loo
H 指数: 38 · 论文数: 278
C
Carolyn Talcott
H 指数: 37 · 论文数: 340
L
Limin Jia
H 指数: 28 · 论文数: 225
W
Wenchao Zhou
H 指数: 23 · 论文数: 123
查看更多