Seguir
Mohammad Nikouei
Mohammad Nikouei
Stevens Institute of Technology
E-mail confirmado em stevens.edu
Título
Citado por
Citado por
Ano
Relational logic with framing and hypotheses
A Banerjee, DA Naumann, M Nikouei
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
382016
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
132023
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
42013
A Logical Analysis of Relational Program Correctness
M Nikouei
12020
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
12015
Relational logic with framing and hypotheses: technical report
A Banerjee, DA Naumann, M Nikouei
arXiv preprint arXiv:1611.08992, 2016
2016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–7