An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. - Mohammad Izadi; Ali Movaghar-Rahimabadi (SEKE, 2005)

An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. - Mohammad Izadi; Ali Movaghar-Rahimabadi (FSEN, 2005)

Model Checking of Component Connectors. - Mohammad Izadi; Ali Movaghar 001; Farhad Arbab (COMPSAC (1), 2007)

Compositional failure-based semantic equivalences for Reo specifications. - Mohammad Izadi; Ali Movaghar 001 (SAVCBS, 2007)

Compositional Failure-based Equivalence of Constraint Automata. - Mohammad Izadi; Ali Movaghar 001 (AVoCS, 2007)

Streamline diffusion method for treating coupling equations of hyperbolic scalar conservation laws. - Mohammad Izadi (Math. Comput. Model., 2007)

Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. - Sara NavidPour; Mohammad Izadi; Ali Movaghar 001 (COMPSAC, 2008)

Linear Temporal Logic of Constraint Automata. - Sara NavidPour; Mohammad Izadi (CSICC, 2008)

Robust region-based background subtraction and shadow removing using color and gradient information. - Mohammad Izadi; Parvaneh Saeedi (ICPR, 2008)

Recasting Constraint Automata into Büchi Automata. - Mohammad Izadi; Marcello M. Bonsangue (ICTAC, 2008)

Modeling Component Connectors: Synchronisation and Context-Dependency. - Mohammad Izadi; Marcello M. Bonsangue; Dave Clarke 001 (SEFM, 2008)

Model Checking of Component Based Software Using Compositional Reductions. - Mohammad Izadi; Ali Movaghar 001 (Int. J. Softw. Eng. Knowl. Eng., 2008)

Automata Based Model Checking for Reo Connectors. - Marcello M. Bonsangue; Mohammad Izadi (FSEN, 2009)

Height estimation for buildings in monocular satellite/airborne images based on fuzzy reasoning and genetic algorithm. - Mohammad Izadi; Parvaneh Saeedi (WIAMIS, 2009)

An improved time-adaptive self-organizing map for high-speed shape modeling. - Mohammad Izadi; Reza Safabakhsh (Pattern Recognit., 2009)

Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning. - Mohammad Izadi; Parvaneh Saeedi (ICIP, 2010)

Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation. - Mohammad Izadi; Parvaneh Saeedi (ICPR, 2010)

Failure-based equivalence of constraint automata. - Mohammad Izadi; Ali Movaghar 001 (Int. J. Comput. Math., 2010)

Büchi automata for modeling component connectors. - Mohammad Izadi; Marcello M. Bonsangue; Dave Clarke 001 (Softw. Syst. Model., 2011)

A Büchi automata based model checking framework for reo connectors. - Sarmen Keshishzadeh; Mohammad Izadi; Ali Movaghar 001 (SAC, 2012)

Parallel H-matrix arithmetic on distributed-memory systems. - Mohammad Izadi (Comput. Vis. Sci., 2012)

Three-Dimensional Polygonal Building Model Estimation From Single Satellite Images. - Mohammad Izadi; Parvaneh Saeedi (IEEE Trans. Geosci. Remote. Sens., 2012)

Robust Weighted Graph Transformation Matching for Rigid and Nonrigid Image Registration. - Mohammad Izadi; Parvaneh Saeedi (IEEE Trans. Image Process., 2012)

Hierarchical Matrix Techniques on Massively Parallel Computers - Mohammad Izadi (2012)

Improving Security Issues in MANET AODV Routing Protocol. - Mahsa Gharehkoolchian; Ali Mohammad Afshin Hemmatyar; Mohammad Izadi (ADHOCNETS, 2015)

Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results. - Mohammad Izadi; Saeed Masoudian; Sahand Mozaffari (CoRR, 2015)

Byzantine consensus for unknown dynamic networks. - Erfan Taheri; Mohammad Izadi (J. Supercomput., 2015)

A Perceptual Quality Metric for Videos Distorted by Spatially Correlated Noise. - Chao Chen; Mohammad Izadi; Anil C. Kokaram (ACM Multimedia, 2016)

An exact algorithm for the minimum dilation triangulation problem. - Sattar Sattari; Mohammad Izadi (J. Glob. Optim., 2017)

A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. - Alireza Farhadi; Mohammad Izadi; Jafar Habibi (VECoS, 2018)

Upper bounds for minimum dilation triangulation in two special cases. - Sattar Sattari; Mohammad Izadi (Inf. Process. Lett., 2018)

Mutual Noise Estimation Algorithm for Video Denoising. - Mohammad Izadi; Neil Birkbeck; Balu Adsumilli (ICIP, 2019)

Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. - Zainab Liaghat; MohammadReza Besharati; Mohammad Izadi; Ehsan Khamespanah (SoMeT, 2019)

An improved upper bound on dilation of regular polygons. - Sattar Sattari; Mohammad Izadi (Comput. Geom., 2019)

DAST Model: Deciding About Semantic Complexity of a Text. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2019)

A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts. - Hossein Keshavarz; Shohreh Tabatabayi Seifi; Mohammad Izadi (CoRR, 2019)

A prediction-based and power-aware virtual machine allocation algorithm in three-tier cloud data centers. - Mehran Tarahomi; Mohammad Izadi (Int. J. Commun. Syst., 2019)

New approach for reducing energy consumption and load balancing in data centers of cloud computing. - Mehran Tarahomi; Mohammad Izadi (J. Intell. Fuzzy Syst., 2019)

A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. - Alireza Nowroozi; Peyman Teymoori; Toktam Ramezanifarkhani; MohammadReza Besharati; Mohammad Izadi (IEEE Access, 2020)

KARB Solution: Compliance to Quality by Rule Based Benchmarking. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2020)

Phishing Detection Using Machine Learning Techniques. - Vahid Shahrivari; Mohammad Mahdi Darabi; Mohammad Izadi (CoRR, 2020)

A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2020)

A Discretization Approach for the Nonlinear Fractional Logistic Equation. - Mohammad Izadi; Hari M. Srivastava (Entropy, 2020)

Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach. - Ali Bakhthemmat; Mohammad Izadi (J. Big Data, 2020)

Broadcast Complexity and Adaptive Adversaries in Verifiable Secret Sharing. - Seyed Amir Hosseini Beghaeiraveri; Mohammad Izadi; Mohsen Rezvani (Secur. Commun. Networks, 2020)

Generalized Bessel Polynomial for Multi-Order Fractional Differential Equations. - Mohammad Izadi; Carlo Cattani (Symmetry, 2020)

An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes. - Fereshteh Jadidi Miandashti; Mohammad Izadi; Ali Asghar Nazari Shirehjini; Shervin Shirmohammadi (IEEE Trans. Hum. Mach. Syst., 2020)

A discontinuous finite element approximation to singular Lane-Emden type equations. - Mohammad Izadi (Appl. Math. Comput., 2021)

An efficient approximation technique applied to a non-linear Lane-Emden pantograph delay differential model. - Mohammad Izadi; H. M. Srivastava 001 (Appl. Math. Comput., 2021)

Communities Detection for Advertising by Futuristic Greedy Method with Clustering Approach. - Ali Bakhthemmat; Mohammad Izadi (Big Data, 2021)

An efficient power-aware VM allocation mechanism in cloud data centers: a micro genetic-based approach. - Mehran Tarahomi; Mohammad Izadi; Mostafa Ghobaei-Arani (Clust. Comput., 2021)

Langar: An Approach to Evaluate Reo Programming Language. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2021)

SELM: Software Engineering of Machine Learning Models. - Nafiseh Jafari; MohammadReza Besharati; Mohammad Izadi; Maryam Hourali (CoRR, 2021)

Assessing and Supplying the Health of Videos Games via Formal Semantics. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2021)

Offloading Coalition Formation for Scheduling Scientific Workflow Ensembles in Fog Environments. - Hajar Siar; Mohammad Izadi (J. Grid Comput., 2021)

Solving fully dynamic bin packing problem for virtual machine allocation in the cloud environment by the futuristic greedy algorithm. - Ali Bakhthemmat; Mohammad Izadi (J. Intell. Fuzzy Syst., 2021)

Application of Vieta-Lucas Series to Solve a Class of Multi-Pantograph Delay Differential Equations with Singularity. - Mohammad Izadi; Suayip Yüzbasi; Khursheed J. Ansari (Symmetry, 2021)

Selfish Routing Game-Based Multi-Resource Allocation and Fair Scheduling of Indivisible Jobs in Edge Environments. - Hajar Siar; Mohammad Izadi (IEEE Access, 2022)

Spectral semi-discretization algorithm for a class of nonlinear parabolic PDEs with applications. - Mohammad Izadi; Pradip Roul (Appl. Math. Comput., 2022)

Bessel-quasilinearization technique to solve the fractional-order HIV-1 infection of CD4+ T-cells considering the impact of antiviral drug treatment. - Suayip Yüzbasi; Mohammad Izadi (Appl. Math. Comput., 2022)

Fractional Clique Collocation Technique for Numerical Simulations of Fractional-Order Brusselator Chemical Model. - Mohammad Izadi; Hari Mohan Srivastava (Axioms, 2022)

An Effective Approximation Algorithm for Second-Order Singular Functional Differential Equations. - Mohammad Izadi; Hari M. Srivastava; Waleed Adel (Axioms, 2022)

Stateless and Rule-Based Verification For Compliance Checking Applications. - MohammadReza Besharati; Mohammad Izadi; Ehsaneddin Asgari (CoRR, 2022)

WIDESim: A toolkit for simulating resource management techniques of scientific Workflows In Distributed Environments with graph topology. - Mohammad Amin Rayej; Hajar Siar; Mohammad Izadi (CoRR, 2022)

Two-stage explicit schemes based on numerical approximations of convection-diffusion equations. - Mohammad Izadi (Int. J. Comput. Sci. Math., 2022)

K-means-G*: Accelerating k-means clustering algorithm utilizing primitive geometric concepts. - Hassan Ismkhan; Mohammad Izadi (Inf. Sci., 2022)

DD-KARB: data-driven compliance to quality by rule based benchmarking. - MohammadReza Besharati; Mohammad Izadi (J. Big Data, 2022)

Predicting human behavior in size-variant repeated games through deep convolutional neural networks. - Afrooz Vazifedan; Mohammad Izadi (Prog. Artif. Intell., 2022)

CONFLICT SCENARIOS IN SMART HOMES. - Fereshteh Jadidi Miandashti; Mohammad Izadi; Ali Asghar Nazari Shirehjini; Shervin Shirmohammadi (IEEE DataPort, 2022)

A convergent hybrid numerical scheme for a class of nonlinear diffusion equations. - Mohammad Izadi; Dia Zeidan (Comput. Appl. Math., 2022)

A new approach based on shifted Vieta-Fibonacci-quasilinearization technique and its convergence analysis for nonlinear third-order Emden-Fowler equation with multi-singularity. - Mohammad Izadi; Pradip Roul (Commun. Nonlinear Sci. Numer. Simul., 2023)

Application of the Bell polynomials for the solution of some differential-algebraic equations. - Hari Mohan Srivastava; Giriraj Methi; Anil Kumar; Mohammad Izadi; Vishnu Narayan Mishra; Brahim Benhammouda (CoRR, 2023)

Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface. - Atieh Taheri; Mohammad Izadi; Gururaj Shriram; Negar Rostamzadeh; Shaun K. Kane (CoRR, 2023)

Applications of Modified Bessel Polynomials to Solve a Nonlinear Chaotic Fractional-Order System in the Financial Market: Domain-Splitting Collocation Techniques. - Mohammad Izadi; Hari Mohan Srivastava (Comput., 2023)

Proposing a Dimensionality Reduction Technique With an Inequality for Unsupervised Learning from High-Dimensional Big Data. - Hassan Ismkhan; Mohammad Izadi (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Knowledge Distillation on Spatial-Temporal Graph Convolutional Network for Traffic Prediction. - Mohammad Izadi; Mehran Safayani; Abdolreza Mirzaei (CoRR, 2024)

An effective numerical algorithm for coupled systems of Emden-Fowler equations via shifted airfoil functions of the first kind. - Mohammad Izadi; Pradip Roul (Math. Model. Anal., 2024)

WIDESim: A Toolkit for Simulating Resource Management Techniques Of Scientific Workflows in Distributed Environments with Graph Topology. - Mohammad Amin Rayej; Hajar Siar; Ahmadreza Hamzei; Mohammad Sadegh Majidi Yazdi; Parsa Mohammadian; Mohammad Izadi (J. Grid Comput., 2024)

A Novel Mixed-Method Approach to Missing Value Imputation: An Introduction to MissMixed. - Mohammad Mahdi Kalhori; Mohammad Izadi (CSICC, 2025)

Fractional-order Liouville-Caputo electrical circuit models: QLM-Dickson matrix collocation algorithms. - Mohammad Izadi; Mahdi Kamandar (Comput. Electr. Eng., 2025)

Numerical simulations of Rosenau-Burgers equations via Crank-Nicolson spectral Pell matrix algorithm. - Mohammad Izadi; Hari Mohan Srivastava; Kamal Mamehrashi (J. Appl. Math. Comput., 2025)

ASDFormer: A Transformer with Mixtures of Pooling-Classifier Experts for Robust Autism Diagnosis and Biomarker Discovery. - Mohammad Izadi; Mehran Safayani (CoRR, 2025)

Mathematical and computational analysis of a fractional-order drug abuse model with nonlinear incidence and logistic growth. - Mohammad Izadi; Pundikala Veeresha; Waleed Adel (Math. Comput. Simul., 2026)