Mohammad Izadi

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 52

Top Topics

Correlated Noise

Differential Equations

Virtual Machine

Top Venues

Appl. Math. Comput.

J. Intell. Fuzzy Syst.

Publications

Mohammad Amin Rayej, Hajar Siar, Ahmadreza Hamzei, Mohammad Sadegh Majidi Yazdi, Parsa Mohammadian, Mohammad Izadi
WIDESim: A Toolkit for Simulating Resource Management Techniques Of Scientific Workflows in Distributed Environments with Graph Topology. J. Grid Comput. 22 (3) (2024)
Mohammad Izadi, Mehran Safayani, Abdolreza Mirzaei
Knowledge Distillation on Spatial-Temporal Graph Convolutional Network for Traffic Prediction. CoRR (2024)
Mohammad Izadi, Pradip Roul
A new approach based on shifted Vieta-Fibonacci-quasilinearization technique and its convergence analysis for nonlinear third-order Emden-Fowler equation with multi-singularity. Commun. Nonlinear Sci. Numer. Simul. 117 (2023)
Atieh Taheri, Mohammad Izadi, Gururaj Shriram, Negar Rostamzadeh, Shaun Kane
Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface. CoRR (2023)
Mohammad Izadi, Hari Mohan Srivastava
Applications of Modified Bessel Polynomials to Solve a Nonlinear Chaotic Fractional-Order System in the Financial Market: Domain-Splitting Collocation Techniques. Comput. 11 (7) (2023)
Hari Mohan Srivastava, Giriraj Methi, Anil Kumar, Mohammad Izadi, Vishnu Narayan Mishra, Brahim Benhammouda
Application of the Bell polynomials for the solution of some differential-algebraic equations. CoRR (2023)
Hassan Ismkhan, Mohammad Izadi
Proposing a Dimensionality Reduction Technique With an Inequality for Unsupervised Learning from High-Dimensional Big Data. IEEE Trans. Syst. Man Cybern. Syst. 53 (6) (2023)
Mohammad Izadi, Pradip Roul
Spectral semi-discretization algorithm for a class of nonlinear parabolic PDEs with applications. Appl. Math. Comput. 429 (2022)
Mohammad Izadi
Two-stage explicit schemes based on numerical approximations of convection-diffusion equations. Int. J. Comput. Sci. Math. 16 (3) (2022)
Mohammad Izadi, Dia Zeidan
A convergent hybrid numerical scheme for a class of nonlinear diffusion equations. Comput. Appl. Math. 41 (7) (2022)
Mohammad Amin Rayej, Hajar Siar, Mohammad Izadi
WIDESim: A toolkit for simulating resource management techniques of scientific Workflows In Distributed Environments with graph topology. CoRR (2022)
Afrooz Vazifedan, Mohammad Izadi
Predicting human behavior in size-variant repeated games through deep convolutional neural networks. Prog. Artif. Intell. 11 (1) (2022)
Mohammad Izadi, Hari M. Srivastava, Waleed Adel
An Effective Approximation Algorithm for Second-Order Singular Functional Differential Equations. Axioms 11 (3) (2022)
MohammadReza Besharati, Mohammad Izadi, Ehsaneddin Asgari
Stateless and Rule-Based Verification For Compliance Checking Applications. CoRR (2022)
Hajar Siar, Mohammad Izadi
Selfish Routing Game-Based Multi-Resource Allocation and Fair Scheduling of Indivisible Jobs in Edge Environments. IEEE Access 10 (2022)
Hassan Ismkhan, Mohammad Izadi
-means clustering algorithm utilizing primitive geometric concepts. Inf. Sci. 618 (2022)
Mohammad Izadi, Hari Mohan Srivastava
Fractional Clique Collocation Technique for Numerical Simulations of Fractional-Order Brusselator Chemical Model. Axioms 11 (11) (2022)
MohammadReza Besharati, Mohammad Izadi
DD-KARB: data-driven compliance to quality by rule based benchmarking. J. Big Data 9 (1) (2022)
Suayip Yüzbasi, Mohammad Izadi
Bessel-quasilinearization technique to solve the fractional-order HIV-1 infection of CD4+ T-cells considering the impact of antiviral drug treatment. Appl. Math. Comput. 431 (2022)
MohammadReza Besharati, Mohammad Izadi
Assessing and Supplying the Health of Videos Games via Formal Semantics. CoRR (2021)
Nafiseh Jafari, MohammadReza Besharati, Mohammad Izadi, Maryam Hourali
SELM: Software Engineering of Machine Learning Models. CoRR (2021)
Mohammad Izadi, Suayip Yüzbasi, Khursheed J. Ansari
Application of Vieta-Lucas Series to Solve a Class of Multi-Pantograph Delay Differential Equations with Singularity. Symmetry 13 (12) (2021)
Hajar Siar, Mohammad Izadi
Offloading Coalition Formation for Scheduling Scientific Workflow Ensembles in Fog Environments. J. Grid Comput. 19 (3) (2021)
MohammadReza Besharati, Mohammad Izadi
Langar: An Approach to Evaluate Reo Programming Language. CoRR (2021)
Ali Bakhthemmat, Mohammad Izadi
Solving fully dynamic bin packing problem for virtual machine allocation in the cloud environment by the futuristic greedy algorithm. J. Intell. Fuzzy Syst. 40 (3) (2021)
Mohammad Izadi, H. M. Srivastava
An efficient approximation technique applied to a non-linear Lane-Emden pantograph delay differential model. Appl. Math. Comput. 401 (2021)
Mehran Tarahomi, Mohammad Izadi, Mostafa Ghobaei-Arani
An efficient power-aware VM allocation mechanism in cloud data centers: a micro genetic-based approach. Clust. Comput. 24 (2) (2021)
Ali Bakhthemmat, Mohammad Izadi
Communities Detection for Advertising by Futuristic Greedy Method with Clustering Approach. Big Data 9 (1) (2021)
Mohammad Izadi
A discontinuous finite element approximation to singular Lane-Emden type equations. Appl. Math. Comput. 401 (2021)
Mohammad Izadi, Carlo Cattani
Generalized Bessel Polynomial for Multi-Order Fractional Differential Equations. Symmetry 12 (8) (2020)
Ali Bakhthemmat, Mohammad Izadi
Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach. J. Big Data 7 (1) (2020)
Mohammad Izadi, Hari M. Srivastava
A Discretization Approach for the Nonlinear Fractional Logistic Equation. Entropy 22 (11) (2020)
Seyed Amir Hosseini Beghaeiraveri, Mohammad Izadi, Mohsen Rezvani
Broadcast Complexity and Adaptive Adversaries in Verifiable Secret Sharing. Secur. Commun. Networks 2020 (2020)
Alireza Nowroozi, Peyman Teymoori, Toktam Ramezanifarkhani, MohammadReza Besharati, Mohammad Izadi
A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. IEEE Access 8 (2020)
Fereshteh Jadidi Miandashti, Mohammad Izadi, Ali Asghar Nazari Shirehjini, Shervin Shirmohammadi
An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes. IEEE Trans. Hum. Mach. Syst. 50 (6) (2020)
Vahid Shahrivari, Mohammad Mahdi Darabi, Mohammad Izadi
Phishing Detection Using Machine Learning Techniques. CoRR (2020)
MohammadReza Besharati, Mohammad Izadi
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. CoRR (2020)
MohammadReza Besharati, Mohammad Izadi
KARB Solution: Compliance to Quality by Rule Based Benchmarking. CoRR (2020)
Sattar Sattari, Mohammad Izadi
An improved upper bound on dilation of regular polygons. Comput. Geom. 80 (2019)
Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah
Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. SoMeT (2019)
MohammadReza Besharati, Mohammad Izadi
DAST Model: Deciding About Semantic Complexity of a Text. CoRR (2019)
Mohammad Izadi, Neil Birkbeck, Balu Adsumilli
Mutual Noise Estimation Algorithm for Video Denoising. ICIP (2019)
Mehran Tarahomi, Mohammad Izadi
A prediction-based and power-aware virtual machine allocation algorithm in three-tier cloud data centers. Int. J. Commun. Syst. 32 (3) (2019)
Hossein Keshavarz, Shohreh Tabatabayi Seifi, Mohammad Izadi
A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts. CoRR (2019)
Mehran Tarahomi, Mohammad Izadi
New approach for reducing energy consumption and load balancing in data centers of cloud computing. J. Intell. Fuzzy Syst. 37 (5) (2019)
Sattar Sattari, Mohammad Izadi
Upper bounds for minimum dilation triangulation in two special cases. Inf. Process. Lett. 133 (2018)
Alireza Farhadi, Mohammad Izadi, Jafar Habibi
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. VECoS (2018)
Sattar Sattari, Mohammad Izadi
An exact algorithm for the minimum dilation triangulation problem. J. Glob. Optim. 69 (2) (2017)
Chao Chen, Mohammad Izadi, Anil C. Kokaram
A Perceptual Quality Metric for Videos Distorted by Spatially Correlated Noise. ACM Multimedia (2016)
Mahsa Gharehkoolchian, Ali Mohammad Afshin Hemmatyar, Mohammad Izadi
Improving Security Issues in MANET AODV Routing Protocol. ADHOCNETS (2015)
Erfan Taheri, Mohammad Izadi
Byzantine consensus for unknown dynamic networks. J. Supercomput. 71 (4) (2015)
Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari
Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results. CoRR (2015)
Mohammad Izadi, Parvaneh Saeedi
Robust Weighted Graph Transformation Matching for Rigid and Nonrigid Image Registration. IEEE Trans. Image Process. 21 (10) (2012)
Mohammad Izadi, Parvaneh Saeedi
Three-Dimensional Polygonal Building Model Estimation From Single Satellite Images. IEEE Trans. Geosci. Remote. Sens. 50 (6) (2012)
Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar
A Büchi automata based model checking framework for reo connectors. SAC (2012)
Mohammad Izadi
Parallel H-matrix arithmetic on distributed-memory systems. Comput. Vis. Sci. 15 (2) (2012)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Büchi automata for modeling component connectors. Softw. Syst. Model. 10 (2) (2011)
Mohammad Izadi, Ali Movaghar
Failure-based equivalence of constraint automata. Int. J. Comput. Math. 87 (11) (2010)
Mohammad Izadi, Parvaneh Saeedi
Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning. ICIP (2010)
Mohammad Izadi, Parvaneh Saeedi
Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation. ICPR (2010)
Mohammad Izadi, Ali Movaghar
Compositional Failure-based Equivalence of Constraint Automata. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Mohammad Izadi, Parvaneh Saeedi
Height estimation for buildings in monocular satellite/airborne images based on fuzzy reasoning and genetic algorithm. WIAMIS (2009)
Marcello M. Bonsangue, Mohammad Izadi
Automata Based Model Checking for Reo Connectors. FSEN (2009)
Mohammad Izadi, Reza Safabakhsh
An improved time-adaptive self-organizing map for high-speed shape modeling. Pattern Recognit. 42 (7) (2009)
Mohammad Izadi, Parvaneh Saeedi
Robust region-based background subtraction and shadow removing using color and gradient information. ICPR (2008)
Mohammad Izadi, Marcello M. Bonsangue
Recasting Constraint Automata into Büchi Automata. ICTAC (2008)
Sara NavidPour, Mohammad Izadi, Ali Movaghar
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC (2008)
Sara NavidPour, Mohammad Izadi
Linear Temporal Logic of Constraint Automata. CSICC (2008)
Mohammad Izadi, Ali Movaghar
Model Checking of Component Based Software Using Compositional Reductions. Int. J. Softw. Eng. Knowl. Eng. 18 (5) (2008)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM (2008)
Mohammad Izadi, Ali Movaghar, Farhad Arbab
Model Checking of Component Connectors. COMPSAC (1) (2007)
Mohammad Izadi
Streamline diffusion method for treating coupling equations of hyperbolic scalar conservation laws. Math. Comput. Model. 45 (1-2) (2007)
Mohammad Izadi, Ali Movaghar
Compositional failure-based semantic equivalences for Reo specifications. SAVCBS (2007)
Mohammad Izadi, Ali Movaghar-Rahimabadi
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. Electron. Notes Theor. Comput. Sci. 159 (2006)
Mohammad Izadi, Ali Movaghar-Rahimabadi
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE (2005)