Vanderbilt University — United States
Computer Science · Physical Sciences
42h-index8.3kcitations223works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
VLSI and Analog Circuit Testing(69), Low-power high-performance VLSI design(61), VLSI and FPGA Design Techniques(61), Embedded Systems Design Techniques(39), Formal Methods in Verification(29)
Publications223 total
Journal of Vision·2012· 8 citedOpen Access
IEEE Solid-State Circuits Magazine·2010
SPE Annual Technical Conference and Exhibition·2007· 12 cited
2006· 6 cited
Computers & Graphics·2005· 44 cited
CEO Panel: EDA: This is serious business
Design Automation Conference·2004
2004· 50 cited
Recognition and Beautification of Multi-Stroke Symbols in Digital Ink.
National Conference on Artificial Intelligence·2004· 2 cited
Proceedings of the 17th International Conference on Pattern Recognition, 2004. ICPR 2004.·2004· 77 cited
A common model approach to the integration of heterogeneous models of communications, concurrency, and coordination for embedded systems
2004
Practical and adaptive multi-stroke symbol recognition
2004
Distributed design data management for electronic design automation
2004
2003· 128 cited
2003· 4 cited
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)·2003· 2 cited
page 1 of 12Next →
Frequent Co-authors
Srinivas Devadas(20), Alberto Sangiovanni‐Vincentelli(14), H.-K.T. Ma(7), T. Sakurai(4), Binshan Lin(4), Gary D. Hachtel(3), Abhijit Ghosh(3), Heloise Hwawen Hse(3), Kurt Keutzer(2), Pranav Ashar(2), B. O'Krafka(2), Resve Saleh(2), Michael Shilman(2), Jan M. Rabaey(1), Hi-Keung Ma(1), Sharad Malik(1), David Harrison(1), Rick L. Spickelmier(1), Timothy J. Barnes(1), Premal Buch(1)