| MAPE-K interfaces for formal modeling of real-time self-adaptive multi-agent systems A Qasim, SAR Kazmi IEEE Access 4, 4946-4958, 2016 | 20 | 2016 |
| Formal specification and verification of real-time multiagent systems using timed-arc petri nets A Qasim, SAR Kazmi, I Fakhir Advances in Electrical and Computer Engineering 15 (3), 73-78, 2015 | 17 | 2015 |
| Executable semantics for the formal specification and verification of E-agents A Qasim, SAR Kazmi, I Fakhir Indian Journal of Science and Technology 8 (16), 1-8, 2015 | 11 | 2015 |
| QoS based optimal resource allocation and workload balancing for fog enabled IoT A Khalid, Q ul Ain, A Qasim, Z Aziz Open Computer Science 11 (1), 262-274, 2021 | 10 | 2021 |
| Intelligent cloud-based load balancing system empowered with fuzzy logic AI Khan, SAR Kazmi, A Atta, MF Mushtaq, M Idrees, I Fakir, M Safyan, ... Computers, Materials and Continua 67 (1), 519-528, 2021 | 9 | 2021 |
| Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform. A Qasim, A Munawar, J Hassan, A Khalid Appl. Comput. Syst. 26 (1), 1-11, 2021 | 8 | 2021 |
| Tertiary Care Hospital Monitoring System Using Wireless Sensors AUR Daniel Mago Vistro, Adeel Munawar, Aqsa Iftikhar, Awais Qasim Journal of Critical Reviews 10 (7), 1504-1511, 2020 | 8* | 2020 |
| Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems AQSAR Kazmi Intelligent Automation & Soft Computing 25 (1), 49-63, 2019 | 8 | 2019 |
| Modeling and verification of payment system in E-banking I Obaid, SAR Kazmi, A Qasim International Journal of Advanced Computer Science and Applications 8 (8), 2017 | 6 | 2017 |
| Formal modeling and verification of cloud‐based web service composition SA Raza Kazmi, A Qasim, A Khalid, R Assad, M Shahbaz Concurrency and Computation: Practice and Experience 32 (21), e5249, 2020 | 5 | 2020 |
| Efficient performative actions for e-Commerce agents A Qasim, HMB Ameen, Z Aziz, A Khalid Applied Computer Systems 25 (1), 19-32, 2020 | 4 | 2020 |
| Timed-Arc Petri-Nets Based Agent Communication for Real-Time Multi-Agent Systems Awais Qasim, Sidra Kanwal, Adnan Khalid, Jawad Hassan, Syed Asad Raza Kazmi International Journal of Advanced Computer Science and Applications(IJACSA …, 2019 | 4* | 2019 |
| Usability Analysis of University Websites in Pakistan AM Awais Qasim, Jawad Hassan Lahore Garrison University Research Journal of Computer Science …, 2020 | 3 | 2020 |
| Intelligent agent for formal modelling of temporal multi-agent systems IFJH Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS 13 (1), 1-13, 2020 | 3 | 2020 |
| Concurrency in intuitionistic linear-time μ-calculus: A case study of manufacturing system I Fakhir, SAR Kazmi, A Qasim, I Rafique Indian Journal of Science and Technology 9 (6), 1-7, 2016 | 3 | 2016 |
| Efficient Contract-Net Protocol For Formal Modeling Of Multi-Agent Systems A Qasim, A Bader, A Munawar International Journal of Computing and Digital Systems 10, 2021 | 2 | 2021 |
| Handling temporal constraints in interaction protocols for intelligent multi-agent systems A Qasim, S Iqbal, Z Aziz, SA Raza International journal on smart sensing and intelligent systems 13 (1), 1-15, 2020 | 2 | 2020 |
| A Learning-based autonomous system for driving a car using CLARION I Fakhir, AR Kazmi, A Qasim, F Ahmad International Journal of Computer Science and Information Security 14 (12), 730, 2016 | 2 | 2016 |
| An effective approach for reducing data redundancy in multi-agent system communication A Qasim, A Ghouri, A Munawar Multiagent and Grid Systems 20 (1), 69-88, 2024 | 1 | 2024 |
| A Multi-Agent System Approach for Emergency Services using QoS-Assured Cloud Computing Architecture in the Metropolitan Transportation System A Munawar, A Qasim, M Piantanakulchai International Journal of Computing and Digital Systems 14 (1), 10169-10182, 2023 | 1 | 2023 |
Ilyas FakhirAssistant ProfessorEmail verificata su gcu.edu.pk
