| Relational logic with framing and hypotheses A Banerjee, DA Naumann, M Nikouei 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 38 | 2016 |
| A Logical Analysis of Framing for Specifications with Pure Method Calls A Banerjee, DA Naumann, M Nikouei ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 6, 2018 | 17* | 2018 |
| A relational program logic with data abstraction and dynamic framing A Banerjee, R Nagasamudram, DA Naumann, M Nikouei ACM Transactions on Programming Languages and Systems 44 (4), 1-136, 2023 | 13 | 2023 |
| Weyl Groups Associated with Affine Reflection Systems of Type (Coxeter Type Defining Relations) S Azam, M Nikouei Publications of the Research Institute for Mathematical Sciences 49 (1), 123-153, 2013 | 4 | 2013 |
| A Logical Analysis of Relational Program Correctness M Nikouei | 1 | 2020 |
| A Length Function for Weyl Groups of Extended Affine Root Systems of Type A1 S Azam, M Nikouei Algebra Colloquium 22 (04), 621-638, 2015 | 1 | 2015 |
| Relational logic with framing and hypotheses: technical report A Banerjee, DA Naumann, M Nikouei arXiv preprint arXiv:1611.08992, 2016 | | 2016 |
