正在加载...
系统目前无法执行此操作,请稍后再试。
每年引用数
重复的引用
下面的文章将在学术搜索中合并。它们的
合并引用
次数只会计入第一篇文章。
合并的引用
此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有
*
标记的引文可能与个人学术档案中的文章有所区别。
添加合著者
合著作者
关注
此作者发表了新文章
有对此作者文章的新引用
有与此作者的研究工作相关的新文章
用于接收动态的电子邮件地址
完成
我的个人学术档案
我的图书馆
统计指标
快讯
设置
登录
登录
创建我的个人资料
引用次数
总计
2019 年至今
引用
541
486
h 指数
2
2
i10 指数
2
2
0
120
60
30
90
2017
2018
2019
2020
2021
2022
2023
2024
2
51
76
115
106
89
76
24
开放获取的出版物数量
查看全部
查看全部
2 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
关注
Nishant Rodrigues
PhD Candidate,
University of Illinois at Urbana Champaign
在 illinois.edu 的电子邮件经过验证
Formal Methods of Software Development
文章
引用次数
开放获取的出版物数量
标题
排序
按引用次数排序
按年份排序
按标题排序
引用次数
引用次数
年份
Kevm: A complete formal semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217
, 2018
527
*
2018
Towards a unified proof framework for automated fixpoint reasoning using matching logic
X Chen, MT Trinh, N Rodrigues, L Peña, G Roşu
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29
, 2020
14
2020
Technical Report: Decidable Fragments of Matching Logic
N Rodrigues, X Chen, G Rosu
2021
Formal semantics of hybrid automata
M Saxena, X Chen, N Rodrigues, G Rosu
2020
Nelson Oppen combination as a rewrite theory
N Rodrigues
2018
系统目前无法执行此操作,请稍后再试。
文章 1–5
展开
隐私权
条款
帮助
关于学术搜索
Google 搜索帮助