Waqar Ahmad - RankMe

63 papers A 1B 2C 6Misc 2Journal 35Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Lightweight and Hardware-Efficient NTT FPGA Accelerator for FHE Applications. IEEE Trans. Circuits Syst. II Express Briefs Moonis Amir Zaman, Muhammad Bilal Khan, Waqar Ahmad, Ayesha Khalid, Máire O'Neill
2026	J	`jnl`	Retraction Note: Computer-aided diagnosis for burnt skin images using deep convolutional neural network. Multim. Tools Appl. Fakhri Alam Khan, Ateeq Ur Rehman Butt, Muhammad Asif, Waqar Ahmad, Muhammad Nawaz, Mona Jamjoom, Eatedal Alabdulkreem
2025	B	`conf`	Adaptive Semantic Compression with Predictive Channel Awareness for 6G Networks. PIMRC Ishtiaq Ahmad, Yazeed Alkhrijah, Waqar Ahmad, Mirza Muhammad Ubaid, Muhammad Shahzaib Sana, Syed Kamran Haider, Muhammad Ali Jamshed
2025	J	`jnl`	Human fall detection using pose estimation: From traditional machine learning to vision transformers. Eng. Appl. Artif. Intell. Ali Raza, Muhammad Haroon Yousaf, Waqar Ahmad, Sergio A. Velastin, Serestina Viriri
2025	J	`jnl`	Similarity-based Outlier Detection for Noisy Object Re-Identification Using Beta Mixtures. CoRR Waqar Ahmad, Evan Murphy, Vladimir A. Krylov
2024	J	`jnl`	An efficient versatile video coding motion estimation hardware. J. Real Time Image Process. Waqar Ahmad, Hossein Mahdavi, Ilker Hamzaoglu
2024	J	`jnl`	GGAS2SN: Gated Graph and SmilesToSeq Network for Solubility Prediction. J. Chem. Inf. Model. Waqar Ahmad, Kil To Chong, Hilal Tayara
2024	J	`jnl`	Mineralogical mapping and lithological discrimination by using ASTER remote sensing data in the Chitral region, Khyber Pakhtunkhwa, Northern Pakistan. Earth Sci. Informatics Nazir Ul Islam, Qunjia Zhang, Weiwei Qiu, Lei Liu, Yasir Shaheen Khalil, Said Mukhtar Ahmad, Waqar Ahmad
2024	—	`conf`	Roadside Object Geolocation from Street-Level Images with Reduced Supervision. EUSIPCO Waqar Ahmad, Vladimir A. Krylov
2024	J	`jnl`	Trajectory Data Mining and Trip Travel Time Prediction on Specific Roads. CoRR Muhammad Awais Amin, Jawad-ur-Rehman Chughtai, Waqar Ahmad, Waqas Haider Bangyal, Irfan Ul Haq
2023	J	`jnl`	DNA-Incorporated Biomimetic Olfactory Neuroepithelium That Facilitates Artificial Intelligence. Adv. Intell. Syst. Waqar Ahmad, Wenjun Yan, Min Ling, Chengdu Liang
2023	—	`conf`	Fruit Fly Detection and Classification in IoT Setup. ICCSA (Workshops 5) Syed M. Fasih, Asad Ali, Talha Mabood, Atif Ullah, Muhammad Hanif, Waqar Ahmad
2023	J	`jnl`	HyDra: Hybrid Task Mapping Application Framework for NOC-Based MPSoCs. IEEE Access Waqar Amin, Fawad Hussain, Sheraz Anjum, Sharoon Saleem, Waqar Ahmad, Mubashir Hussain
2022	—	`conf`	A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD Shahid Khan, Waqar Ahmad, Osman Hasan
2022	J	`jnl`	Correction to: Computer-aided diagnosis for burnt skin images using deep convolutional neural network. Multim. Tools Appl. Fakhri Alam Khan, Ateeq Ur Rehman Butt, Muhammad Asif, Waqar Ahmad, Muhammad Nawaz, Mona Jamjoom, Eatedal Alabdulkreem
2022	J	`jnl`	Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
2022	Misc	`conf`	Unsupervised Vessel Segmentation Method in Retinal Images. FIT Zanib Qaiser, Waqar Ahmad, Mir Yasir Umair, Zahid Mahmood
2022	J	`jnl`	Urdu Speech and Text Based Sentiment Analyzer. CoRR Waqar Ahmad, Maryam Edalati
2021	C	`conf`	An Efficient Approximate Sum of Absolute Differences Hardware for FPGAs. ICCE Waqar Ahmad, Ilker Hamzaoglu
2021	J	`jnl`	Low Error Efficient Approximate Adders for FPGAs. IEEE Access Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu
2021	—	`conf`	Resolution Representation Based Person Re-Identification for Smart Cities Using Deep Neural Networks (DNNs). ICIT Jawad Qammar, Waqar Ahmad
2020	J	`jnl`	A Formally Verified HOL4 Algebra for Event Trees. CoRR Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
2020	J	`jnl`	Analytical time-stepping solution of the discretized population balance equation. Comput. Chem. Eng. Mohamed Ali Jama, Wenli Zhao, Waqar Ahmad, Antonio Buffo, Ville Alopaeus
2020	C	`conf`	Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation. DSD Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu
2020	J	`jnl`	ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
2020	—	`conf`	ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
2020	J	`jnl`	Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. IEEE Syst. J. Waqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan
2020	J	`jnl`	Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. Mahum Naseer, Waqar Ahmad, Osman Hasan
2020	J	`jnl`	Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. Waqar Ahmad, Osman Hasan, Sofiène Tahar
2020	J	`jnl`	Generation of Highly Nonlinear and Dynamic AES Substitution-Boxes (S-Boxes) Using Chaos-Based Rotational Matrices. IEEE Access Muhammad Sarmad Mahmood Malik, Muhammad Asim Ali, Muhammad Asif Khan, Muhammad Ehatisham-ul-Haq, Syed Nasir Mehmood Shah, Mobashar Rehman, Waqar Ahmad
2020	J	`jnl`	Human Activity Recognition using Multi-Head CNN followed by LSTM. CoRR Waqar Ahmad, Misbah Kazmi, Hazrat Ali
2019	—	`conf`	3D-HEVC Neighboring Block Based Disparity Vector (NBDV) Derivation Architecture: Complexity and Implementation Analysis. ApplePies Waqar Ahmad, Naveed Khan Baloch, Fawad Hussain, Muhammad Asif Khan, Maurizio Martina
2019	—	`conf`	On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
2019	J	`jnl`	Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2018	—	`conf`	Accelerating Viterbi Algorithm using Custom Instruction Approach. MESA Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
2018	J	`jnl`	Accelerating Viterbi Algorithm using Custom Instruction Approach. CoRR Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
2018	—	`conf`	Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
2018	J	`jnl`	Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2017	—	`conf`	An Algorithm for Alleviating the Effect of Hotspot on Throughput in Wireless Sensor Networks. LCN Workshops Abdul Rehman, Sadia Din, Anand Paul, Waqar Ahmad
2017	J	`jnl`	Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
2017	—	`—`	High-Level Synthesis Based VLSI Architectures for Video Coding. Waqar Ahmad
2017	J	`jnl`	Reliability modeling and analysis of communication networks. J. Netw. Comput. Appl. Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
2016	C	`conf`	Formal Availability Analysis Using Theorem Proving. ICFEM Waqar Ahmad, Osman Hasan
2016	J	`jnl`	Formal Availability Analysis using Theorem Proving. CoRR Waqar Ahmad, Osman Hasan
2016	C	`conf`	Formal Dependability Modeling and Analysis: A Survey. CICM Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	J	`jnl`	Formal Dependability Modeling and Analysis: A Survey. CoRR Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	Misc	`conf`	Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. SETTA Waqar Ahmad, Osman Hasan
2016	J	`jnl`	Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach. CoRR Waqar Ahmad, Osman Hasan
2016	J	`jnl`	Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	—	`conf`	High Level Synthesis based FPGA Implementation of H.264/AVC Sub-Pixel Luma Interpolation Filters. EMS Waqar Ahmad, Javed Iqbal, Maurizio Martina, Guido Masera
2016	A	`conf`	Inter-app communication in Android: developer challenges. MSR Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich
2016	J	`jnl`	Reliability Modeling and Analysis of Communication Networks. CoRR Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
2015	—	`conf`	Complexity and implementation analysis of synthesized view distortion estimation architecture in 3D High Efficiency Video Coding. IC3D Waqar Ahmad, Maurizio Martina, Guido Masera
2015	—	`conf`	Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. MobileDeLi Waqar Ahmad, Joshua Sunshine, Christian Kästner, Adam S. Wynne
2015	B	`conf`	Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob Waqar Ahmad, Osman Hasan, Sofiène Tahar
2015	C	`conf`	Towards Formal Fault Tree Analysis Using Theorem Proving. CICM Waqar Ahmad, Osman Hasan
2015	J	`jnl`	Towards Formal Fault Tree Analysis using Theorem Proving. CoRR Waqar Ahmad, Osman Hasan
2015	—	`conf`	Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR Waqar Ahmad, Osman Hasan, Sofiène Tahar
2014	J	`jnl`	Alternate Phosphorylation/O-GlcNAc Modification on Human Insulin IRSs: A Road towards Impaired Insulin Signaling in Alzheimer and Diabetes. Adv. Bioinformatics Zainab Jahangir, Waqar Ahmad, Khadija Shabbiri
2014	—	`conf`	High Speed VLSI Architecture for Finding the First W Maximum/Minimum Values. ApplePies Guoping Xiao, Waqar Ahmad, Syed Azhar Ali Zaidi, Massimo Ruo Roch, Giovanni Causapruno
2014	C	`conf`	Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CICM Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
2014	J	`jnl`	Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CoRR Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
2011	—	`conf`	Insight into the Requirements of Self-aware, Adaptive and Reliable Embedded Sub-systems of Satellite Spacecraft. PECCS Rajeev Kumar Kanth, Pasi Liljeberg, Hannu Tenhunen, Qiansu Wan, Waqar Ahmad, Li-Rong Zheng, Harish Kumar