| An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks S Doostali, SM Babamir Computer Communications 164, 188-200, 2020 | 24 | 2020 |
| Combining topology control and network coding to optimize lifetime in wireless-sensor networks M Khalily-Dermany, MJ Nadjafi-Arani, S Doostali Computer Networks 162, 106859, 2019 | 23 | 2019 |
| A firefly-based task scheduling algorithm for the cloud computing environment: formal verification and simulation analyses F Ebadifard, S Doostali, SM Babamir 2018 9th International Symposium on Telecommunications (IST), 664-669, 2018 | 17 | 2018 |
| CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path S Doostali, SM Babamir, M Eini Cluster Computing 24 (4), 3607-3627, 2021 | 14 | 2021 |
| IoT-based model in smart urban traffic control: Graph theory and genetic algorithm S Doostali, SM Babamir, MS Dezfoli, BS Neysiani 2020 11th International Conference on Information and Knowledge Technology …, 2020 | 8 | 2020 |
| ASM2Bogor: An approach for verification of models specified through Asmeta language V Rafe, S Doostali Journal of Visual Languages & Computing 23 (5), 287-298, 2012 | 7 | 2012 |
| Using a process algebra interface for verification and validation of UML statecharts S Doostali, SM Babamir, M Javani Computer Standards & Interfaces 86, 103739, 2023 | 5 | 2023 |
| Data Science in Health Informatics BS Neysiani, N Soltani, S Doostali, MS Dezfoli, Z Aminoroaya, MK Karami Knowledge Modelling and Big Data Analytics in Healthcare, 299-340, 2021 | 4 | 2021 |
| Fast Duplicate Bug Reports Detector Training using Sampling for Dimension Reduction: Using Instance-based Learning for Continous Query in Real-World BS Neysiani, S Doostali, SM Babamir, Z Aminoroaya 2020 11th International Conference on Information and Knowledge Technology …, 2020 | 4 | 2020 |
| The application of hypergroups in symbolic executions and finite automata D Heidari, S Doostali Soft Computing 25 (11), 7247-7256, 2021 | 3 | 2021 |
| A multi-hop PSO based localization algorithm for wireless sensor networks S Doostali, M Khalily-Dermany Soft Computing Journal 8 (1), 58-69, 2019 | 2 | 2019 |
| Intra-procedural Slicing Using Program Dependence Table R Mohammadian, S Doostali, SM Babamir International Conference on Information Technologies, IVUS, 158-164, 2018 | 2 | 2018 |
| A workflow scheduling algorithm based on lattice theory MJ Nadjafi-Arani, S Doostali 2021 52nd Annual Iranian Mathematics Conference (AIMC), 71-73, 2021 | 1 | 2021 |
| Cost-based workflow scheduling using algebraic structures MJ Nadjafi-Arani, S Doostali Soft Computing Journal 9 (2), 114-129, 2021 | 1 | 2021 |
| An efficient solution for model checking abstract state machine using bogor S Doostali arXiv preprint arXiv:1404.2155, 2014 | 1 | 2014 |
| A new optimal protocol for Green IoT communication S Doostali, BS Neysiani Intelligent Green Communication Network for Internet of Things 1, 71-86, 2023 | | 2023 |
| Workflow Scheduling with Guaranteed Responsiveness and Minimal Cost MJ Nadjafi-Arani, S Doostali, M Younis IEEE Transactions on Services Computing, 2022 | | 2022 |
| CFGH: A hypergroup for the control flow graph S Doostali, D Heidari 27th Iranian Algebra Seminar, IAS27, 2022 | | 2022 |
| A Non-convex Non-Linear Optimization Model for Optimizing Lifetime in Wireless Sensor Networks S Doostali, MJ Nadjafi-Arani 51st Annual Iranian Mathematics Conference, 2021 | | 2021 |
| Slice-guided path exploration in symbolic execution S Doostali, SM Babamir 10th International Conference on Information and Knowledge Technology (IKT), 2019 | | 2019 |
Seyed Morteza BabamirProfessor of Software Engineering, University of KashanVerified email at kashanu.ac.ir
