Kevin Harer

	2012
6		Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer: Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC 2012: 585-590
	2010
5		In-Ho Moon, Kevin Harer: Learning from Constraints for Formal Property Checking. J. Electronic Testing 26(2): 243-259 (2010)
	2009
4		In-Ho Moon, Kevin Harer: Learning from constraints for formal property checking. HLDVT 2009: 38-45
	2005
3		Eduard 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
1		Narendra 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

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page