Aman Goel

9 papers and 12 indexed citations i.

Aman Goel has authored 9 papers that have received a total of 12 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 3 papers in Hardware and Architecture and 2 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (3 papers), VLSI and Analog Circuit Testing (3 papers) and Low-power high-performance VLSI design (2 papers). Aman Goel is often cited by papers focused on Formal Methods in Verification (3 papers), VLSI and Analog Circuit Testing (3 papers) and Low-power high-performance VLSI design (2 papers) and collaborates with scholars based in United States and India. Aman Goel's co-authors include Karem A. Sakallah, Matthew Michelson, Cyrus Shahabi, Craig A. Knoblock and Ching-Chien Chen and has published in prestigious journals such as International Journal on Document Analysis and Recognition (IJDAR), IFAC-PapersOnLine and Innovations in Systems and Software Engineering