| Wearable Technologies for Hand Joints Monitoring for Rehabilitation: A Survey A Rashid, O Hasan Microelectronics Journal 88, 173-183, 2019 | 93 | 2019 |
| Formal reasoning about systems biology using theorem proving A Rashid, O Hasan, U Siddique, S Tahar PLOS ONE 12 (7), 1-27, 2017 | 21 | 2017 |
| Formal Verification of Platoon Control Strategies A Rashid, U Siddique, O Hasan Software Engineering and Formal Methods (SEFM), 15, 2018 | 18 | 2018 |
| Formal Analysis of Linear Control Systems using Theorem Proving A Rashid, O Hasan International Conference on Formal Engineering Methods, 2017 | 17 | 2017 |
| Formalization of Transform Methods using HOL Light A Rashid, O Hasan Intelligent Computer Mathematics 10383, 319-332, 2017 | 16 | 2017 |
| Formal analysis of continuous-time systems using Fourier transform A Rashid, O Hasan Journal of Symbolic Computation 90, 65-88, 2019 | 15 | 2019 |
| On the Formalization of Fourier Transform in Higher-order Logic A Rashid, O Hasan International Conference on Interactive Theorem Proving 9807, 483-490, 2016 | 13 | 2016 |
| Analysis of Weather Forecasting Model in PRISM A Ahmed, A Rashid, S Iqbal 12th International Conference on Frontiers of Information Technology (FIT …, 2014 | 12 | 2014 |
| Formal Analysis of a ZigBee-based Routing Protocol for Smart Grids using UPPAAL A Rashid, O Hasan, K Saghar 12th International Conference on High-capacity Optical Networks and Enabling …, 2015 | 11 | 2015 |
| Formalization of Lerch's Theorem using HOL Light A Rashid, O Hasan Journal of Applied Logic, 2018 | 10 | 2018 |
| Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving A Rashid, O Hasan Journal of Systems Architecture 112, 101850, 2021 | 9 | 2021 |
| Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving S Abed, A Rashid, O Hasan Journal of Aerospace Information Systems 17 (9), 481-495, 2020 | 8 | 2020 |
| Formal Analysis of Robotic Cell Injection Systems using Theorem Proving A Rashid, O Hasan International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2019 | 7 | 2019 |
| Formal verification of robotic cell injection systems up to 4-DOF using HOL Light A Rashid, O Hasan Formal Aspects of Computing 32 (2), 229-250, 2020 | 5 | 2020 |
| Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving A Rashid, M Umair, O Hasan, MH Zaki IEEE Access 8 (1), 27291-27307, 2020 | 5 | 2020 |
| Formal Verification of Cyber-Physical Systems using Theorem Proving A Rashid, U Siddique, S Tahar International Workshop on Formal Techniques for Safety-Critical Systems, 3-18, 2019 | 5 | 2019 |
| Formal verification of Matrix based MATLAB models using interactive theorem proving A Gauhar, A Rashid, O Hasan, J Bispo, JMP Cardoso PeerJ Computer Science 7, e440, 2021 | 3 | 2021 |
| Formal reasoning about synthetic biology using higher‐order‐logic theorem proving S Abed, A Rashid, O Hasan IET Systems Biology 14 (5), 271-283, 2020 | 3 | 2020 |
| Formal analysis of the biological circuits using higher-order-logic theorem proving S Abed, A Rashid, O Hasan Proceedings of the 35th Annual ACM Symposium on Applied Computing, 3-7, 2020 | 3 | 2020 |
| Formalization of transform methods using higher-order-logic theorem proving A Rashid PhD Thesis, National University of Science & Technology, Islamabad, Pakistan, 2019 | 3 | 2019 |
Osman HasanProfessor of Electrical Engineering, National University of Sciences and TechnologyVerified email at seecs.edu.pk
