logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
O

Osman Hasan

national university of sciences & technology - pakistan

30H-index
372Paper Count
4.0KCitation Count
Published Papers 35
Publication Date
logo
Harnessing Field-Programmable Gate Arrays and Approximate Computing for Efficient MEA Signal Processing in Neuroscience
errJournal of Circuits Systems and Computers
IF1
err2026-01-01
err0
PREAI
errAwwad, Falah; Hassan, Mohammad; Hasan, Osman
errShare
errSave
Continual Learning-Guided Adaptive Approximate Computing for Real-Time MEA Spike Detection
errieee transactions on circuits and systems ii: express briefs
IF0
err2025-12-11
err0
errOAAI
errMishal Fatima Minhas; Falah Awwad; Osman Hassan; Muhammad Shafique
errShare
errSave
An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS)
errIEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
IF0.4
err2025-11-01
err0
PREAI
errFatima, Manal; Abed, Sa'ed; Hasan, Osman
errShare
errSave
Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications
errIEEE Access
IF3.6
err2025-01-01
err0
errOAAI
errMishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique
errShare
errSave
Recent trends and developments in protection systems for microgrids incorporating distributed generation
errWILEY INTERDISCIPLINARY REVIEWS-ENERGY AND ENVIRONMENT
IF6
err2024-07-29
err1
PREAI
errAshraf, Sobia; Hasan, Osman; Evkay, Ibrahim; Selamogullari, Ugur S.; Baysal, Mustafa
errShare
errSave
Formal performance analysis of optimal relays-based protection scheme for automated distribution networks
errENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH
IF5.4
err2024-03-01
err2
errOAAI
errAshraf, Sobia; Hasan, Osman
errShare
errSave
MSE-GCN: A Multiscale Spatiotemporal Feature Aggregation Enhanced Efficient Graph Convolutional Network for Dynamic Sign Language Recognition
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE
IF6.5
err2024-01-01
err0
PREAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
errShare
errSave
MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition
errCOMPUTERS & ELECTRICAL ENGINEERING
IF4.9
err2023-12-01
err5
PREAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
errShare
errSave
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks
errMACHINE LEARNING
IF2.9
err2023-03-01
err2
errOAAI
errNaseer, Mahum; Prabakaran, Bharath Srinivas; Hasan, Osman; Shafique, Muhammad
errShare
errSave
Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition
errIEEE ACCESS
IF3.6
err2023-01-01
err14
errOAAI
errNaz, Neelma; Sajid, Hasan; Ali, Sara; Hasan, Osman; Ehsan, Muhammad Khurram
errShare
errSave
A Formal Approach to Identifying the Impact of Noise on Neural Networks
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-10-20
err4
errOAAI
errBhatti, Iram Tariq; Naseer, Mahum; Shafique, Muhammad; Hasan, Osman
errShare
errSave
Formalization of bond graph using higher-order-logic theorem proving
errISA TRANSACTIONS
IF6.5
err2022-09-01
err2
errOAAI
errQasim, Ujala; Rashid, Adnan; Hasan, Osman
errShare
errSave
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
errJOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF2.8
err2022-04-23
err42
PREAI
errShaheen, Khadija; Hanif, Muhammad Abdullah; Hasan, Osman; Shafique, Muhammad
errShare
errSave
BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables
errIEEE INTERNET OF THINGS JOURNAL
IF8.9
err2021-09-01
err9
errOAAI
errPrabakaran, Bharath Srinivas; Akhtar, Asima; Rehman, Semeen; Hasan, Osman; Shafique, Muhammad
errShare
errSave
An evolutionary/heuristic-based proof searching framework for interactive theorem prover
errAPPLIED SOFT COMPUTING
IF6.6
err2021-06-01
err5
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
errShare
errSave
Formal verification of Matrix based MATLAB models using interactive theorem proving
errPEERJ COMPUTER SCIENCE
IF2.5
err2021-03-22
err1
errOAAI
errGauhar, Ayesha; Rashid, Adnan; Hasan, Osman; Bispo, Joao; Cardoso, Joao M. P.
errShare
errSave
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-01-01
err9
PREAI
errRashid, Adnan; Hasan, Osman
errShare
errSave
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving
errieee open journal of circuits and systems
IF4.4
err2020-12-01
err2
PREAI
errAhmad, Waqar; Hasan, Osman; Awwad, Falah; Bastaki, Nabil; Hasan, Syed Rafay
errShare
errSave
Design and Realization of a Robotic Manipulator for Minimally Invasive Surgery With Replaceable Surgical Tools
errIEEE-ASME TRANSACTIONS ON MECHATRONICS
IF7.3
err2020-12-01
err8
PREAI
errNisar, Sajid; Hameed, Asad; Kamal, Nabeel; Hasan, Osman; Matsuno, Fumitoshi
errShare
errSave
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques
errAPPLIED INTELLIGENCE
IF3.5
err2020-09-30
err4
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Junaid Qadir
H-index: 59 · Papers: 436
P
Philippe Fournier‐Viger
H-index: 56 · Papers: 493
J
Jörg Henkel
H-index: 52 · Papers: 763
M
Muhammad Shafique
H-index: 49 · Papers: 825
F
Fumitoshi Matsuno
H-index: 45 · Papers: 636
View more