 | 2009 |
|---|
| 11 |       | Mohammad Izadi,
Ali Movaghar:
Compositional Failure-based Equivalence of Constraint Automata.
Electr. Notes Theor. Comput. Sci. 250(1): 105-122 (2009) |
| 10 | | Mohammad Izadi,
Reza Safabakhsh:
An improved time-adaptive self-organizing map for high-speed shape modeling.
Pattern Recognition 42(7): 1361-1370 (2009) |
| 2008 |
|---|
| 9 | | Sara NavidPour,
Mohammad Izadi,
Ali Movaghar:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
COMPSAC 2008: 211-218 |
| 8 | | Mohammad Izadi,
Parvaneh Saeedi:
Robust region-based background subtraction and shadow removing using color and gradient information.
ICPR 2008: 1-5 |
| 7 | | Mohammad Izadi,
Marcello M. Bonsangue:
Recasting Constraint Automata into Büchi Automata.
ICTAC 2008: 156-170 |
| 6 | | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency.
SEFM 2008: 303-312 |
| 5 | | Mohammad Izadi,
Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions.
International Journal of Software Engineering and Knowledge Engineering 18(5): 683-712 (2008) |
| 2007 |
|---|
| 4 | | Mohammad Izadi,
Ali Movaghar,
Farhad Arbab:
Model Checking of Component Connectors.
COMPSAC (1) 2007: 673-675 |
| 3 | | Mohammad Izadi,
Ali Movaghar:
Compositional failure-based semantic equivalences for Reo specifications.
SAVCBS 2007: 99-100 |
| 2006 |
|---|
| 2 | | Mohammad Izadi,
Ali Movaghar-Rahimabadi:
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
Electr. Notes Theor. Comput. Sci. 159: 171-186 (2006) |
| 2005 |
|---|
| 1 |  | Mohammad Izadi,
Ali Movaghar-Rahimabadi:
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus.
SEKE 2005: 392-395 |
