default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohammad Izadi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j41]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): 63 (2024)- [i14]Mohammad Izadi, Mehran Safayani, Abdolreza Mirzaei:
Knowledge Distillation on Spatial-Temporal Graph Convolutional Network for Traffic Prediction. CoRR abs/2401.11798 (2024) - 2023
- [j40]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: 106912 (2023) - [j39]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): 130 (2023) - [j38]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): 3880-3889 (2023) - [i13]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 abs/2304.06856 (2023) - [i12]Atieh Taheri, Mohammad Izadi, Gururaj Shriram, Negar Rostamzadeh, Shaun K. Kane:
Breaking Barriers to Creative Expression: Co-Designing and Implementing an Accessible Text-to-Image Interface. CoRR abs/2309.02402 (2023) - 2022
- [j37]Hajar Siar, Mohammad Izadi:
Selfish Routing Game-Based Multi-Resource Allocation and Fair Scheduling of Indivisible Jobs in Edge Environments. IEEE Access 10: 129042-129054 (2022) - [j36]Mohammad Izadi, Pradip Roul:
Spectral semi-discretization algorithm for a class of nonlinear parabolic PDEs with applications. Appl. Math. Comput. 429: 127226 (2022) - [j35]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: 127319 (2022) - [j34]Mohammad Izadi, Hari M. Srivastava, Waleed Adel:
An Effective Approximation Algorithm for Second-Order Singular Functional Differential Equations. Axioms 11(3): 133 (2022) - [j33]Mohammad Izadi, Hari Mohan Srivastava:
Fractional Clique Collocation Technique for Numerical Simulations of Fractional-Order Brusselator Chemical Model. Axioms 11(11): 654 (2022) - [j32]Mohammad Izadi, Dia Zeidan:
A convergent hybrid numerical scheme for a class of nonlinear diffusion equations. Comput. Appl. Math. 41(7) (2022) - [j31]Mohammad Izadi:
Two-stage explicit schemes based on numerical approximations of convection-diffusion equations. Int. J. Comput. Sci. Math. 16(3): 208-224 (2022) - [j30]Hassan Ismkhan, Mohammad Izadi:
K-means-G*: Accelerating k-means clustering algorithm utilizing primitive geometric concepts. Inf. Sci. 618: 298-316 (2022) - [j29]MohammadReza Besharati, Mohammad Izadi:
DD-KARB: data-driven compliance to quality by rule based benchmarking. J. Big Data 9(1): 103 (2022) - [j28]Afrooz Vazifedan, Mohammad Izadi:
Predicting human behavior in size-variant repeated games through deep convolutional neural networks. Prog. Artif. Intell. 11(1): 15-28 (2022) - [d1]Fereshteh Jadidi Miandashti, Mohammad Izadi, Ali Asghar Nazari Shirehjini, Shervin Shirmohammadi:
CONFLICT SCENARIOS IN SMART HOMES. IEEE DataPort, 2022
- [i11]MohammadReza Besharati, Mohammad Izadi, Ehsaneddin Asgari:
Stateless and Rule-Based Verification For Compliance Checking Applications. CoRR abs/2204.07430 (2022) - [i10]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 abs/2206.03538 (2022) - 2021
- [j27]Mohammad Izadi:
A discontinuous finite element approximation to singular Lane-Emden type equations. Appl. Math. Comput. 401: 126115 (2021) - [j26]Mohammad Izadi, H. M. Srivastava:
An efficient approximation technique applied to a non-linear Lane-Emden pantograph delay differential model. Appl. Math. Comput. 401: 126123 (2021) - [j25]Ali Bakhthemmat, Mohammad Izadi:
Communities Detection for Advertising by Futuristic Greedy Method with Clustering Approach. Big Data 9(1): 22-40 (2021) - [j24]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): 919-934 (2021) - [j23]Hajar Siar, Mohammad Izadi:
Offloading Coalition Formation for Scheduling Scientific Workflow Ensembles in Fog Environments. J. Grid Comput. 19(3): 34 (2021) - [j22]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): 4737-4760 (2021) - [j21]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): 2370 (2021) - [i9]MohammadReza Besharati, Mohammad Izadi:
Langar: An Approach to Evaluate Reo Programming Language. CoRR abs/2103.04648 (2021) - [i8]Nafiseh Jafari, MohammadReza Besharati, Mohammad Izadi, Maryam Hourali:
SELM: Software Engineering of Machine Learning Models. CoRR abs/2103.11249 (2021) - [i7]MohammadReza Besharati, Mohammad Izadi:
Assessing and Supplying the Health of Videos Games via Formal Semantics. CoRR abs/2104.04867 (2021) - 2020
- [j20]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: 59599-59617 (2020) - [j19]Mohammad Izadi, Hari M. Srivastava:
A Discretization Approach for the Nonlinear Fractional Logistic Equation. Entropy 22(11): 1328 (2020) - [j18]Ali Bakhthemmat, Mohammad Izadi:
Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach. J. Big Data 7(1): 6 (2020) - [j17]Seyed Amir Hosseini Beghaeiraveri, Mohammad Izadi, Mohsen Rezvani:
Broadcast Complexity and Adaptive Adversaries in Verifiable Secret Sharing. Secur. Commun. Networks 2020: 9428457:1-9428457:10 (2020) - [j16]Mohammad Izadi, Carlo Cattani:
Generalized Bessel Polynomial for Multi-Order Fractional Differential Equations. Symmetry 12(8): 1260 (2020) - [j15]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): 573-583 (2020) - [i6]MohammadReza Besharati, Mohammad Izadi:
KARB Solution: Compliance to Quality by Rule Based Benchmarking. CoRR abs/2007.05874 (2020) - [i5]Vahid Shahrivari, Mohammad Mahdi Darabi, Mohammad Izadi:
Phishing Detection Using Machine Learning Techniques. CoRR abs/2009.11116 (2020) - [i4]MohammadReza Besharati, Mohammad Izadi:
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. CoRR abs/2012.14280 (2020)
2010 – 2019
- 2019
- [j14]Sattar Sattari, Mohammad Izadi:
An improved upper bound on dilation of regular polygons. Comput. Geom. 80: 53-68 (2019) - [j13]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) - [j12]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): 6443-6455 (2019) - [c20]Mohammad Izadi, Neil Birkbeck, Balu Adsumilli:
Mutual Noise Estimation Algorithm for Video Denoising. ICIP 2019: 2424-2428 - [c19]Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah:
Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. SoMeT 2019: 725-738 - [i3]MohammadReza Besharati, Mohammad Izadi:
DAST Model: Deciding About Semantic Complexity of a Text. CoRR abs/1908.09080 (2019) - [i2]Hossein Keshavarz, Shohreh Tabatabayi Seifi, Mohammad Izadi:
A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts. CoRR abs/1909.09690 (2019) - 2018
- [j11]Sattar Sattari, Mohammad Izadi:
Upper bounds for minimum dilation triangulation in two special cases. Inf. Process. Lett. 133: 33-38 (2018) - [c18]Alireza Farhadi, Mohammad Izadi, Jafar Habibi:
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. VECoS 2018: 80-94 - 2017
- [j10]Sattar Sattari, Mohammad Izadi:
An exact algorithm for the minimum dilation triangulation problem. J. Glob. Optim. 69(2): 343-367 (2017) - 2016
- [c17]Chao Chen, Mohammad Izadi, Anil C. Kokaram:
A Perceptual Quality Metric for Videos Distorted by Spatially Correlated Noise. ACM Multimedia 2016: 1277-1285 - 2015
- [j9]Erfan Taheri, Mohammad Izadi:
Byzantine consensus for unknown dynamic networks. J. Supercomput. 71(4): 1587-1603 (2015) - [c16]Mahsa Gharehkoolchian, Ali Mohammad Afshin Hemmatyar, Mohammad Izadi:
Improving Security Issues in MANET AODV Routing Protocol. ADHOCNETS 2015: 237-250 - [i1]Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari:
Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results. CoRR abs/1511.05070 (2015) - 2012
- [b1]Mohammad Izadi:
Hierarchical Matrix Techniques on Massively Parallel Computers. Leipzig University, Germany, 2012 - [j8]Mohammad Izadi:
Parallel H-matrix arithmetic on distributed-memory systems. Comput. Vis. Sci. 15(2): 87-97 (2012) - [j7]Mohammad Izadi, Parvaneh Saeedi:
Three-Dimensional Polygonal Building Model Estimation From Single Satellite Images. IEEE Trans. Geosci. Remote. Sens. 50(6): 2254-2272 (2012) - [j6]Mohammad Izadi, Parvaneh Saeedi:
Robust Weighted Graph Transformation Matching for Rigid and Nonrigid Image Registration. IEEE Trans. Image Process. 21(10): 4369-4382 (2012) - [c15]Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar:
A Büchi automata based model checking framework for reo connectors. SAC 2012: 1536-1543 - 2011
- [j5]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Büchi automata for modeling component connectors. Softw. Syst. Model. 10(2): 183-200 (2011) - 2010
- [j4]Mohammad Izadi, Ali Movaghar:
Failure-based equivalence of constraint automata. Int. J. Comput. Math. 87(11): 2426-2443 (2010) - [c14]Mohammad Izadi, Parvaneh Saeedi:
Height estimation for buildings with complex contours in monocular satellite/airborne images based on fuzzy reasoning. ICIP 2010: 4293-4296 - [c13]Mohammad Izadi, Parvaneh Saeedi:
Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation. ICPR 2010: 472-475
2000 – 2009
- 2009
- [j3]Mohammad Izadi, Reza Safabakhsh:
An improved time-adaptive self-organizing map for high-speed shape modeling. Pattern Recognit. 42(7): 1361-1370 (2009) - [c12]Marcello M. Bonsangue, Mohammad Izadi:
Automata Based Model Checking for Reo Connectors. FSEN 2009: 260-275 - [c11]Mohammad Izadi, Parvaneh Saeedi:
Height estimation for buildings in monocular satellite/airborne images based on fuzzy reasoning and genetic algorithm. WIAMIS 2009: 125-128 - 2008
- [j2]Mohammad Izadi, Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions. Int. J. Softw. Eng. Knowl. Eng. 18(5): 683-712 (2008) - [c10]Sara NavidPour, Mohammad Izadi, Ali Movaghar:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC 2008: 211-218 - [c9]Sara NavidPour, Mohammad Izadi:
Linear Temporal Logic of Constraint Automata. CSICC 2008: 972-975 - [c8]Mohammad Izadi, Parvaneh Saeedi:
Robust region-based background subtraction and shadow removing using color and gradient information. ICPR 2008: 1-5 - [c7]Mohammad Izadi, Marcello M. Bonsangue:
Recasting Constraint Automata into Büchi Automata. ICTAC 2008: 156-170 - [c6]Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312 - 2007
- [j1]Mohammad Izadi:
Streamline diffusion method for treating coupling equations of hyperbolic scalar conservation laws. Math. Comput. Model. 45(1-2): 201-214 (2007) - [c5]Mohammad Izadi, Ali Movaghar, Farhad Arbab:
Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675 - [c4]Mohammad Izadi, Ali Movaghar:
Compositional failure-based semantic equivalences for Reo specifications. SAVCBS 2007: 99-100 - [c3]Mohammad Izadi, Ali Movaghar:
Compositional Failure-based Equivalence of Constraint Automata. AVoCS 2007: 105-122 - 2005
- [c2]Mohammad Izadi, Ali Movaghar-Rahimabadi:
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395 - [c1]Mohammad Izadi, Ali Movaghar-Rahimabadi:
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. FSEN 2005: 171-186
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-24 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
