Edit Profile Mousavi, Mohammadreza Compute Distance To: Compute Author ID: mousavi.mohammadreza Published as: Mousavi, M.; Mousavi, Mohammad Reza; Mousavi, MohammadReza; Mousavi, Mohammadreza Documents Indexed: 55 Publications since 2004, including 4 Books all top 5 Co-Authors 0 single-authored 3 Groote, Jan Friso 2 Khakpour, Narges 2 Reniers, Michel Adriaan 2 Sirjani, Marjan 1 Jaghoori, Mohammad Mahdi 1 Jalili, Saeed 1 Khamespanah, Ehsan 1 Movaghar, Ali 1 Talcott, Carolyn L. Serials 1 Acta Informatica 1 Information Processing Letters 1 Theoretical Computer Science 1 Science of Computer Programming Fields 6 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 32 Publications have been cited 169 times in 96 Documents Cited by ▼ Year ▼ SOS formats and meta-theory: 20 years after. Zbl 1111.68069Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso 27 2007 Modeling and analysis of communicating systems. Zbl 1353.68006Groote, Jan Friso; Mousavi, Mohammad Reza 17 2014 Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso 15 2005 A rule format for associativity. Zbl 1160.68461Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A. 9 2008 A syntactic commutativity format for SOS. Zbl 1173.68561Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso 8 2005 SOS for higher order processes. Zbl 1134.68450Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A. 8 2005 Congruence for structural congruences. Zbl 1118.68534Mousavi, Mohammad Reza; Reniers, Michel A. 7 2005 Exact simulation of point processes with stochastic intensities. Zbl 1234.62126Giesecke, K.; Kakavand, H.; Mousavi, M. 6 2011 A hierarchy of SOS rule formats. Zbl 1273.68206Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A. 6 2006 Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza 5 2010 A rule format for unit elements. Zbl 1274.68169Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 5 2010 Rule formats for determinism and idempotence. Zbl 1274.68060Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 5 2010 Semantics and expressiveness of ordered SOS. Zbl 1165.68045Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek 5 2009 PARS: A process algebra with resources and schedulers. Zbl 1099.68673Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel 5 2004 Algebraic properties for free! Zbl 1188.68200Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 4 2009 The meaning of ordered SOS. Zbl 1177.68140Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek 4 2006 Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593Mousavi, Mohammad Reza; Reniers, Michel A. 4 2005 Rule formats for determinism and idempotence. Zbl 1243.68205Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 3 2012 Rule formats for distributivity. Zbl 1330.68184Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A. 3 2011 On rule formats for zero and unit elements. Zbl 1342.68189Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A. 3 2010 A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322Beohar, Harsh; Mousavi, Mohammad Reza 2 2015 Formal modeling of evolving self-adaptive systems. Zbl 1264.68131Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza 2 2012 Synchronizing asynchronous conformance testing. Zbl 1350.68048Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C. 2 2011 SOS rule formats for zero and unit elements. Zbl 1216.68152Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 2 2011 PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel 2 2009 A congruence rule format with universal quantification. Zbl 1278.68144Mousavi, Mohammad Reza; Reniers, Michel 2 2007 Impossibility results for the equational theory of timed CCS. Zbl 1214.68240Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza 2 2007 Prototyping SOS meta-theory in Maude. Zbl 1273.68212Mousavi, Mohammad Reza; Reniers, Michel A. 2 2006 Input-output conformance testing for software product lines. Zbl 1392.68144Beohar, Harsh; Mousavi, Mohammad Reza 1 2016 Modular semantics for transition system specifications with negative premises. Zbl 1390.68465Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza 1 2013 Symmetry and partial order reduction techniques in model checking Rebeca. Zbl 1185.68142Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali 1 2010 On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125Mousavi, MohammadReza; Reniers, Michel 1 2007 Input-output conformance testing for software product lines. Zbl 1392.68144Beohar, Harsh; Mousavi, Mohammad Reza 1 2016 A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322Beohar, Harsh; Mousavi, Mohammad Reza 2 2015 Modeling and analysis of communicating systems. Zbl 1353.68006Groote, Jan Friso; Mousavi, Mohammad Reza 17 2014 Modular semantics for transition system specifications with negative premises. Zbl 1390.68465Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza 1 2013 Rule formats for determinism and idempotence. Zbl 1243.68205Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 3 2012 Formal modeling of evolving self-adaptive systems. Zbl 1264.68131Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza 2 2012 Exact simulation of point processes with stochastic intensities. Zbl 1234.62126Giesecke, K.; Kakavand, H.; Mousavi, M. 6 2011 Rule formats for distributivity. Zbl 1330.68184Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A. 3 2011 Synchronizing asynchronous conformance testing. Zbl 1350.68048Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C. 2 2011 SOS rule formats for zero and unit elements. Zbl 1216.68152Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 2 2011 Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza 5 2010 A rule format for unit elements. Zbl 1274.68169Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 5 2010 Rule formats for determinism and idempotence. Zbl 1274.68060Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 5 2010 On rule formats for zero and unit elements. Zbl 1342.68189Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A. 3 2010 Symmetry and partial order reduction techniques in model checking Rebeca. Zbl 1185.68142Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali 1 2010 Semantics and expressiveness of ordered SOS. Zbl 1165.68045Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek 5 2009 Algebraic properties for free! Zbl 1188.68200Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 4 2009 PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel 2 2009 A rule format for associativity. Zbl 1160.68461Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A. 9 2008 SOS formats and meta-theory: 20 years after. Zbl 1111.68069Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso 27 2007 A congruence rule format with universal quantification. Zbl 1278.68144Mousavi, Mohammad Reza; Reniers, Michel 2 2007 Impossibility results for the equational theory of timed CCS. Zbl 1214.68240Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza 2 2007 On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125Mousavi, MohammadReza; Reniers, Michel 1 2007 A hierarchy of SOS rule formats. Zbl 1273.68206Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A. 6 2006 The meaning of ordered SOS. Zbl 1177.68140Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek 4 2006 Prototyping SOS meta-theory in Maude. Zbl 1273.68212Mousavi, Mohammad Reza; Reniers, Michel A. 2 2006 Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso 15 2005 A syntactic commutativity format for SOS. Zbl 1173.68561Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso 8 2005 SOS for higher order processes. Zbl 1134.68450Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A. 8 2005 Congruence for structural congruences. Zbl 1118.68534Mousavi, Mohammad Reza; Reniers, Michel A. 7 2005 Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593Mousavi, Mohammad Reza; Reniers, Michel A. 4 2005 PARS: A process algebra with resources and schedulers. Zbl 1099.68673Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel 5 2004 all cited Publications top 5 cited Publications all top 5 Cited by 146 Authors 18 Aceto, Luca 18 Ingólfsdóttir, Anna 14 Reniers, Michel Adriaan 10 Mousavi, Mohammadreza 6 Gregorio-Rodríguez, Carlos 5 Cimini, Matteo 5 Fábregas, Ignacio 5 Groote, Jan Friso 5 Mousavi, Mohammad Reza 4 de Frutos-Escrig, David 4 Klin, Bartek 4 Tini, Simone 4 van Glabbeek, Robert Jan 3 Bergstra, Jan A. 3 Durier, Adrien 3 García-Pérez, Álvaro 3 Gebler, Daniel E. 3 Ghassemi, Fatemeh 3 Hirschkoff, Daniel 3 Khosravi, Ramtin 3 Lee, Insup 3 Middelburg, Cornelis A. 3 Phillips, Iain W. 3 Sangiorgi, Davide 3 Sokolsky, Oleg 3 Ulidowski, Irek 2 Beohar, Harsh 2 Colvin, Robert J. 2 Cuijpers, Pieter J. L. 2 Fokkink, Wan 2 Goriac, Eugen-Ioan 2 Hennicker, Rolf 2 Lenglet, Sergueï 2 Li, Chenxu 2 Luttik, Bas 2 Man, Ka Lok 2 Mosses, Peter D. 2 Ortega-Mallén, Yolanda 2 Philippou, Anna 2 Rooda, Jacobus E. 2 Schiffelers, R. R. H. 2 Schmitt, Alan 2 Stefani, Jean-Bernard 2 van Beek, D. A. 2 Van Weerdenburg, Muck J. 2 Willemse, Tim A. C. 1 Abbasi, Rosa 1 Ahn, Sojin 1 Arbab, Farhad 1 Ata, Baris 1 Baeten, Jos C. M. 1 Baranov, Eduard 1 Barbosa, Luís Soares 1 Barbuti, Roberto 1 Bauer, Sebastian S. 1 Birgisson, Arnar 1 Bliudze, Simon 1 Bodeveix, Jean-Paul 1 Bonsangue, Marcello Maria 1 Bortolussi, Luca 1 Bres, Emile 1 Bruni, Roberto 1 Buscemi, Maria Grazia 1 Campi, Luciano 1 Capobianco, Silvio 1 Caravagna, Giulio 1 Castiglioni, Valentina 1 Chen, Dachuan 1 Choi, Jin Young 1 Cleaveland, Rance 1 Corradini, Andrea 1 Corradini, Flavio 1 D’Argenio, Pedro Rubén 1 Dassios, Angelos 1 de Vink, Erik P. 1 Fantechi, Alessandro 1 Fares, Elie 1 Filali, Mamoun 1 Gabbay, Murdoch James 1 Gadducci, Fabio 1 Galpin, Vashti 1 Garavel, Hubert 1 Gnesi, Stefania 1 Hainaut, Donatien 1 Hayes, Ian J. 1 Hillston, Jane 1 Höfner, Peter 1 Huang, Xiaowei 1 Hwang, Dae Yon 1 Jalili, Saeed 1 Jansen, David N. 1 Jiao, Li 1 Johansen, Christian 1 Johnsen, Einar Broch 1 Kang, Inhye 1 Keiren, Jeroen J. A. 1 Khadim, U. 1 Khakpour, Narges 1 Larsen, Kim Guldstrand 1 le Courtois, Olivier ...and 46 more Authors all top 5 Cited in 20 Serials 12 Journal of Logical and Algebraic Methods in Programming 10 Theoretical Computer Science 9 The Journal of Logic and Algebraic Programming 7 Information and Computation 5 Acta Informatica 5 Logical Methods in Computer Science 4 Information Processing Letters 4 Formal Aspects of Computing 2 Science of Computer Programming 1 Advances in Applied Probability 1 Journal of Computer and System Sciences 1 Journal of Econometrics 1 Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 European Journal of Operational Research 1 SIAM Review 1 Applied Mathematical Finance 1 Quantitative Finance 1 ACM Transactions on Computational Logic 1 Algorithms all top 5 Cited in 10 Fields 89 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 6 Probability theory and stochastic processes (60-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Statistics (62-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year