Follow
Nabil Bastaki
Nabil Bastaki
Assistant Professor of Electrical Engineering, UAE University
Verified email at uaeu.ac.ae - Homepage
Title
Cited by
Cited by
Year
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
212018
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
182020
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
152015
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
142018
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
122020
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
122020
Accelerated fog removal from real images for car detection
R Younis, N Bastaki
2017 9th IEEE-GCC Conference and Exhibition (GCCCE), 1-6, 2017
92017
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
82015
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
82014
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
72020
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
62003
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
52000
In-Pipe Inspection robot
BF Yousef, N Bastaki, N Mavridis, S Antali, J Menhali, K Al-Nuaimi, ...
Adaptive Mobile Robotics, 289-296, 2012
42012
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
32012
Fuel quality sensor
R Ramzan, OF Siddiqui, N Bastaki
US Patent 10,281,423, 2019
22019
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20