 | 2012 |
|---|
| 19 |       | Mohammad Izadi,
Parvaneh Saeedi:
Three-Dimensional Polygonal Building Model Estimation From Single Satellite Images.
IEEE T. Geoscience and Remote Sensing 50(6): 2254-2272 (2012) |
| 2011 |
|---|
| 18 | | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Büchi automata for modeling component connectors.
Software and System Modeling 10(2): 183-200 (2011) |
| 2010 |
|---|
| 17 | | Mohammad Izadi,
Parvaneh Saeedi:
Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning.
ICIP 2010: 4293-4296 |
| 16 | | Mohammad Izadi,
Parvaneh Saeedi:
Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation.
ICPR 2010: 472-475 |
| 15 | | Mohammad Izadi,
Ali Movaghar:
Failure-based equivalence of constraint automata.
Int. J. Comput. Math. 87(11): 2426-2443 (2010) |
| 2009 |
|---|
| 14 | | Marcello M. Bonsangue,
Mohammad Izadi:
Automata Based Model Checking for Reo Connectors.
FSEN 2009: 260-275 |
| 13 | | Mohammad Izadi,
Parvaneh Saeedi:
Height estimation for buildings in monocular satellite/airborne images based on fuzzy reasoning and genetic algorithm.
WIAMIS 2009: 125-128 |
| 12 | | Mohammad Izadi,
Ali Movaghar:
Compositional Failure-based Equivalence of Constraint Automata.
Electr. Notes Theor. Comput. Sci. 250(1): 105-122 (2009) |
| 11 | | Mohammad Izadi,
Reza Safabakhsh:
An improved time-adaptive self-organizing map for high-speed shape modeling.
Pattern Recognition 42(7): 1361-1370 (2009) |
| 2008 |
|---|
| 10 | | Sara NavidPour,
Mohammad Izadi,
Ali Movaghar:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
COMPSAC 2008: 211-218 |
| 9 | | Mohammad Izadi,
Parvaneh Saeedi:
Robust region-based background subtraction and shadow removing using color and gradient information.
ICPR 2008: 1-5 |
| 8 | | Mohammad Izadi,
Marcello M. Bonsangue:
Recasting Constraint Automata into Büchi Automata.
ICTAC 2008: 156-170 |
| 7 | | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency.
SEFM 2008: 303-312 |
| 6 | | 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 |
|---|
| 5 | | Mohammad Izadi,
Ali Movaghar,
Farhad Arbab:
Model Checking of Component Connectors.
COMPSAC (1) 2007: 673-675 |
| 4 | | Mohammad Izadi,
Ali Movaghar:
Compositional failure-based semantic equivalences for Reo specifications.
SAVCBS 2007: 99-100 |
| 3 | | Mohammad Izadi:
Streamline diffusion method for treating coupling equations of hyperbolic scalar conservation laws.
Mathematical and Computer Modelling 45(1-2): 201-214 (2007) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page