| Modeling and analysis of departure routine in air traffic control based on Petri nets A Sadiq, F Ahmad, SA Khan, JC Valverde, T Naz, MW Anwar Neural Computing and Applications 25 (5), 1099-1109, 2014 | 19 | 2014 |
| A survey on automatic mapping of ontology to relational database schema A Humaira, A Tabbasum, S Ayesha Research Journal of Recent Sciences …, 2015 | 13 | 2015 |
| A survey on the use of access permission-based specifications for program verification A Sadiq, YF Li, S Ling Journal of Systems and Software 159, 110450, 2020 | 11 | 2020 |
| Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets SA Hussain, NA Khan, A Sadiq, F Ahmad Neural Computing and Applications 29, 1243-1259, 2018 | 9 | 2018 |
| Component based architecture for the control of crossing regions in railway networks F Ahmad, A Sadiq, AM Martinez-Enriquez, A Muhammad, MW Anwar, ... 2017 16th IEEE International Conference on Machine Learning and Applications …, 2017 | 9 | 2017 |
| Extracting Permission-based Specifications from a Sequential Java Program A Sadiq, YF Li, S Ling, I Ahmed 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 5 | 2016 |
| Towards Generating Thread-Safe Classes Automatically H Wang, Z Wang, J Sun, S Liu, A Sadiq, YF Li https://conf.researchr.org/details/ase-2020/ase-2020-papers/70/Towards …, 2020 | 4 | 2020 |
| Sip4j: Statically inferring access permission contracts for parallelising sequential java programs A Sadiq, L Li, YF Li, I Ahmed, S Ling 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 4 | 2019 |
| Automatic inference of symbolic permissions for sequential java programs A Sadiq, YF Li, L Li, S Ling, I Ahmed arXiv preprint arXiv:1902.05311, 2020 | 3 | 2020 |
| Voice morphing: An illusion or reality I Ahmed, A Sadiq, M Atif, M Naseer, M Adnan 2018 International Conference on Advancements in Computational Sciences …, 2018 | 3 | 2018 |
| A SIPAP CLASSIFICATION STUDY PITUITARY MACROADENOMA GRADING USING MAGNETIC RESONANCE IMAGING ZG Khan, A Sadiq, M Mansoor, SA Khan, A Akbar, MA Narejo NeuroQuantology 21 (5), 1783, 2023 | | 2023 |
| Petri Net based Game Design and Development MWA Farooq Ahmed, Ayesha Sadiq, Sher Afzal Khan Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in …, 2018 | | 2018 |
| Approaches for Loss-less Mapping from Relational Database to OWL Ontologies S Maham, N Tabbasum, S Ayesha Research Journal of Recent Sciences …, 0 | | |
