| Electromagnetically induced absorption in the near-field of microwave radiative elements with application to foliage moisture sensing R Ramzan, M Omar, OF Siddiqui, M Amin, N Bastaki, TS Ksiksi IEEE Access 6, 77859-77868, 2018 | 18 | 2018 |
| Non‐invasive piezoelectric detection of heartbeat rate and blood pressure N Al Taradeh, N Bastaki, I Saadat, M Al Ahmad Electronics Letters 51 (6), 452-454, 2015 | 15 | 2015 |
| A survey on routing protocols for delay and energy-constrained cognitive radio networks RA Diab, N Bastaki, A Abdrabou IEEE Access 8, 198779-198800, 2020 | 14 | 2020 |
| Lorentz reflect-phase detector for moisture and dielectric sensing OF Siddiqui, R Ramzan, M Amin, M Omar, N Bastaki IEEE Sensors Journal 18 (22), 9236-9242, 2018 | 13 | 2018 |
| Internet of trees (IoTr) implemented by highly dispersive electromagnetic sensors R Ramzan, M Omar, OF Siddiqui, TS Ksiksi, N Bastaki IEEE Sensors Journal 21 (1), 642-650, 2020 | 11 | 2020 |
| Accelerated fog removal from real images for car detection R Younis, N Bastaki 2017 9th IEEE-GCC Conference and Exhibition (GCCCE), 1-6, 2017 | 9 | 2017 |
| Worm robot with dynamic adaptation to pipe diameter for in-pipe inspection BF Yousef, N Bastaki Int J Eng Innovative Technol 3, 286-292, 2014 | 9 | 2014 |
| An efficient routing protocol for cognitive radio networks of energy-limited devices RA Abu Diab, A Abdrabou, N Bastaki Telecommunication Systems 73, 577-594, 2020 | 7 | 2020 |
| Formal reliability analysis of an integrated power generation system using theorem proving W Ahmad, O Hasan, F Awwad, N Bastaki, SR Hasan IEEE Systems Journal 14 (4), 4820-4831, 2020 | 7 | 2020 |
| Comparison and design of VCOs for ultra-low power CMOS temperature sensors W Arshad, R Ramzan, A Beg, N Bastaki 2015 International Conference on Communications, Signal Processing, and …, 2015 | 7 | 2015 |
| Path-delay fault simulation for circuits with large numbers of paths for very large test sets NM Abdulrazzaq, SK Gupta Proceedings. 21st VLSI Test Symposium, 2003., 186-193, 2003 | 6 | 2003 |
| Test generation for path-delay faults in one-dimensional iterative logic arrays NM Abdulrazzaq, SK Gupta Proceedings International Test Conference 2000 (IEEE Cat. No. 00CH37159 …, 2000 | 5 | 2000 |
| In-Pipe Inspection robot BF Yousef, N Bastaki, N Mavridis, S Antali, J Menhali, K Al-Nuaimi, ... Adaptive Mobile Robotics, 289-296, 2012 | 4 | 2012 |
| Condition monitoring of pulsed electric field food processing systems N Bastaki, AM Gaouda, AH El-Hag, SH Jayaram Insight-Non-Destructive Testing and Condition Monitoring 54 (1), 36-44, 2012 | 3 | 2012 |
| Apparatus and method for physiological mechanical and electrical activity monitoring MFY Al Ahmad, N Bastaki, BF Mon US Patent 10,722,124, 2020 | 2 | 2020 |
| Fuel quality sensor R Ramzan, OF Siddiqui, N Bastaki US Patent 10,281,423, 2019 | 2 | 2019 |
| Formal Asymptotic Analysis of Online Scheduling Algorithms for Plug-In Electric Vehicles’ Charging A Ahmed, O Hasan, F Awwad, N Bastaki, SR Hasan Energies 12 (1), 19, 2018 | 1 | 2018 |
| Formal Analysis of Future Energy Systems Using Interactive Theorem Proving A Ahmed, O Hasan, F Awwad, N Bastaki Springer International Publishing, 2022 | | 2022 |
| Interactive Theorem Proving A Ahmed, O Hasan, F Awwad, N Bastaki, A Ahmed, O Hasan, F Awwad, ... Formal Analysis of Future Energy Systems Using Interactive Theorem Proving …, 2022 | | 2022 |
| Formalization of Stability Theory A Ahmed, O Hasan, F Awwad, N Bastaki, A Ahmed, O Hasan, F Awwad, ... Formal Analysis of Future Energy Systems Using Interactive Theorem Proving …, 2022 | | 2022 |
