Mohammad Izadi

87 papers A* 1B 6C 4Misc 3Journal 65Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fractional-order circuit simulations: A Ritz-SEKCOPs framework for linear and quadratically nonlinear electrical systems. Comput. Electr. Eng. Kamal Mamehrashi, Khursheed J. Ansari, Mohammad Izadi
2026	J	`jnl`	Mathematical and computational analysis of a fractional-order drug abuse model with nonlinear incidence and logistic growth. Math. Comput. Simul. Mohammad Izadi, Pundikala Veeresha, Waleed Adel
2026	J	`jnl`	Optimal control of chaos in a novel SITR epidemic model with generalized incidence and adaptive treatment dynamics: A deep neural network analysis. Math. Comput. Simul. Ahmed Ibrahim El-Mesady, M. A. Abdelkawy, Muhammad Farhan, Mohammad Izadi
2026	J	`jnl`	Utilizing septic B-splines for inverse recovery in sixth-order boussinesq-love equations. Comput. Appl. Math. M. J. Huntul, Ibrahim Tekin, Mohammad Izadi
2025	Misc	`conf`	A Novel Mixed-Method Approach to Missing Value Imputation: An Introduction to MissMixed. CSICC Mohammad Mahdi Kalhori, Mohammad Izadi
2025	J	`jnl`	ASDFormer: A Transformer with Mixtures of Pooling-Classifier Experts for Robust Autism Diagnosis and Biomarker Discovery. CoRR Mohammad Izadi, Mehran Safayani
2025	J	`jnl`	Fractional-order Liouville-Caputo electrical circuit models: QLM-Dickson matrix collocation algorithms. Comput. Electr. Eng. Mohammad Izadi, Mahdi Kamandar
2025	J	`jnl`	Numerical simulations of Rosenau-Burgers equations via Crank-Nicolson spectral Pell matrix algorithm. J. Appl. Math. Comput. Mohammad Izadi, Hari Mohan Srivastava, Kamal Mamehrashi
2025	J	`jnl`	Uncovering Grounding IDs: How External Cues Shape Multi-Modal Binding. CoRR Hosein Hasani, Amirmohammad Izadi, Fatemeh Askari, Mobin Bagherian, Sadegh Mohammadian, Mohammad Izadi, Mahdieh Soleymani Baghshah
2025	J	`jnl`	Understanding Counting Mechanisms in Large Language and Vision-Language Models. CoRR Hosein Hasani, Amirmohammad Izadi, Fatemeh Askari, Mobin Bagherian, Sadegh Mohammadian, Mohammad Izadi, Mahdieh Soleymani Baghshah
2024	J	`jnl`	An effective numerical algorithm for coupled systems of Emden-Fowler equations via shifted airfoil functions of the first kind. Math. Model. Anal. Mohammad Izadi, Pradip Roul
2024	J	`jnl`	Knowledge Distillation on Spatial-Temporal Graph Convolutional Network for Traffic Prediction. CoRR Mohammad Izadi, Mehran Safayani, Abdolreza Mirzaei
2024	J	`jnl`	WIDESim: A Toolkit for Simulating Resource Management Techniques Of Scientific Workflows in Distributed Environments with Graph Topology. J. Grid Comput. Mohammad Amin Rayej, Hajar Siar, Ahmadreza Hamzei, Mohammad Sadegh Majidi Yazdi, Parsa Mohammadian, Mohammad Izadi
2023	J	`jnl`	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. Mohammad Izadi, Pradip Roul
2023	J	`jnl`	Application of the Bell polynomials for the solution of some differential-algebraic equations. CoRR Hari Mohan Srivastava, Giriraj Methi, Anil Kumar, Mohammad Izadi, Vishnu Narayan Mishra, Brahim Benhammouda
2023	J	`jnl`	Applications of Modified Bessel Polynomials to Solve a Nonlinear Chaotic Fractional-Order System in the Financial Market: Domain-Splitting Collocation Techniques. Comput. Mohammad Izadi, Hari Mohan Srivastava
2023	J	`jnl`	Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface. CoRR Atieh Taheri, Mohammad Izadi, Gururaj Shriram, Negar Rostamzadeh, Shaun K. Kane
2023	J	`jnl`	Proposing a Dimensionality Reduction Technique With an Inequality for Unsupervised Learning from High-Dimensional Big Data. IEEE Trans. Syst. Man Cybern. Syst. Hassan Ismkhan, Mohammad Izadi
2022	J	`jnl`	A convergent hybrid numerical scheme for a class of nonlinear diffusion equations. Comput. Appl. Math. Mohammad Izadi, Dia Zeidan
2022	J	`jnl`	An Effective Approximation Algorithm for Second-Order Singular Functional Differential Equations. Axioms Mohammad Izadi, Hari M. Srivastava, Waleed Adel
2022	J	`jnl`	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. Suayip Yüzbasi, Mohammad Izadi
2022	J	`jnl`	DD-KARB: data-driven compliance to quality by rule based benchmarking. J. Big Data MohammadReza Besharati, Mohammad Izadi
2022	J	`jnl`	Fractional Clique Collocation Technique for Numerical Simulations of Fractional-Order Brusselator Chemical Model. Axioms Mohammad Izadi, Hari Mohan Srivastava
2022	J	`jnl`	K-means-G*: Accelerating Inf. Sci. Hassan Ismkhan, Mohammad Izadi
2022	J	`jnl`	Predicting human behavior in size-variant repeated games through deep convolutional neural networks. Prog. Artif. Intell. Afrooz Vazifedan, Mohammad Izadi
2022	J	`jnl`	Selfish Routing Game-Based Multi-Resource Allocation and Fair Scheduling of Indivisible Jobs in Edge Environments. IEEE Access Hajar Siar, Mohammad Izadi
2022	J	`jnl`	Spectral semi-discretization algorithm for a class of nonlinear parabolic PDEs with applications. Appl. Math. Comput. Mohammad Izadi, Pradip Roul
2022	J	`jnl`	Stateless and Rule-Based Verification For Compliance Checking Applications. CoRR MohammadReza Besharati, Mohammad Izadi, Ehsaneddin Asgari
2022	J	`jnl`	Two-stage explicit schemes based on numerical approximations of convection-diffusion equations. Int. J. Comput. Sci. Math. Mohammad Izadi
2022	J	`jnl`	WIDESim: A toolkit for simulating resource management techniques of scientific Workflows In Distributed Environments with graph topology. CoRR Mohammad Amin Rayej, Hajar Siar, Mohammad Izadi
2021	J	`jnl`	A discontinuous finite element approximation to singular Lane-Emden type equations. Appl. Math. Comput. Mohammad Izadi
2021	J	`jnl`	An efficient approximation technique applied to a non-linear Lane-Emden pantograph delay differential model. Appl. Math. Comput. Mohammad Izadi, H. M. Srivastava
2021	J	`jnl`	An efficient power-aware VM allocation mechanism in cloud data centers: a micro genetic-based approach. Clust. Comput. Mehran Tarahomi, Mohammad Izadi, Mostafa Ghobaei-Arani
2021	J	`jnl`	Application of Vieta-Lucas Series to Solve a Class of Multi-Pantograph Delay Differential Equations with Singularity. Symmetry Mohammad Izadi, Suayip Yüzbasi, Khursheed J. Ansari
2021	J	`jnl`	Assessing and Supplying the Health of Videos Games via Formal Semantics. CoRR MohammadReza Besharati, Mohammad Izadi
2021	J	`jnl`	Communities Detection for Advertising by Futuristic Greedy Method with Clustering Approach. Big Data Ali Bakhthemmat, Mohammad Izadi
2021	J	`jnl`	Langar: An Approach to Evaluate Reo Programming Language. CoRR MohammadReza Besharati, Mohammad Izadi
2021	J	`jnl`	Offloading Coalition Formation for Scheduling Scientific Workflow Ensembles in Fog Environments. J. Grid Comput. Hajar Siar, Mohammad Izadi
2021	J	`jnl`	SELM: Software Engineering of Machine Learning Models. CoRR Nafiseh Jafari, MohammadReza Besharati, Mohammad Izadi, Maryam Hourali
2021	J	`jnl`	Solving fully dynamic bin packing problem for virtual machine allocation in the cloud environment by the futuristic greedy algorithm. J. Intell. Fuzzy Syst. Ali Bakhthemmat, Mohammad Izadi
2020	J	`jnl`	A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. IEEE Access Alireza Nowroozi, Peyman Teymoori, Toktam Ramezanifarkhani, MohammadReza Besharati, Mohammad Izadi
2020	J	`jnl`	A Discretization Approach for the Nonlinear Fractional Logistic Equation. Entropy Mohammad Izadi, Hari M. Srivastava
2020	J	`jnl`	A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. CoRR MohammadReza Besharati, Mohammad Izadi
2020	J	`jnl`	An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes. IEEE Trans. Hum. Mach. Syst. Fereshteh Jadidi Miandashti, Mohammad Izadi, Ali Asghar Nazari Shirehjini, Shervin Shirmohammadi
2020	J	`jnl`	Broadcast Complexity and Adaptive Adversaries in Verifiable Secret Sharing. Secur. Commun. Networks Seyed Amir Hosseini Beghaeiraveri, Mohammad Izadi, Mohsen Rezvani
2020	J	`jnl`	Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach. J. Big Data Ali Bakhthemmat, Mohammad Izadi
2020	J	`jnl`	Generalized Bessel Polynomial for Multi-Order Fractional Differential Equations. Symmetry Mohammad Izadi, Carlo Cattani
2020	J	`jnl`	KARB Solution: Compliance to Quality by Rule Based Benchmarking. CoRR MohammadReza Besharati, Mohammad Izadi
2020	J	`jnl`	Phishing Detection Using Machine Learning Techniques. CoRR Vahid Shahrivari, Mohammad Mahdi Darabi, Mohammad Izadi
2019	J	`jnl`	A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts. CoRR Hossein Keshavarz, Shohreh Tabatabayi Seifi, Mohammad Izadi
2019	J	`jnl`	A prediction-based and power-aware virtual machine allocation algorithm in three-tier cloud data centers. Int. J. Commun. Syst. Mehran Tarahomi, Mohammad Izadi
2019	J	`jnl`	An improved upper bound on dilation of regular polygons. Comput. Geom. Sattar Sattari, Mohammad Izadi
2019	J	`jnl`	DAST Model: Deciding About Semantic Complexity of a Text. CoRR MohammadReza Besharati, Mohammad Izadi
2019	B	`conf`	Mutual Noise Estimation Algorithm for Video Denoising. ICIP Mohammad Izadi, Neil Birkbeck, Balu Adsumilli
2019	J	`jnl`	New approach for reducing energy consumption and load balancing in data centers of cloud computing. J. Intell. Fuzzy Syst. Mehran Tarahomi, Mohammad Izadi
2019	C	`conf`	Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. SoMeT Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah
2018	C	`conf`	A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. VECoS Alireza Farhadi, Mohammad Izadi, Jafar Habibi
2018	J	`jnl`	Upper bounds for minimum dilation triangulation in two special cases. Inf. Process. Lett. Sattar Sattari, Mohammad Izadi
2017	J	`jnl`	An exact algorithm for the minimum dilation triangulation problem. J. Glob. Optim. Sattar Sattari, Mohammad Izadi
2016	A*	`conf`	A Perceptual Quality Metric for Videos Distorted by Spatially Correlated Noise. ACM Multimedia Chao Chen, Mohammad Izadi, Anil C. Kokaram
2015	J	`jnl`	Byzantine consensus for unknown dynamic networks. J. Supercomput. Erfan Taheri, Mohammad Izadi
2015	—	`conf`	Improving Security Issues in MANET AODV Routing Protocol. ADHOCNETS Mahsa Gharehkoolchian, Ali Mohammad Afshin Hemmatyar, Mohammad Izadi
2015	J	`jnl`	Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results. CoRR Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari
2012	Misc	`conf`	A Büchi automata based model checking framework for reo connectors. SAC Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar
2012	—	`—`	Hierarchical Matrix Techniques on Massively Parallel Computers Mohammad Izadi
2012	J	`jnl`	Parallel H-matrix arithmetic on distributed-memory systems. Comput. Vis. Sci. Mohammad Izadi
2012	J	`jnl`	Robust Weighted Graph Transformation Matching for Rigid and Nonrigid Image Registration. IEEE Trans. Image Process. Mohammad Izadi, Parvaneh Saeedi
2012	J	`jnl`	Three-Dimensional Polygonal Building Model Estimation From Single Satellite Images. IEEE Trans. Geosci. Remote. Sens. Mohammad Izadi, Parvaneh Saeedi
2011	J	`jnl`	Büchi automata for modeling component connectors. Softw. Syst. Model. Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
2010	B	`conf`	Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation. ICPR Mohammad Izadi, Parvaneh Saeedi
2010	J	`jnl`	Failure-based equivalence of constraint automata. Int. J. Comput. Math. Mohammad Izadi, Ali Movaghar
2010	B	`conf`	Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning. ICIP Mohammad Izadi, Parvaneh Saeedi
2009	J	`jnl`	An improved time-adaptive self-organizing map for high-speed shape modeling. Pattern Recognit. Mohammad Izadi, Reza Safabakhsh
2009	—	`conf`	Automata Based Model Checking for Reo Connectors. FSEN Marcello M. Bonsangue, Mohammad Izadi
2009	—	`conf`	Height estimation for buildings in monocular satellite/airborne images based on fuzzy reasoning and genetic algorithm. WIAMIS Mohammad Izadi, Parvaneh Saeedi
2008	Misc	`conf`	Linear Temporal Logic of Constraint Automata. CSICC Sara NavidPour, Mohammad Izadi
2008	B	`conf`	Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC Sara NavidPour, Mohammad Izadi, Ali Movaghar
2008	J	`jnl`	Model Checking of Component Based Software Using Compositional Reductions. Int. J. Softw. Eng. Knowl. Eng. Mohammad Izadi, Ali Movaghar
2008	B	`conf`	Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
2008	C	`conf`	Recasting Constraint Automata into Büchi Automata. ICTAC Mohammad Izadi, Marcello M. Bonsangue
2008	B	`conf`	Robust region-based background subtraction and shadow removing using color and gradient information. ICPR Mohammad Izadi, Parvaneh Saeedi
2007	—	`conf`	Compositional Failure-based Equivalence of Constraint Automata. AVoCS Mohammad Izadi, Ali Movaghar
2007	—	`conf`	Compositional failure-based semantic equivalences for Reo specifications. SAVCBS Mohammad Izadi, Ali Movaghar
2007	—	`conf`	Model Checking of Component Connectors. COMPSAC (1) Mohammad Izadi, Ali Movaghar, Farhad Arbab
2007	J	`jnl`	Streamline diffusion method for treating coupling equations of hyperbolic scalar conservation laws. Math. Comput. Model. Mohammad Izadi
2005	C	`conf`	An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE Mohammad Izadi, Ali Movaghar-Rahimabadi
2005	—	`conf`	An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. FSEN Mohammad Izadi, Ali Movaghar-Rahimabadi