Mohammad Mousavi's Journals

From CERES
Revision as of 23:43, 1 February 2017 by Ceres (Talk | contribs)

Jump to: navigation, search

Journals

  • Guest Editor (with I. Castellani): Special issue Dedicated to Selected Papers from the 3rd and the 4th IFIP WG 1.8 Workshop on Trends in Concurrency Theory, Journal of Logic and Algebraic Methods in Programming (JLAMP), Elsevier, 2016. To appear.
  • Guest Editor (with W. Taha): Special issue Dedicated to Selected Papers from the 26th Nordic Workshop for Programming Theory Software Verification and Testing, Journal of Logic and Algebraic Methods in Programming (JLAMP), Elsevier, 2016. To appear.
  • Guest Editor (with J. Pang): Special issue on Software Verification and Testing (ACM SAC-SVT 2013), Science of Computer Programming, vol. 95, part 3, Elsevier, 2014 (Foreword)
  • Guest Editor (with A. Ravara): Special Issue of Science of Computer Programming on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA 2011), vol. 89, Elsevier, 2014. (Foreword)
  • Guest Editor (with J. Pang) 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.
  • Guest Editor (with Gwen Salaun) Special Issue of Science of Computer Programming on foundations of coordination languages and software architectures (selected papers from FOCLASA 2010), vol. 80, Elsevier, 2013.

Conference Proceedings

  • H. Hajiaghayi and M.R. Mousavi. Proceedings of the 1st International Conference on Topics in Theoretical Computer Science (TTCS 2015), Tehran, Iran. volume 9541 of Lecture Notes in Computer Science, Springer, 2015.
  • C. Berger and M.R. Mousavi. Proceedings of the 5th International Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (CyPhy 2015), Amsterdam, The Netherlands. volume 9361 of Lecture Notes in Computer Science, Springer, 2015. (Front Matter and Foreword)
  • 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