Ziyad Hanna
About
Ziyad Hanna has authored 15 papers that have received a total of 97 indexed citations.
This includes 15 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 5 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (4 papers) and Embedded Systems Design Techniques (4 papers). Ziyad Hanna is often cited by papers focused on Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (4 papers) and Embedded Systems Design Techniques (4 papers) and collaborates with scholars based in United States, Israel and United Kingdom. Ziyad Hanna's co-authors include Zurab Khasidashvili, Kwang‐Ting Cheng, Li-C. Wang, Byron Cook and Per Bjesse and has published in prestigious journals such as Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by V. Thomas are about Top countries impacted by papers by J. M. Kohli Top fields papers by Qiwen Xu are about Top countries impacted by papers by Łukasz Grabowski Top authors papers by E. Mwangi are co-authored with Top fields papers by H. Beker are about Top countries impacted by papers by Laura Chizuko Fujino Top fields papers by Carl J. Posy are about