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 countries impacted by papers by Louis Loss Top journals papers by C. G. S. Costa are published in Top authors papers by Emmanuel Mourlon‐Druol are co-authored with Top countries impacted by papers by Vinícius O. Boldrini Top countries impacted by papers by Seyyedmohammadsadeq Mirmoeeni Top fields papers by Anke te Heesen are about Top countries impacted by papers by M. Calvetti Top fields papers by Byunghwan Lim are about