Jerry R. Burch
About
Jerry R. Burch has authored 23 papers that have received a total of 1.4k indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 14 papers in Hardware and Architecture and 11 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (20 papers), Embedded Systems Design Techniques (8 papers) and VLSI and Analog Circuit Testing (7 papers). Jerry R. Burch is often cited by papers focused on Formal Methods in Verification (20 papers), Embedded Systems Design Techniques (8 papers) and VLSI and Analog Circuit Testing (7 papers) and collaborates with scholars based in United States, Israel and Switzerland. Jerry R. Burch's co-authors include David L. Dill, Kenneth L. McMillan, E. M. Clarke, Malgorzata Chrzanowska-Jeske and David E. Long and has published in prestigious journals such as AIChE Journal, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Transactions on Very Large Scale Integration (VLSI) Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by K. Pal are about Top journals papers by Nicholas A. Isley are published in Top authors papers by Sidonia Mihai are co-authored with Top fields papers by Florian Eisner are about Top fields papers by N. Krumbholz are about Top journals papers by F. Prada are published in Top authors papers by Shelly M. Wuerzberger‐Davis are co-authored with Top authors papers by David Iggman are co-authored with