Avi Ziv

47 papers and 430 indexed citations i.

About

Avi Ziv has authored 47 papers that have received a total of 430 indexed citations. This includes 27 papers in Hardware and Architecture, 22 papers in Software and 15 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (15 papers) and Software Testing and Debugging Techniques (13 papers). Avi Ziv is often cited by papers focused on Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (15 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in Israel, United States and Canada. Avi Ziv's co-authors include Shmuel Ur, Jehoshua Bruck, Shai Fine, Laurent Sébastien Fournier and Allon Adir and has published in prestigious journals such as IEEE Transactions on Computers, IBM Journal of Research and Development and Mathematics and Computers in Simulation

In The Last Decade

Rankless by CCL
2025