| Petri Net based modeling and analysis for improved resource utilization in cloud computing MR Ali, F Ahmad, MH Chaudary, ZA Khan, MA Alqahtani, JS Alqurni, ... PeerJ Computer Science 7, e351, 2021 | 7 | 2021 |
| Towards a resource-aware formal modelling language for workflow planning M Rizwan Ali, V Ka I Pun Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | 4 | 2021 |
| Cost analysis for a resource sensitive workflow modelling language MR Ali, Y Lamo, VKI Pun Science of Computer Programming 225, 102896, 2023 | 2 | 2023 |
| Morphological and molecular characterization of Pythium species from Punjab, Pakistan M Ali, S Afzaal, F Sharif, SW Ali, HH Nawaz, WD Khan Archives of Phytopathology and Plant Protection 56 (4), 307-321, 2023 | 1 | 2023 |
| Cost analysis for an actor-based workflow modelling language MR Ali, VKI Pun Brazilian Symposium on Formal Methods, 104-121, 2021 | 1 | 2021 |
| A Static Analyser for Resource Sensitive Workflow Models MR Ali, VKI Pun International Symposium on Theoretical Aspects of Software Engineering, 305-312, 2023 | | 2023 |
| Towards a resource-aware formal modelling language for workflow planning MR Ali, VKI Pun Advances in Model and Data Engineering in the Digitalization Era, 251, 2021 | | 2021 |
| Cost Analysis for an Actor-Based Workflow Modelling Language KI Pun, MR Ali Høgskulen på Vestlandet, 2021 | | 2021 |
| Fabrication of high magnetic performance Fe–50Ni alloy by powder injection molding M Ali, F Ahmad, MRR Malik, AR Niazi Materials and Manufacturing Processes 35 (14), 1557-1566, 2020 | | 2020 |
| Petri Net Based Job Scheduling for Improved Resource Utilization in Cloud Computing MR Ali | | 2017 |
| Cost Analysis for an Actor-Based Workflow Modelling MR Ali, VKI Pun | | |
