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
side by side view
Countries citing papers authored by Jerry R. Burch
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by George H. Raque Breakdown of academic impact, for papers by Elton Strauss Breakdown of academic impact, for papers by Jenna L. Jeffrey Breakdown of academic impact, for papers by Chiara Chiellini Breakdown of academic impact, for papers by Natividad Longo Breakdown of academic impact, for papers by Martina Gabrielli Breakdown of academic impact, for papers by J Duval Breakdown of academic impact, for papers by Abedalrazq F. Khalil