Difference between revisions of "Mohammad Mousavi's Journals"

From CERES
Jump to: navigation, search
(Created page with "= Journals = * M.R. Mousavi and A. Ravara. Foreword, Special Issue of Science of Computer Programming on Foundations of Coordinati...")
 
Line 1: Line 1:
 
= Journals =  
 
= Journals =  
  
 +
 +
* M.R. Mousavi and J. Pang. Special issue on Software Verification and Testing, Science of Computer Programming, Elsevier, 2014. To appear.
  
 
* M.R. Mousavi and  A. Ravara. [[media:foreword_scp_foclasa_2011.pdf|Foreword]], Special Issue of  Science of Computer Programming on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA 2011), Elsevier, 2014. To appear.
 
* M.R. Mousavi and  A. Ravara. [[media:foreword_scp_foclasa_2011.pdf|Foreword]], Special Issue of  Science of Computer Programming on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA 2011), Elsevier, 2014. To appear.

Revision as of 03:44, 3 July 2014

Journals

  • M.R. Mousavi and J. Pang. Special issue on Software Verification and Testing, Science of Computer Programming, Elsevier, 2014. To appear.
  • M.R. Mousavi and A. Ravara. Foreword, Special Issue of Science of Computer Programming on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA 2011), Elsevier, 2014. To appear.


  • M.R. Mousavi and J. Pang. Foreword, Special Issue of Innovations in Systems and Software Engineering, Devoted to the ACM Symposium on Applied Computing - Software Verification and Testing Track (ACM SAC-SVT 2012), vol. 9, issue 2, Springer, 2013.


  • M.R. Mousavi and Gwen Salaun. Preface, Special Issue of Science of Computer Programming on foundations of coordination languages and software architectures (selected papers from FOCLASA 2010), vol. 80, pp. 1--210, Elsevier, 2013.

Conference Proceedings

  • M.R. Mousavi and J. Pang. Proceedings of the ACM Symposium on Applied Computing - Software Verification and Testing Track (ACM SAC-SVT 2013), ACM Press, 2013.
  • M.R. Mousavi and J. Pang. Proceedings of the ACM Symposium on Applied Computing - Software Verification and Testing Track (ACM SAC-SVT 2012), ACM Press, 2012.
  • L. Aceto and M.R. Mousavi. Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011), volume 60 of Electronic Proceedings in Theoretical Computer Science (EPTCS), 2011.
  • M.R. Mousavi and A. Ravara. Foreword. Proceedings of the Tenth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), volume 58 of Electronic Proceedings in Theoretical Computer Science (EPTCS), 2011.
  • M.R. Mousavi and Gwen Salaun. Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), volume 30 of Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010.

Back to Home