Osman Hasan 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	4446	2916
h 指数	32	24
i10 指数	121	73

580

290

145

435

20072008200920102011201220132014201520162017201820192020202120222023202423 13 33 32 48 71 100 129 190 221 265 377 443 541 501 565 578 279

开放获取的出版物数量

查看全部

15 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Sofiene TaharConcordia University在 ece.concordia.ca 的电子邮件经过验证
Muhammad ShafiqueProfessor, ECE, New York University (AD-UAE, Tandon-USA), Director eBRAIN Lab在 nyu.edu 的电子邮件经过验证
Adnan RashidPostdoctoral Fellow, Hardware Verification Group, Concordia University在 concordia.ca 的电子邮件经过验证
Waqar AhmadWind River Systems, Inc.在 seecs.edu.pk 的电子邮件经过验证
Falah AwwadProfessor of Electrical and Computer Engineering, United Arab Emirates University在 uaeu.ac.ae 的电子邮件经过验证
Syed Rafay HasanProfessor, Tennessee Technological University在 tntech.edu 的电子邮件经过验证
Yasar AyazNUST -SMME在 smme.edu.pk 的电子邮件经过验证
Faiq KhalidPh.D. Scholar, Technische Universität Wien, Vienna, Austria在 tuwien.ac.at 的电子邮件经过验证
Jörg HenkelProfessor of Computer Science, Karlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Mahmoud Masadeh, PhDSMIEEE, Assist. Prof. of Computer Eng., Yarmouk University在 yu.edu.jo 的电子邮件经过验证
Rehan HafizInformation Technology University (ITU), Lahore, Pakistan在 itu.edu.pk 的电子邮件经过验证
Umair SiddiqueApple在 apple.com 的电子邮件经过验证
Fahad IslamCarnegie Mellon University在 fulbrightmail.org 的电子邮件经过验证
Muhammad Usama SardarTechnische Universität Dresden, Germany在 mailbox.tu-dresden.de 的电子邮件经过验证
Usman PervezNUST在 seecs.edu.pk 的电子邮件经过验证
Mohamed HamdiUniversity of Carthage在 supcom.rnu.tn 的电子邮件经过验证
Muhammad Abdullah HanifPostdoctoral Associate, New York University, Abu Dhabi在 nyu.edu 的电子邮件经过验证
Tarek MhamdiApple Inc在 apple.com 的电子邮件经过验证
Mannan Saeed MuhammadECE, CICE, SKKU在 skku.edu 的电子邮件经过验证
MOHAMED ABIDCES Laboratory, National School of Engineers of Sfax, University of Sfax, Sfax, Tunisia在 enis.tn 的电子邮件经过验证

关注

Osman Hasan

Professor of Electrical Engineering, National University of Sciences and Technology

在 seecs.edu.pk 的电子邮件经过验证 - 首页

Formal Methods Theorem Proving Model Checking Approximate Computing Hardware Security.


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
RRT^∗-Smart: Rapid convergence implementation of RRT^∗ towards optimal solution F Islam, J Nasir, U Malik, Y Ayaz, O Hasan 2012 IEEE international conference on mechatronics and automation, 1651-1656, 2012	300	2012
RRT*-SMART: A rapid convergence implementation of RRT J Nasir, F Islam, U Malik, Y Ayaz, O Hasan, M Khan, MS Muhammad International Journal of Advanced Robotic Systems 10 (7), 299, 2013	259	2013
Reliability modeling and analysis of communication networks W Ahmad, O Hasan, U Pervez, J Qadir Journal of Network and Computer Applications 78, 191-215, 2017	146	2017
Formal verification methods O Hasan, S Tahar Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015	104	2015
Wearable technologies for hand joints monitoring for rehabilitation: A survey A Rashid, O Hasan Microelectronics Journal 88, 173-183, 2019	98	2019
Probabilistic error modeling for approximate adders S Mazahir, O Hasan, R Hafiz, M Shafique, J Henkel IEEE Transactions on Computers 66 (3), 515-530, 2016	98	2016
On the formalization of the Lebesgue integration theory in HOL T Mhamdi, O Hasan, S Tahar Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010	85	2010
Survey of fall detection and daily activity monitoring techniques F Hijaz, N Afzal, T Ahmad, O Hasan 2010 International Conference on Information and Emerging Technologies, 1-6, 2010	78	2010
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things M Mohsin, MU Sardar, O Hasan, Z Anwar IEEE Access 5, 5494-5505, 2017	77	2017
Applying formal methods to networking: theory, techniques, and applications J Qadir, O Hasan IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014	77	2014
Stunting diagnostic and awareness: Impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan M Ponum, S Khan, O Hasan, MT Mahmood, A Abbas, M Iftikhar, R Arshad Bmc Pediatrics 20, 1-9, 2020	73	2020
Chronic kidney disease diagnosis using decision tree algorithms H Ilyas, S Ali, M Ponum, O Hasan, MT Mahmood, M Iftikhar, MH Malik BMC nephrology 22 (1), 273, 2021	67	2021
Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models FK Lodhi, SR Hasan, O Hasan, F Awwadl Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017	63	2017
Probabilistic error analysis of approximate recursive multipliers S Mazahir, O Hasan, R Hafiz, M Shafique IEEE Transactions on Computers 66 (11), 1982-1990, 2017	55	2017
Continual learning for real-world autonomous systems: Algorithms, challenges and frameworks K Shaheen, MA Hanif, O Hasan, M Shafique Journal of Intelligent & Robotic Systems 105 (1), 9, 2022	53	2022
A self-learning framework to detect the intruded integrated circuits FK Lodhi, I Abbasi, F Khalid, O Hasan, F Awwad, SR Hasan 2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1702-1705, 2016	53	2016
Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011	51	2011
Formal probabilistic analysis using theorem proving O Hasan Concordia University, 2008	48	2008
QuAd: Design and analysis of quality-area optimal low-latency approximate adders MA Hanif, R Hafiz, O Hasan, M Shafique Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017	47	2017
Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN A Zaman, O Hasan 2014 International Symposium on System-on-Chip (SoC), 1-8, 2014	47	2014

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用