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 | 21 | 2018 |

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 | 18 | 2020 |

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 |

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 | 14 | 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 | 12 | 2020 |

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 | 12 | 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 |

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 | 8 | 2015 |

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 | 8 | 2014 |

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 |

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 |

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 |

Formalization of Asymptotic Notations 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 |