Concepedia

Mohammad Reza Mousavi

MR

Statistics

Publications

42

Citations

1.4K

H-Index

19

Active since

2003

Affiliations

Eindhoven University of Technology(Current)

University of Leicester

Halmstad University

University of Tehran

Reykjavík University

Mohammad Reza Mousavi is an author at Eindhoven University of Technology specializing in computer science, computing, and formal methods.

Publications per year

2003–2024

42

Publications

42

Throughput Analysis of Synchronous Data Flow Graphs

Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk et al. · 2006 · 267 citations

Computing, Computer Engineering, Computer Science +15

SOS formats and meta-theory: 20 years after

Mohammad Reza Mousavi, Michel Reniers, Jan Friso Groote · Theoretical Computer Science · 2006 · 90 citations · Full text

Business, Information Systems, Knowledge Representation +4

A classification of product sampling for software product lines

Mahsa Varshosaz, Mustafa Al‐Hajjaji, Thomas Thüm et al. · 2018 · 80 citations

Computing, Computer Science, Feature Engineering +10

Property-based Testing of Quantum Programs in Q#

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan · 2020 · 77 citations

Computing, Computer Science, Formal Methods +16

Structuring structural operational semantics

Mohammad Reza Mousavi · TU/e Research Portal · 2005 · 61 citations · Full text

Computing, Computer Science, Mathematics +12

1–5 of 42