| 2025 | CSICC | A Novel Mixed-Method Approach to Missing Value Imputation: An Introduction to MissMixed. | Mohammad Mahdi Kalhori, Mohammad Izadi |
| 2019 | ICIP | Mutual Noise Estimation Algorithm for Video Denoising. | Mohammad Izadi, Neil Birkbeck, Balu Adsumilli |
| 2019 | SoMeT | Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. | Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah |
| 2018 | VECoS | A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. | Alireza Farhadi, Mohammad Izadi, Jafar Habibi |
| 2012 | SAC | A Bchi automata based model checking framework for reo connectors. | Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar |
| 2010 | ICIP | Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning. | Mohammad Izadi, Parvaneh Saeedi |
| 2010 | ICPR | Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation. | Mohammad Izadi, Parvaneh Saeedi |
| 2008 | COMPSAC | Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. | Sara NavidPour, Mohammad Izadi, Ali Movaghar |
| 2008 | CSICC | Linear Temporal Logic of Constraint Automata. | Sara NavidPour, Mohammad Izadi |
| 2008 | ICPR | Robust region-based background subtraction and shadow removing using color and gradient information. | Mohammad Izadi, Parvaneh Saeedi |
| 2008 | ICTAC | Recasting Constraint Automata into Bchi Automata. | Mohammad Izadi, Marcello M. Bonsangue |
| 2008 | SEFM | Modeling Component Connectors: Synchronisation and Context-Dependency. | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
| 2007 | COMPSAC | Model Checking of Component Connectors. | Mohammad Izadi, Ali Movaghar, Farhad Arbab |
| 2005 | SEKE | An Efficient Model Checking Algorithm for a Fragment of -Calculus. | Mohammad Izadi, Ali Movaghar-Rahimabadi |