Jason Baumgartner

23 papers and 457 indexed citations i.

Jason Baumgartner has authored 23 papers that have received a total of 457 indexed citations. This includes 19 papers in Computational Theory and Mathematics, 12 papers in Hardware and Architecture and 7 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (19 papers), VLSI and Analog Circuit Testing (8 papers) and Software Testing and Debugging Techniques (5 papers). Jason Baumgartner is often cited by papers focused on Formal Methods in Verification (19 papers), VLSI and Analog Circuit Testing (8 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in United States, Germany and Israel. Jason Baumgartner's co-authors include Alan Mishchenko, Robert K. Brayton, Jeremy Blackburn, Niklas Eén and Alexander Ivrii and has published in prestigious journals such as Formal Methods in System Design.