Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mohammad Izadi
@article{DBLP:journals/corr/abs-2401-11798,
author = {Mohammad Izadi and
Mehran Safayani and
Abdolreza Mirzaei},
title = {Knowledge Distillation on Spatial-Temporal Graph Convolutional Network
for Traffic Prediction},
journal = {CoRR},
volume = {abs/2401.11798},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11798},
doi = {10.48550/ARXIV.2401.11798},
eprinttype = {arXiv},
eprint = {2401.11798},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/IzadiR23,
author = {Mohammad Izadi and
Pradip Roul},
title = {A new approach based on shifted Vieta-Fibonacci-quasilinearization
technique and its convergence analysis for nonlinear third-order Emden-Fowler
equation with multi-singularity},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {117},
pages = {106912},
year = {2023},
url = {https://doi.org/10.1016/j.cnsns.2022.106912},
doi = {10.1016/J.CNSNS.2022.106912},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cnsns/IzadiR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/IzadiS23,
author = {Mohammad Izadi and
Hari Mohan Srivastava},
title = {Applications of Modified Bessel Polynomials to Solve a Nonlinear Chaotic
Fractional-Order System in the Financial Market: Domain-Splitting
Collocation Techniques},
journal = {Comput.},
volume = {11},
number = {7},
pages = {130},
year = {2023},
url = {https://doi.org/10.3390/computation11070130},
doi = {10.3390/COMPUTATION11070130},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/IzadiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/IsmkhanI23,
author = {Hassan Ismkhan and
Mohammad Izadi},
title = {Proposing a Dimensionality Reduction Technique With an Inequality
for Unsupervised Learning from High-Dimensional Big Data},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {53},
number = {6},
pages = {3880--3889},
year = {2023},
url = {https://doi.org/10.1109/TSMC.2023.3234227},
doi = {10.1109/TSMC.2023.3234227},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/IsmkhanI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06856,
author = {Hari Mohan Srivastava and
Giriraj Methi and
Anil Kumar and
Mohammad Izadi and
Vishnu Narayan Mishra and
Brahim Benhammouda},
title = {Application of the Bell polynomials for the solution of some differential-algebraic
equations},
journal = {CoRR},
volume = {abs/2304.06856},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06856},
doi = {10.48550/ARXIV.2304.06856},
eprinttype = {arXiv},
eprint = {2304.06856},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02402,
author = {Atieh Taheri and
Mohammad Izadi and
Gururaj Shriram and
Negar Rostamzadeh and
Shaun Kane},
title = {Breaking Barriers to Creative Expression: Co-Designing and Implementing
an Accessible Text-to-Image Interface},
journal = {CoRR},
volume = {abs/2309.02402},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.02402},
doi = {10.48550/ARXIV.2309.02402},
eprinttype = {arXiv},
eprint = {2309.02402},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SiarI22,
author = {Hajar Siar and
Mohammad Izadi},
title = {Selfish Routing Game-Based Multi-Resource Allocation and Fair Scheduling
of Indivisible Jobs in Edge Environments},
journal = {{IEEE} Access},
volume = {10},
pages = {129042--129054},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3227210},
doi = {10.1109/ACCESS.2022.3227210},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/SiarI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/IzadiR22,
author = {Mohammad Izadi and
Pradip Roul},
title = {Spectral semi-discretization algorithm for a class of nonlinear parabolic
PDEs with applications},
journal = {Appl. Math. Comput.},
volume = {429},
pages = {127226},
year = {2022},
url = {https://doi.org/10.1016/j.amc.2022.127226},
doi = {10.1016/J.AMC.2022.127226},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/IzadiR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/YuzbasiI22,
author = {Suayip Y{\"{u}}zbasi and
Mohammad Izadi},
title = {Bessel-quasilinearization technique to solve the fractional-order
{HIV-1} infection of {CD4+} T-cells considering the impact of antiviral
drug treatment},
journal = {Appl. Math. Comput.},
volume = {431},
pages = {127319},
year = {2022},
url = {https://doi.org/10.1016/j.amc.2022.127319},
doi = {10.1016/J.AMC.2022.127319},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/YuzbasiI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/IzadiSA22,
author = {Mohammad Izadi and
Hari M. Srivastava and
Waleed Adel},
title = {An Effective Approximation Algorithm for Second-Order Singular Functional
Differential Equations},
journal = {Axioms},
volume = {11},
number = {3},
pages = {133},
year = {2022},
url = {https://doi.org/10.3390/axioms11030133},
doi = {10.3390/AXIOMS11030133},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/IzadiSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/IzadiS22,
author = {Mohammad Izadi and
Hari Mohan Srivastava},
title = {Fractional Clique Collocation Technique for Numerical Simulations
of Fractional-Order Brusselator Chemical Model},
journal = {Axioms},
volume = {11},
number = {11},
pages = {654},
year = {2022},
url = {https://doi.org/10.3390/axioms11110654},
doi = {10.3390/AXIOMS11110654},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/axioms/IzadiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cam/IzadiZ22,
author = {Mohammad Izadi and
Dia Zeidan},
title = {A convergent hybrid numerical scheme for a class of nonlinear diffusion
equations},
journal = {Comput. Appl. Math.},
volume = {41},
number = {7},
year = {2022},
url = {https://doi.org/10.1007/s40314-022-02033-8},
doi = {10.1007/S40314-022-02033-8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cam/IzadiZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcsm/Izadi22,
author = {Mohammad Izadi},
title = {Two-stage explicit schemes based on numerical approximations of convection-diffusion
equations},
journal = {Int. J. Comput. Sci. Math.},
volume = {16},
number = {3},
pages = {208--224},
year = {2022},
url = {https://doi.org/10.1504/IJCSM.2022.10053246},
doi = {10.1504/IJCSM.2022.10053246},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcsm/Izadi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/IsmkhanI22,
author = {Hassan Ismkhan and
Mohammad Izadi},
title = {K-means-G*: Accelerating \emph{k}-means clustering algorithm utilizing
primitive geometric concepts},
journal = {Inf. Sci.},
volume = {618},
pages = {298--316},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.11.001},
doi = {10.1016/J.INS.2022.11.001},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/IsmkhanI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbd/BesharatiI22,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {{DD-KARB:} data-driven compliance to quality by rule based benchmarking},
journal = {J. Big Data},
volume = {9},
number = {1},
pages = {103},
year = {2022},
url = {https://doi.org/10.1186/s40537-022-00654-8},
doi = {10.1186/S40537-022-00654-8},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbd/BesharatiI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pai/VazifedanI22,
author = {Afrooz Vazifedan and
Mohammad Izadi},
title = {Predicting human behavior in size-variant repeated games through deep
convolutional neural networks},
journal = {Prog. Artif. Intell.},
volume = {11},
number = {1},
pages = {15--28},
year = {2022},
url = {https://doi.org/10.1007/s13748-021-00258-y},
doi = {10.1007/S13748-021-00258-Y},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pai/VazifedanI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MiandashtiISS22,
author = {Fereshteh Jadidi Miandashti and
Mohammad Izadi and
Ali Asghar Nazari Shirehjini and
Shervin Shirmohammadi},
title = {{CONFLICT} {SCENARIOS} {IN} {SMART} {HOMES}},
publisher = {{IEEE} DataPort},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.21227/7rmk-6y51}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/7rmk-6y51},
doi = {10.21227/7RMK-6Y51},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/MiandashtiISS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07430,
author = {MohammadReza Besharati and
Mohammad Izadi and
Ehsaneddin Asgari},
title = {Stateless and Rule-Based Verification For Compliance Checking Applications},
journal = {CoRR},
volume = {abs/2204.07430},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07430},
doi = {10.48550/ARXIV.2204.07430},
eprinttype = {arXiv},
eprint = {2204.07430},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03538,
author = {Mohammad Amin Rayej and
Hajar Siar and
Mohammad Izadi},
title = {WIDESim: {A} toolkit for simulating resource management techniques
of scientific Workflows In Distributed Environments with graph topology},
journal = {CoRR},
volume = {abs/2206.03538},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03538},
doi = {10.48550/ARXIV.2206.03538},
eprinttype = {arXiv},
eprint = {2206.03538},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Izadi21,
author = {Mohammad Izadi},
title = {A discontinuous finite element approximation to singular Lane-Emden
type equations},
journal = {Appl. Math. Comput.},
volume = {401},
pages = {126115},
year = {2021},
url = {https://doi.org/10.1016/j.amc.2021.126115},
doi = {10.1016/J.AMC.2021.126115},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/Izadi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/IzadiS21,
author = {Mohammad Izadi and
H. M. Srivastava},
title = {An efficient approximation technique applied to a non-linear Lane-Emden
pantograph delay differential model},
journal = {Appl. Math. Comput.},
volume = {401},
pages = {126123},
year = {2021},
url = {https://doi.org/10.1016/j.amc.2021.126123},
doi = {10.1016/J.AMC.2021.126123},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/IzadiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bigdata/BakhthemmatI21,
author = {Ali Bakhthemmat and
Mohammad Izadi},
title = {Communities Detection for Advertising by Futuristic Greedy Method
with Clustering Approach},
journal = {Big Data},
volume = {9},
number = {1},
pages = {22--40},
year = {2021},
url = {https://doi.org/10.1089/big.2020.0133},
doi = {10.1089/BIG.2020.0133},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bigdata/BakhthemmatI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/TarahomiIG21,
author = {Mehran Tarahomi and
Mohammad Izadi and
Mostafa Ghobaei{-}Arani},
title = {An efficient power-aware {VM} allocation mechanism in cloud data centers:
a micro genetic-based approach},
journal = {Clust. Comput.},
volume = {24},
number = {2},
pages = {919--934},
year = {2021},
url = {https://doi.org/10.1007/s10586-020-03152-9},
doi = {10.1007/S10586-020-03152-9},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/TarahomiIG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/SiarI21,
author = {Hajar Siar and
Mohammad Izadi},
title = {Offloading Coalition Formation for Scheduling Scientific Workflow
Ensembles in Fog Environments},
journal = {J. Grid Comput.},
volume = {19},
number = {3},
pages = {34},
year = {2021},
url = {https://doi.org/10.1007/s10723-021-09574-y},
doi = {10.1007/S10723-021-09574-Y},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/SiarI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/BakhthemmatI21,
author = {Ali Bakhthemmat and
Mohammad Izadi},
title = {Solving fully dynamic bin packing problem for virtual machine allocation
in the cloud environment by the futuristic greedy algorithm},
journal = {J. Intell. Fuzzy Syst.},
volume = {40},
number = {3},
pages = {4737--4760},
year = {2021},
url = {https://doi.org/10.3233/JIFS-201581},
doi = {10.3233/JIFS-201581},
timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/BakhthemmatI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/IzadiYA21,
author = {Mohammad Izadi and
Suayip Y{\"{u}}zbasi and
Khursheed J. Ansari},
title = {Application of Vieta-Lucas Series to Solve a Class of Multi-Pantograph
Delay Differential Equations with Singularity},
journal = {Symmetry},
volume = {13},
number = {12},
pages = {2370},
year = {2021},
url = {https://doi.org/10.3390/sym13122370},
doi = {10.3390/SYM13122370},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/IzadiYA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-04648,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {Langar: An Approach to Evaluate Reo Programming Language},
journal = {CoRR},
volume = {abs/2103.04648},
year = {2021},
url = {https://arxiv.org/abs/2103.04648},
eprinttype = {arXiv},
eprint = {2103.04648},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-04648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11249,
author = {Nafiseh Jafari and
MohammadReza Besharati and
Mohammad Izadi and
Maryam Hourali},
title = {{SELM:} Software Engineering of Machine Learning Models},
journal = {CoRR},
volume = {abs/2103.11249},
year = {2021},
url = {https://arxiv.org/abs/2103.11249},
eprinttype = {arXiv},
eprint = {2103.11249},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-11249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04867,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {Assessing and Supplying the Health of Videos Games via Formal Semantics},
journal = {CoRR},
volume = {abs/2104.04867},
year = {2021},
url = {https://arxiv.org/abs/2104.04867},
eprinttype = {arXiv},
eprint = {2104.04867},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/NowrooziTRBI20,
author = {Alireza Nowroozi and
Peyman Teymoori and
Toktam Ramezanifarkhani and
MohammadReza Besharati and
Mohammad Izadi},
title = {A Crisis Situations Decision-Making Systems Software Development Process
With Rescue Experiences},
journal = {{IEEE} Access},
volume = {8},
pages = {59599--59617},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2981789},
doi = {10.1109/ACCESS.2020.2981789},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/NowrooziTRBI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/IzadiS20,
author = {Mohammad Izadi and
Hari M. Srivastava},
title = {A Discretization Approach for the Nonlinear Fractional Logistic Equation},
journal = {Entropy},
volume = {22},
number = {11},
pages = {1328},
year = {2020},
url = {https://doi.org/10.3390/e22111328},
doi = {10.3390/E22111328},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/IzadiS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbd/BakhthemmatI20,
author = {Ali Bakhthemmat and
Mohammad Izadi},
title = {Decreasing the execution time of reducers by revising clustering based
on the futuristic greedy approach},
journal = {J. Big Data},
volume = {7},
number = {1},
pages = {6},
year = {2020},
url = {https://doi.org/10.1186/s40537-019-0279-z},
doi = {10.1186/S40537-019-0279-Z},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbd/BakhthemmatI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/BeghaeiraveriIR20,
author = {Seyed Amir Hosseini Beghaeiraveri and
Mohammad Izadi and
Mohsen Rezvani},
title = {Broadcast Complexity and Adaptive Adversaries in Verifiable Secret
Sharing},
journal = {Secur. Commun. Networks},
volume = {2020},
pages = {9428457:1--9428457:10},
year = {2020},
url = {https://doi.org/10.1155/2020/9428457},
doi = {10.1155/2020/9428457},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/BeghaeiraveriIR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/IzadiC20,
author = {Mohammad Izadi and
Carlo Cattani},
title = {Generalized Bessel Polynomial for Multi-Order Fractional Differential
Equations},
journal = {Symmetry},
volume = {12},
number = {8},
pages = {1260},
year = {2020},
url = {https://doi.org/10.3390/sym12081260},
doi = {10.3390/SYM12081260},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/symmetry/IzadiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/thms/MiandashtiISS20,
author = {Fereshteh Jadidi Miandashti and
Mohammad Izadi and
Ali Asghar Nazari Shirehjini and
Shervin Shirmohammadi},
title = {An Empirical Approach to Modeling User-System Interaction Conflicts
in Smart Homes},
journal = {{IEEE} Trans. Hum. Mach. Syst.},
volume = {50},
number = {6},
pages = {573--583},
year = {2020},
url = {https://doi.org/10.1109/THMS.2020.3017784},
doi = {10.1109/THMS.2020.3017784},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/thms/MiandashtiISS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-05874,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {{KARB} Solution: Compliance to Quality by Rule Based Benchmarking},
journal = {CoRR},
volume = {abs/2007.05874},
year = {2020},
url = {https://arxiv.org/abs/2007.05874},
eprinttype = {arXiv},
eprint = {2007.05874},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-05874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-11116,
author = {Vahid Shahrivari and
Mohammad Mahdi Darabi and
Mohammad Izadi},
title = {Phishing Detection Using Machine Learning Techniques},
journal = {CoRR},
volume = {abs/2009.11116},
year = {2020},
url = {https://arxiv.org/abs/2009.11116},
eprinttype = {arXiv},
eprint = {2009.11116},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14280,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {A Reo Based Solution for Engineering the Coordination Protocols for
Smart Cities},
journal = {CoRR},
volume = {abs/2012.14280},
year = {2020},
url = {https://arxiv.org/abs/2012.14280},
eprinttype = {arXiv},
eprint = {2012.14280},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14280.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/SattariI19,
author = {Sattar Sattari and
Mohammad Izadi},
title = {An improved upper bound on dilation of regular polygons},
journal = {Comput. Geom.},
volume = {80},
pages = {53--68},
year = {2019},
url = {https://doi.org/10.1016/j.comgeo.2019.01.009},
doi = {10.1016/J.COMGEO.2019.01.009},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comgeo/SattariI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcomsys/TarahomiI19,
author = {Mehran Tarahomi and
Mohammad Izadi},
title = {A prediction-based and power-aware virtual machine allocation algorithm
in three-tier cloud data centers},
journal = {Int. J. Commun. Syst.},
volume = {32},
number = {3},
year = {2019},
url = {https://doi.org/10.1002/dac.3870},
doi = {10.1002/DAC.3870},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcomsys/TarahomiI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/TarahomiI19,
author = {Mehran Tarahomi and
Mohammad Izadi},
title = {New approach for reducing energy consumption and load balancing in
data centers of cloud computing},
journal = {J. Intell. Fuzzy Syst.},
volume = {37},
number = {5},
pages = {6443--6455},
year = {2019},
url = {https://doi.org/10.3233/JIFS-181016},
doi = {10.3233/JIFS-181016},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/TarahomiI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/IzadiBA19,
author = {Mohammad Izadi and
Neil Birkbeck and
Balu Adsumilli},
title = {Mutual Noise Estimation Algorithm for Video Denoising},
booktitle = {2019 {IEEE} International Conference on Image Processing, {ICIP} 2019,
Taipei, Taiwan, September 22-25, 2019},
pages = {2424--2428},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICIP.2019.8803260},
doi = {10.1109/ICIP.2019.8803260},
timestamp = {Wed, 11 Dec 2019 16:30:23 +0100},
biburl = {https://dblp.org/rec/conf/icip/IzadiBA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/LiaghatBIK19,
author = {Zainab Liaghat and
MohammadReza Besharati and
Mohammad Izadi and
Ehsan Khamespanah},
editor = {Hamido Fujita and
Ali Selamat},
title = {Using Reo Formalism for Compliance Checking of Architecture Evolution
with Evolutionary Rules},
booktitle = {Advancing Technology Industrialization Through Intelligent Software
Methodologies, Tools and Techniques - Proceedings of the 18th International
Conference on New Trends in Intelligent Software Methodologies, Tools
and Techniques (SoMeT{\_}19), Kuching, Malaysia, 23-25 September 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {318},
pages = {725--738},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190093},
doi = {10.3233/FAIA190093},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/somet/LiaghatBIK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09080,
author = {MohammadReza Besharati and
Mohammad Izadi},
title = {{DAST} Model: Deciding About Semantic Complexity of a Text},
journal = {CoRR},
volume = {abs/1908.09080},
year = {2019},
url = {http://arxiv.org/abs/1908.09080},
eprinttype = {arXiv},
eprint = {1908.09080},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09690,
author = {Hossein Keshavarz and
Shohreh Tabatabayi Seifi and
Mohammad Izadi},
title = {A Deep Learning-Based Approach for Measuring the Domain Similarity
of Persian Texts},
journal = {CoRR},
volume = {abs/1909.09690},
year = {2019},
url = {http://arxiv.org/abs/1909.09690},
eprinttype = {arXiv},
eprint = {1909.09690},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SattariI18,
author = {Sattar Sattari and
Mohammad Izadi},
title = {Upper bounds for minimum dilation triangulation in two special cases},
journal = {Inf. Process. Lett.},
volume = {133},
pages = {33--38},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.01.001},
doi = {10.1016/J.IPL.2018.01.001},
timestamp = {Tue, 20 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SattariI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/FarhadiIH18,
author = {Alireza Farhadi and
Mohammad Izadi and
Jafar Habibi},
editor = {Mohamed Faouzi Atig and
Saddek Bensalem and
Simon Bliudze and
Bruno Monsuez},
title = {A Protocol for Constraint Automata Execution in a Synchronous Network
of Processors},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 12th International Conference, VECoS 2018, Grenoble, France, September
26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11181},
pages = {80--94},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00359-3\_6},
doi = {10.1007/978-3-030-00359-3\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/vecos/FarhadiIH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/SattariI17,
author = {Sattar Sattari and
Mohammad Izadi},
title = {An exact algorithm for the minimum dilation triangulation problem},
journal = {J. Glob. Optim.},
volume = {69},
number = {2},
pages = {343--367},
year = {2017},
url = {https://doi.org/10.1007/s10898-017-0517-x},
doi = {10.1007/S10898-017-0517-X},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/SattariI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ChenIK16,
author = {Chao Chen and
Mohammad Izadi and
Anil C. Kokaram},
editor = {Alan Hanjalic and
Cees Snoek and
Marcel Worring and
Dick C. A. Bulterman and
Benoit Huet and
Aisling Kelliher and
Yiannis Kompatsiaris and
Jin Li},
title = {A Perceptual Quality Metric for Videos Distorted by Spatially Correlated
Noise},
booktitle = {Proceedings of the 2016 {ACM} Conference on Multimedia Conference,
{MM} 2016, Amsterdam, The Netherlands, October 15-19, 2016},
pages = {1277--1285},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2964284.2964302},
doi = {10.1145/2964284.2964302},
timestamp = {Tue, 06 Nov 2018 16:58:37 +0100},
biburl = {https://dblp.org/rec/conf/mm/ChenIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/TaheriI15,
author = {Erfan Taheri and
Mohammad Izadi},
title = {Byzantine consensus for unknown dynamic networks},
journal = {J. Supercomput.},
volume = {71},
number = {4},
pages = {1587--1603},
year = {2015},
url = {https://doi.org/10.1007/s11227-015-1379-y},
doi = {10.1007/S11227-015-1379-Y},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/TaheriI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhocnets/Gharehkoolchian15,
author = {Mahsa Gharehkoolchian and
Ali Mohammad Afshin Hemmatyar and
Mohammad Izadi},
editor = {Nathalie Mitton and
Melike Erol{-}Kantarci and
Antoine Gallais and
Symeon Papavassiliou},
title = {Improving Security Issues in {MANET} {AODV} Routing Protocol},
booktitle = {Ad Hoc Networks - 7th International Conference, AdHocHets 2015, San
Remo, Italy, September 1-2, 2015, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {155},
pages = {237--250},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25067-0\_19},
doi = {10.1007/978-3-319-25067-0\_19},
timestamp = {Fri, 19 May 2017 01:26:04 +0200},
biburl = {https://dblp.org/rec/conf/adhocnets/Gharehkoolchian15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IzadiMM15,
author = {Mohammad Izadi and
Saeed Masoudian and
Sahand Mozaffari},
title = {Joining Transition Systems of Records: Some Congruency and Language-Theoretic
Results},
journal = {CoRR},
volume = {abs/1511.05070},
year = {2015},
url = {http://arxiv.org/abs/1511.05070},
eprinttype = {arXiv},
eprint = {1511.05070},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/IzadiMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Izadi12,
author = {Mohammad Izadi},
title = {Hierarchical Matrix Techniques on Massively Parallel Computers},
school = {Leipzig University, Germany},
year = {2012},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa-101164},
urn = {urn:nbn:de:bsz:15-qucosa-101164},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Izadi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comvis/Izadi12,
author = {Mohammad Izadi},
title = {Parallel H-matrix arithmetic on distributed-memory systems},
journal = {Comput. Vis. Sci.},
volume = {15},
number = {2},
pages = {87--97},
year = {2012},
url = {https://doi.org/10.1007/s00791-013-0198-z},
doi = {10.1007/S00791-013-0198-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comvis/Izadi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/IzadiS12,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Three-Dimensional Polygonal Building Model Estimation From Single
Satellite Images},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {50},
number = {6},
pages = {2254--2272},
year = {2012},
url = {https://doi.org/10.1109/TGRS.2011.2172995},
doi = {10.1109/TGRS.2011.2172995},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/IzadiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tip/IzadiS12,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Robust Weighted Graph Transformation Matching for Rigid and Nonrigid
Image Registration},
journal = {{IEEE} Trans. Image Process.},
volume = {21},
number = {10},
pages = {4369--4382},
year = {2012},
url = {https://doi.org/10.1109/TIP.2012.2208980},
doi = {10.1109/TIP.2012.2208980},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tip/IzadiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KeshishzadehIM12,
author = {Sarmen Keshishzadeh and
Mohammad Izadi and
Ali Movaghar},
editor = {Sascha Ossowski and
Paola Lecca},
title = {A B{\"{u}}chi automata based model checking framework for reo
connectors},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1536--1543},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232021},
doi = {10.1145/2245276.2232021},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KeshishzadehIM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/IzadiBC11,
author = {Mohammad Izadi and
Marcello M. Bonsangue and
Dave Clarke},
title = {B{\"{u}}chi automata for modeling component connectors},
journal = {Softw. Syst. Model.},
volume = {10},
number = {2},
pages = {183--200},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0152-1},
doi = {10.1007/S10270-010-0152-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/IzadiBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/IzadiM10,
author = {Mohammad Izadi and
Ali Movaghar},
title = {Failure-based equivalence of constraint automata},
journal = {Int. J. Comput. Math.},
volume = {87},
number = {11},
pages = {2426--2443},
year = {2010},
url = {https://doi.org/10.1080/00207160902915886},
doi = {10.1080/00207160902915886},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/IzadiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/IzadiS10,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Height estimation for buildings with complex contours in monocular
satellite/airborne images based on fuzzy reasoning},
booktitle = {Proceedings of the International Conference on Image Processing, {ICIP}
2010, September 26-29, Hong Kong, China},
pages = {4293--4296},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICIP.2010.5651806},
doi = {10.1109/ICIP.2010.5651806},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/IzadiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/IzadiS10,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Automatic Building Detection in Aerial Images Using a Hierarchical
Feature Based Image Segmentation},
booktitle = {20th International Conference on Pattern Recognition, {ICPR} 2010,
Istanbul, Turkey, 23-26 August 2010},
pages = {472--475},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPR.2010.123},
doi = {10.1109/ICPR.2010.123},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/IzadiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/IzadiS09,
author = {Mohammad Izadi and
Reza Safabakhsh},
title = {An improved time-adaptive self-organizing map for high-speed shape
modeling},
journal = {Pattern Recognit.},
volume = {42},
number = {7},
pages = {1361--1370},
year = {2009},
url = {https://doi.org/10.1016/j.patcog.2008.10.034},
doi = {10.1016/J.PATCOG.2008.10.034},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/IzadiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BonsangueI09,
author = {Marcello M. Bonsangue and
Mohammad Izadi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Automata Based Model Checking for Reo Connectors},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {260--275},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_15},
doi = {10.1007/978-3-642-11623-0\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BonsangueI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wiamis/IzadiS09,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Height estimation for buildings in monocular satellite/airborne images
based on fuzzy reasoning and genetic algorithm},
booktitle = {10th Workshop on Image Analysis for Multimedia Interactive Services,
{WIAMIS} 2009, London, United Kingdom, May 6-8, 2009},
pages = {125--128},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WIAMIS.2009.5031448},
doi = {10.1109/WIAMIS.2009.5031448},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wiamis/IzadiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/IzadiM08,
author = {Mohammad Izadi and
Ali Movaghar},
title = {Model Checking of Component Based Software Using Compositional Reductions},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {18},
number = {5},
pages = {683--712},
year = {2008},
url = {https://doi.org/10.1142/S0218194008003775},
doi = {10.1142/S0218194008003775},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/IzadiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NavidPourIM08,
author = {Sara NavidPour and
Mohammad Izadi and
Ali Movaghar},
title = {Live and Fair Constraint Automata and Their Linear Temporal Logic
of Steps},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {211--218},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.130},
doi = {10.1109/COMPSAC.2008.130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/NavidPourIM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csicc/NavidPourI08,
author = {Sara NavidPour and
Mohammad Izadi},
editor = {Hamid Sarbazi{-}Azad and
Behrooz Parhami and
Seyed Ghassem Miremadi and
Shaahin Hessabi},
title = {Linear Temporal Logic of Constraint Automata},
booktitle = {Advances in Computer Science and Engineering - 13th International
{CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
9-11, 2008 Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {6},
pages = {972--975},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89985-3\_146},
doi = {10.1007/978-3-540-89985-3\_146},
timestamp = {Thu, 23 Jun 2022 19:54:33 +0200},
biburl = {https://dblp.org/rec/conf/csicc/NavidPourI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/IzadiS08,
author = {Mohammad Izadi and
Parvaneh Saeedi},
title = {Robust region-based background subtraction and shadow removing using
color and gradient information},
booktitle = {19th International Conference on Pattern Recognition {(ICPR} 2008),
December 8-11, 2008, Tampa, Florida, {USA}},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICPR.2008.4761133},
doi = {10.1109/ICPR.2008.4761133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/IzadiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/IzadiB08,
author = {Mohammad Izadi and
Marcello M. Bonsangue},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Recasting Constraint Automata into B{\"{u}}chi Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {156--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_11},
doi = {10.1007/978-3-540-85762-4\_11},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/IzadiB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/IzadiBC08,
author = {Mohammad Izadi and
Marcello M. Bonsangue and
Dave Clarke},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Modeling Component Connectors: Synchronisation and Context-Dependency},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.24},
doi = {10.1109/SEFM.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/IzadiBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcm/Izadi07,
author = {Mohammad Izadi},
title = {Streamline diffusion method for treating coupling equations of hyperbolic
scalar conservation laws},
journal = {Math. Comput. Model.},
volume = {45},
number = {1-2},
pages = {201--214},
year = {2007},
url = {https://doi.org/10.1016/j.mcm.2006.05.004},
doi = {10.1016/J.MCM.2006.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcm/Izadi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IzadiMA07,
author = {Mohammad Izadi and
Ali Movaghar and
Farhad Arbab},
title = {Model Checking of Component Connectors},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
pages = {673--675},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.153},
doi = {10.1109/COMPSAC.2007.153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/IzadiMA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/IzadiM07,
author = {Mohammad Izadi and
Ali Movaghar},
editor = {Arnd Poetzsch{-}Heffter},
title = {Compositional failure-based semantic equivalences for Reo specifications},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {99--100},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292329},
doi = {10.1145/1292316.1292329},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/IzadiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IzadiM09,
author = {Mohammad Izadi and
Ali Movaghar},
editor = {Michael Goldsmith and
Bill Roscoe},
title = {Compositional Failure-based Equivalence of Constraint Automata},
booktitle = {Proceedings of the Seventh International Workshop on Automated Verification
of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {1},
pages = {105--122},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.08.008},
doi = {10.1016/J.ENTCS.2009.08.008},
timestamp = {Fri, 24 Feb 2023 13:48:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IzadiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/IzadiM05,
author = {Mohammad Izadi and
Ali Movaghar{-}Rahimabadi},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {An Efficient Model Checking Algorithm for a Fragment of {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {392--395},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/IzadiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IzadiM06,
author = {Mohammad Izadi and
Ali Movaghar{-}Rahimabadi},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {An Equivalence Based Method for Compositional Verification of the
Linear Temporal Logic of Constraint Automata},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {171--186},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.068},
doi = {10.1016/J.ENTCS.2005.12.068},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IzadiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-29 20:27 CET 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:
