팔로우
Nishant Rodrigues
Nishant Rodrigues
PhD Candidate, University of Illinois at Urbana Champaign
illinois.edu의 이메일 확인됨
제목
인용
인용
연도
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
529*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
142020
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