dblp.uni-trier.dewww.uni-trier.de

Kevin Harer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EEEduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
2000
2 Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long: Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD 2000: 120-126
1999
1EENarendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking: A Robust Solution to the Timing Convergence Problem in High-Performance Design. ICCD 1999: 250-257

Coauthor Index

1Valeria Bertacco [2]
2Eduard Cerny [3]
3Robert F. Damiano [1] [2]
4Ashvin Dsouza [3]
5Pei-Hsin Ho [2] [3]
6Mahesh A. Iyer [1]
7James H. Kukula [2]
8Jiang Long [2]
9Hi-Keung Tony Ma [1] [3]
10Narendra V. Shenoy [1]
11Thomas R. Shiple [2]
12Jerry Taylor [2]
13Paul Thilking [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)