Mohammad Nikouei

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Predicate Logic

Statistical Relational Learning

Data Abstraction

Technical Report

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei
A Relational Program Logic with Data Abstraction and Dynamic Framing. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Mohammad Nikouei, Anindya Banerjee, David A. Naumann
Data Abstraction and Relational Program Logic. CoRR (2019)
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
A Logical Analysis of Framing for Specifications with Pure Method Calls. ACM Trans. Program. Lang. Syst. 40 (2) (2018)
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
Relational Logic with Framing and Hypotheses: Technical Report. CoRR (2016)
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
Relational Logic with Framing and Hypotheses. FSTTCS (2016)