Mohammad Mousavi's Journals - Revision history

Ceres at 13:51, 2 February 2017

2017-02-02T13:51:22Z

2017-02-01T21:43:12Z

2016-01-11T13:45:34Z

2015-12-16T19:12:18Z

2015-09-22T12:59:54Z

2015-08-29T07:47:35Z

2015-08-29T07:46:44Z

2015-08-29T07:46:32Z

2015-04-07T09:22:25Z

2015-04-07T09:22:08Z

← Older revision		Revision as of 13:51, 2 February 2017
Line 18:		Line 18:

	= Conference Proceedings =		= Conference Proceedings =
		+
		+
		+	* C. Berger and M.R. Mousavi. Proceedings of the 6th International Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (CyPhy 2016), Pittsburgh, USA. volume 10107 of Lecture Notes in Computer Science, Springer, 2015. ([[media:foreword_lncs_10107_2016.pdf\|Front Matter and Foreword]])

	* 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.		* 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.

← Older revision		Revision as of 21:43, 1 February 2017
Line 1:		Line 1:
	= Journals =		= Journals =
		+
		+	* Editor: [https://www.journals.elsevier.com/science-of-computer-programming/ Science of Computer Programming]

	* Editor: [https://peerj.com/computer-science/ PeerJ Computer Science]		* Editor: [https://peerj.com/computer-science/ PeerJ Computer Science]

@@ Line 3: / Line 3: @@
 * Editor: [https://peerj.com/computer-science/ PeerJ Computer Science]
-* 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, 2015. To appear.
+* 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 J. Pang): Special issue on Software Verification and Testing  (ACM SAC-SVT 2013), Science of Computer Programming, vol. 95, part 3, Elsevier, 2014 ([[media:foreword_scp_sacsvt_2013.pdf|Foreword]])

← Older revision		Revision as of 19:12, 16 December 2015
Line 14:		Line 14:

	= Conference Proceedings =		= 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. ([[media:foreword_lncs_9361_2015.pdf\|Front Matter and Foreword]])		* 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. ([[media:foreword_lncs_9361_2015.pdf\|Front Matter and Foreword]])

@@ Line 15: / Line 15: @@
 = Conference Proceedings =
-* 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.
+* 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.  ([[media:foreword_lncs_9361_2015.pdf|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.

← Older revision		Revision as of 07:46, 29 August 2015
Line 16:		Line 16:

	* C. Berger and M.R. Mousavi. Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. volume 9361 of Lecture Notes in Computer Science, Springer, 2015.		* C. Berger and M.R. Mousavi. Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. volume 9361 of Lecture Notes in Computer Science, Springer, 2015.
−

	* 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 2013), ACM Press, 2013.

@@ Line 5: / Line 5: @@
 * 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, 2015. To appear.
-* Guest Editor (with J. Pang): Special issue on Software Verification and Testing, Science of Computer Programming, Elsevier, 2014. 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.
 * 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. ([[media:foreword_scp_foclasa_2011.pdf|Foreword]])