×

zbMATH — the first resource for mathematics

Mousavi, Mohammad Reza

Compute Distance To:
Author ID: mousavi.mohammad-reza Recent zbMATH articles by "Mousavi, Mohammad Reza"
Published as: Mousavi, M.; Mousavi, M. R.; Mousavi, Mohammad; Mousavi, Mohammad Reza; Mousavi, MohammadReza; Reza Mousavi, Mohammad
External Links: ORCID
Documents Indexed: 55 Publications since 2004, including 3 Books

Serials

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 120 times in 76 Documents Cited by Year
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
Exact simulation of point processes with stochastic intensities. Zbl 1234.62126
Giesecke, K.; Kakavand, H.; Mousavi, M.
6
2011
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
2009
Operational and epistemic approaches to protocol analysis: Bridging the gap. Zbl 1137.68445
Dechesne, Francien; Mousavi, MohammadReza; Orzan, Simona
4
2007
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
2006
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322
Beohar, Harsh; Mousavi, Mohammad Reza
2
2015
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2
2011
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
2
2009
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Terminal sliding mode observers for uncertain linear systems with matched disturbance. Zbl 1422.93040
Mousavi, Mohammad; Rahnavard, Mostafa; Ayati, Moosa; Yazdi, Mohammad Reza Hairi
1
2019
Input-output conformance testing for software product lines. Zbl 1392.68144
Beohar, Harsh; Mousavi, Mohammad Reza
1
2016
Social influence and evolution of market share. Zbl 1245.91051
Ceyhan, Simla; Mousavi, Mohammad; Saberi, Amin
1
2011
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
Terminal sliding mode observers for uncertain linear systems with matched disturbance. Zbl 1422.93040
Mousavi, Mohammad; Rahnavard, Mostafa; Ayati, Moosa; Yazdi, Mohammad Reza Hairi
1
2019
Input-output conformance testing for software product lines. Zbl 1392.68144
Beohar, Harsh; Mousavi, Mohammad Reza
1
2016
A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322
Beohar, Harsh; Mousavi, Mohammad Reza
2
2015
Rule formats for determinism and idempotence. Zbl 1243.68205
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
3
2012
Exact simulation of point processes with stochastic intensities. Zbl 1234.62126
Giesecke, K.; Kakavand, H.; Mousavi, M.
6
2011
Rule formats for distributivity. Zbl 1330.68184
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2011
Synchronizing asynchronous conformance testing. Zbl 1350.68048
Noroozi, Neda; Khosravi, Ramtin; Mousavi, Mohammad Reza; Willemse, Tim A. C.
2
2011
SOS rule formats for zero and unit elements. Zbl 1216.68152
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2
2011
Social influence and evolution of market share. Zbl 1245.91051
Ceyhan, Simla; Mousavi, Mohammad; Saberi, Amin
1
2011
Lifting non-finite axiomatizability results to extensions of process algebras. Zbl 1186.68313
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Mousavi, MohammadReza
5
2010
A rule format for unit elements. Zbl 1274.68169
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
Rule formats for determinism and idempotence. Zbl 1274.68060
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
5
2010
On rule formats for zero and unit elements. Zbl 1342.68189
Aceto, Luca; Cimini, Matteo; Ingolfsdottir, Anna; Mousavi, Mohammad Reza; Reniers, Michel A.
3
2010
Semantics and expressiveness of ordered SOS. Zbl 1165.68045
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
5
2009
Algebraic properties for free! Zbl 1188.68200
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
4
2009
PARS: a process algebraic approach to resources and schedulers. Zbl 1171.68575
Mousavi, Mohammad Reza; Reniers, Michel A.; Basten, Twan; Chaudron, Michel
2
2009
A rule format for associativity. Zbl 1160.68461
Cranen, Sjoerd; Mousavi, MohammadReza; Reniers, Michel A.
9
2008
Operational and epistemic approaches to protocol analysis: Bridging the gap. Zbl 1137.68445
Dechesne, Francien; Mousavi, MohammadReza; Orzan, Simona
4
2007
A congruence rule format with universal quantification. Zbl 1278.68144
Mousavi, Mohammad Reza; Reniers, Michel
2
2007
Impossibility results for the equational theory of timed CCS. Zbl 1214.68240
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza
2
2007
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference). Zbl 1277.68125
Mousavi, MohammadReza; Reniers, Michel
1
2007
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
The meaning of ordered SOS. Zbl 1177.68140
Mousavi, MohammadReza; Phillips, Iain; Reniers, Michel A.; Ulidowski, Irek
4
2006
Prototyping SOS meta-theory in Maude. Zbl 1273.68212
Mousavi, Mohammad Reza; Reniers, Michel A.
2
2006
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
SOS for higher order processes. Zbl 1134.68450
Mousavi, Mohammad Reza; Gabbay, Murdoch J.; Reniers, Michel A.
8
2005
Congruence for structural congruences. Zbl 1118.68534
Mousavi, Mohammad Reza; Reniers, Michel A.
7
2005
Orthogonal extensions in structural operational semantics (extended abstract). Zbl 1085.68593
Mousavi, Mohammad Reza; Reniers, Michel A.
4
2005
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
PARS: A process algebra with resources and schedulers. Zbl 1099.68673
Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel
5
2004
all top 5

Cited by 120 Authors

17 Aceto, Luca
17 Ingólfsdóttir, Anna
14 Reniers, Michel Adriaan
6 Gregorio-Rodríguez, Carlos
6 Mousavi, Mohammadreza
5 Cimini, Matteo
5 Mousavi, Mohammad Reza
4 de Frutos-Escrig, David
4 Fábregas, Ignacio
4 Klin, Bartek
3 Bergstra, Jan A.
3 Lee, Insup
3 Middelburg, Cornelis A.
3 Phillips, Iain W.
3 Sokolsky, Oleg
3 Ulidowski, Irek
3 van Glabbeek, Robert Jan
2 Colvin, Robert J.
2 Cuijpers, Pieter J. L.
2 García-Pérez, Álvaro
2 Goriac, Eugen-Ioan
2 Lenglet, Sergueï
2 Li, Chenxu
2 Luttik, Bas
2 Man, Ka Lok
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.
1 Ahn, Sojin
1 Arbab, Farhad
1 Ata, Baris
1 Baeten, Jos C. M.
1 Baranov, Eduard
1 Barbuti, Roberto
1 Bauer, Sebastian S.
1 Berbeglia, Franco
1 Berbeglia, Gerardo
1 Birgisson, Arnar
1 Bliudze, Simon
1 Bodeveix, Jean-Paul
1 Bonsangue, Marcello Maria
1 Bortolussi, Luca
1 Braun, Christelle
1 Bres, Emile
1 Buscemi, Maria Grazia
1 Campi, Luciano
1 Cao, Yongzhi
1 Capobianco, Silvio
1 Caravagna, Giulio
1 Chatzikokolakis, Konstantinos
1 Chen, Dachuan
1 Chen, Weien
1 Choi, Jin Young
1 Dassios, Angelos
1 Dechesne, Francien
1 Fares, Elie
1 Filali, Mamoun
1 Fokkink, Wan
1 Fokkink, Wan J.
1 Gabbay, Murdoch James
1 Galpin, Vashti
1 Garavel, Hubert
1 Groote, Jan Friso
1 Haddad, Shadi
1 Hainaut, Donatien
1 Hayes, Ian J.
1 Hennicker, Rolf
1 Hillston, Jane
1 Höfner, Peter
1 Hwang, Dae Yon
1 Johansen, Christian
1 Johnsen, Einar Broch
1 Kang, Inhye
1 Khadim, U.
1 Khosravi, Ramtin
1 Knight, Sophia
1 Kramer, Simon
1 le Courtois, Olivier
1 Lüttgen, Gerald
1 Maggiolo-Schettini, Andrea
1 Maldonado, Felipe
1 Mendler, Michael
1 Meng, Sun
1 Milazzo, Paolo
1 Montanari, Ugo G.
1 Mosses, Peter D.
1 Mousavi, Mohamamdreza
1 Mousavi, Mohammad Mahdi
1 Nachyła, Beata
1 Noroozi, Neda
1 Ortega-Mallén, Yolanda
1 Owe, Olaf
1 Paiva, Sofia Costa
1 Palamidessi, Catuscia
1 Panangaden, Prakash
1 Park, Junkil
...and 20 more Authors

Citations by Year