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 Valentine Sing’oei are about Top fields papers by Cheng-Yuan Tang are about Top countries impacted by papers by Dimitrios Rompotis Top fields papers by Andreas Lommatzsch are about Top journals papers by Sayuri Shirai are published in Top authors papers by K. S. Zhu are co-authored with Top authors papers by G Khera are co-authored with Top authors papers by Ryan A. Venturelli are co-authored with