Mohammad Reza Nami

Orcid: 0000-0003-1410-5340

According to our database1, Mohammad Reza Nami authored at least 17 papers between 2006 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Self-* e-nursing: a new idea in nursing.
ACM SIGSOFT Softw. Eng. Notes, 2010

Investigating a new formal model for autonomous virtual organisation using RAISE method.
Int. J. Netw. Virtual Organisations, 2010

Multi-Agent Systems: A Survey.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

2009
A comparative introduction to CSP and ACT-ONE formal languages.
ACM SIGSOFT Softw. Eng. Notes, 2009

Investigating a new formal model for a library system using B method.
ACM SIGSOFT Softw. Eng. Notes, 2009

A comparative evaluation of the Z, CSP, RSL, and VDM languages.
ACM SIGSOFT Softw. Eng. Notes, 2009

E-Banking: Issues and Challenges.
Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

2008
A comparison of object-oriented languages in software engineering.
ACM SIGSOFT Softw. Eng. Notes, 2008

Virtual Organizations: Issues and Challenges.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

Formal specification of a particular banking domain with RAISE specification language.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Virtual Organizations: Trends and Models.
Proceedings of the Intelligent Information Processing IV, 2008

Virtual Organizations: An Overview.
Proceedings of the Intelligent Information Processing IV, 2008

2007
Applying domain engineering using RAISE into a particular banking domain.
ACM SIGSOFT Softw. Eng. Notes, 2007

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Autonomic Computing: A New Approach.
Proceedings of the First Asia International Conference on Modelling and Simulation, 2007

Virtual Organization: A New Approach in IT.
Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

2006
A Survey of Autonomic Computing Systems.
Proceedings of the Intelligent Information Processing III, 2006


  Loading...