Osman Hasan
Impact in
- Hardware and Architecture top 1%
- Embedded Systems Design Techniques
- Physical Unclonable Functions (PUFs) and Hardware Security
- Software top 2%
- Software Reliability and Analysis Research
Papers in
-
- Formal Methods in Verification 109
-
- Radiation Effects in Electronics 29
- Low-power high-performance VLSI design 28
- Co-authors
- Sofiène Tahar (82 shared papers)Muhammad Shafique (33 shared papers)Yasar Ayaz (5 shared papers)Fahad Islam (4 shared papers)Usman Malik (2 shared papers)Jauwairia Nasir (2 shared papers)Syed Rafay Hasan (21 shared papers)Rehan Hafiz (7 shared papers)
- Journals
- IEEE Access (7 papers)IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (5 papers)Lecture notes in computer science (45 papers)Journal of Automated Reasoning (4 papers)Formal Aspects of Computing (3 papers)
- Partner nations
- PakistanCanadaUnited States
In The Last Decade
Osman Hasan
241 papers receiving 2.7k citations
Peers
Comparison fields: 5 of 124
- Hardware and Architecture 557
- Software 282
- Computational Theory and Mathematics 621
- Computer Vision and Pattern Recognition 530
- Control and Systems Engineering 428
Countries citing papers authored by Osman Hasan
This map shows the geographic impact of Osman Hasan's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Osman Hasan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Osman Hasan more than expected).
Fields of papers citing papers by Osman Hasan
This network shows the impact of papers produced by Osman Hasan. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Osman Hasan. The network helps show where Osman Hasan may publish in the future.
Co-authors
The 25 scholars most cited alongside Osman Hasan, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 259 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2013 | 185 | |
| 2 | 2012 | 125 | |
| 3 | 2018 | 86 | |
| 4 | 2016 | 83 | |
| 5 | 2016 | 77 | |
| 6 | 2021 | 75 | |
| 7 | 2022 | 69 | |
| 8 | 2014 | 63 | |
| 9 | 2013 | 56 | |
| 10 | 2010 | 53 | |
| 11 | 2010 | 46 | |
| 12 | 2017 | 43 | |
| 13 | 2017 | 43 | |
| 14 | 2017 | 39 | |
| 15 | 2020 | 37 | |
| 16 | 2023 | 37 | |
| 17 | 2019 | 36 | |
| 18 | 2017 | 36 | |
| 19 | 2017 | 34 | |
| 20 | 1 Applying Formal Methods to Networking: Theory, Techniques and Applications | 2016 | 34 |
About Osman Hasan
Osman Hasan is a scholar working on Computational Theory and Mathematics, Electrical and Electronic Engineering, Hardware and Architecture, Artificial Intelligence and Software, having authored 259 papers that have together received 2.8k indexed citations. Recurring topics across this work include Formal Methods in Verification (109 papers), Software Reliability and Analysis Research (34 papers), Embedded Systems Design Techniques (30 papers), Radiation Effects in Electronics (29 papers), Low-power high-performance VLSI design (28 papers), Logic, programming, and type systems (27 papers), Software Testing and Debugging Techniques (18 papers) and VLSI and Analog Circuit Testing (16 papers). The work is most often cited by research in Hardware and Architecture (557 citations), Software (282 citations), Computational Theory and Mathematics (621 citations), Computer Vision and Pattern Recognition (530 citations) and Control and Systems Engineering (428 citations). Osman Hasan has collaborated with scholars based in Pakistan, Canada and United States. Frequent co-authors include Sofiène Tahar, Muhammad Shafique, Yasar Ayaz, Fahad Islam, Usman Malik, Jauwairia Nasir, Syed Rafay Hasan, Rehan Hafiz, Junaid Qadir and Falah Awwad. Their work appears in journals such as IEEE Access, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Lecture notes in computer science, Journal of Automated Reasoning and Formal Aspects of Computing.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.