Mohammad Izadi

Cited by

	All	Since 2019
Citations	532	408
h-index	11	9
i10-index	14	9

120

2007200820092010201120122013201420152016201720182019202020212022202320247 5 8 13 21 12 3 3 15 11 9 6 17 17 73 97 118 81

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Mohammad Reza BesharatiPhD Candidate, Sharif University of Technology, Tehran, IranVerified email at ce.sharif.edu
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
Vahid ShahrivariCS PhD candidate, Utrecht UniversityVerified email at student.sharif.edu
ali bakhthemmatSharif university of technologyVerified email at ce.sharif.edu
Dave ClarkeIndependentVerified email at storytel.com
Mostafa Ghobaei-AraniIslamic Azad UniversityVerified email at iau.ac.ir
Hajar (Maryam) SiarPostdoctoral researcher, Umeå UniversityVerified email at cs.umu.se
Ali Mohammad Afshin HemmatyarSharif University of TechnologyVerified email at sharif.edu
Sattar SattariSharif University of TechnologyVerified email at ce.sharif.edu
Alireza TalebpourShahid Beheshti UniversityVerified email at sbu.ac.ir
Shervin Shirmohammadi, IEEE Fellow,...Professor, University of OttawaVerified email at eecs.uottawa.ca
Ali Asghar Nazari ShirehjiniSenior research scientistVerified email at uottawa.ca
Toktam RamezanifarkhaniKristiania University College - University of OsloVerified email at kristiania.no
Peyman TeymooriAssociate Professor at University of South-Eastern NorwayVerified email at usn.no
Alireza NowrooziDepartment of Engineering, IRIB University, Tehran, IranVerified email at iribu.ac.ir
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
MohammadAmin FazliSharif University of TechnologyVerified email at sharif.edu
Hossein KeshavarzUniversity of WaterlooVerified email at uwaterloo.ca
Ehsan KhamespanahPostdoc, Reykjavik UniversityVerified email at ru.is

Mohammad Izadi

Associate Professor of Computer Engineering, Sharif University of Technology

Verified email at sharif.edu - Homepage

Formal Methods Verification Logic in CS and AI Game Theory Philosophy of AI


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Phishing detection using machine learning techniques V Shahrivari, MM Darabi, M Izadi arXiv preprint arXiv:2009.11116, 2020	108	2020
An efficient power-aware VM allocation mechanism in cloud data centers: a micro genetic-based approach M Tarahomi, M Izadi, M Ghobaei-Arani Cluster Computing 24 (2), 919-934, 2021	68	2021
An empirical approach to modeling user-system interaction conflicts in smart homes FJ Miandashti, M Izadi, AAN Shirehjini, S Shirmohammadi IEEE Transactions on Human-Machine Systems 50 (6), 573-583, 2020	29	2020
Modeling component connectors: Synchronisation and context-dependency M Izadi, MM Bonsangue, D Clarke 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008	23	2008
A prediction‐based and power‐aware virtual machine allocation algorithm in three‐tier cloud data centers M Tarahomi, M Izadi International Journal of Communication Systems 32 (3), e3870, 2019	22	2019
A crisis situations decision-making systems software development process with rescue experiences A Nowroozi, P Teymoori, T Ramezanifarkhani, MR Besharati, M Izadi IEEE Access 8, 59599-59617, 2020	17	2020
Decreasing the execution time of reducers by revising clustering based on the futuristic greedy approach A Bakhthemmat, M Izadi Journal of Big Data 7, 1-21, 2020	16	2020
Recasting constraint automata into Büchi automata M Izadi, MM Bonsangue Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008	15	2008
Communities detection for advertising by futuristic greedy method with clustering approach A Bakhthemmat, M Izadi Big Data 9 (1), 22-40, 2021	14	2021
K-means-G*: Accelerating k-means clustering algorithm utilizing primitive geometric concepts H Ismkhan, M Izadi Information Sciences 618, 298-316, 2022	13	2022
Offloading coalition formation for scheduling scientific workflow ensembles in fog environments H Siar, M Izadi Journal of Grid Computing 19 (3), 34, 2021	11	2021
Büchi automata for modeling component connectors M Izadi, M Bonsangue, D Clarke Software & Systems Modeling 10, 183-200, 2011	11	2011
Model checking of component connectors M Izadi, A Movaghar, F Arbab 31st Annual International Computer Software and Applications Conference …, 2007	11	2007
Improving security issues in MANET AODV routing protocol M Gharehkoolchian, AMA Hemmatyar, M Izadi Ad Hoc Networks: 7th International Conference, AdHocHets 2015, San Remo …, 2015	10	2015
Automata based model checking for Reo connectors MM Bonsangue, M Izadi International Conference on Fundamentals of Software Engineering, 260-275, 2009	9	2009
Designing a deep neural network model for finding semantic similarity between short persian texts using a parallel corpus ZSHM Emami, S Tabatabayiseifi, M Izadi, M Tavakoli 2021 7th International Conference on Web Research (ICWR), 91-96, 2021	7	2021
KARB Solution: Compliance to Quality by Rule Based Benchmarking MR Besharati, M Izadi arXiv preprint arXiv:2007.05874, 2020	7	2020
DAST Model: Deciding About Semantic Complexity of a Text MR Besharati, M Izadi arXiv preprint arXiv:1908.09080, 2019	7	2019
Model checking of component connectors M Izadi Leiden University, 2011	7	2011
Experimental investigation of fouling behavior of 90/10 Cu/Ni tube by heat transfer resistance monitoring method M Izadi, DK Aidun, P Marzocca, H Lee	7	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors