Mohammad Mousavi

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5028468	2022-02-09	Paper
Input-output conformance testing for software product lines	2016-11-07	Paper
A congruence rule format with universal quantification	2014-01-10	Paper
Exact Simulation of Non-stationary Reflected Brownian Motion	2013-12-22	Paper
On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)	2013-12-13	Paper
A hierarchy of SOS rule formats	2013-10-07	Paper
Prototyping SOS meta-theory in Maude	2013-10-07	Paper
Exploiting algebraic laws to improve mechanized axiomatizations	2013-09-13	Paper
Interpreted Systems Semantics for Process Algebra with Identity Annotations	2013-04-12	Paper
Social influence and evolution of market share	2012-08-29	Paper
Rule formats for determinism and idempotence	2012-07-13	Paper
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap	2008-05-15	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper

This page was built for person: Mohammad Mousavi