Robert F. Damiano

	2004
15		Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274
	2003
14		Robert F. Damiano, James H. Kukula: Checking satisfiability of a conjunction of BDDs. DAC 2003: 818-823
13		Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
	2002
12		Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano: Handling special constructs in symbolic simulation. DAC 2002: 105-110
11		Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion: A practical and efficient method for compare-point matching. DAC 2002: 305-310
	2001
10		Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC 2001: 35-40
9		Alfred Kölbl, James H. Kukula, Robert F. Damiano: Symbolic RTL Simulation. DAC 2001: 47-52
	2000
8		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
7		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
	1994
6		Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano: Timing Verification and Optimization for the PowerPCTM Processor Family. ICCD 1994: 390-393
5		Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm: In the Driver's Seat of BooleDozer. ICCD 1994: 518-521
	1993
4		Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham: Benchmarking Parallel Processing Platforms: An Applications Perspective. IEEE Trans. Parallel Distrib. Syst. 4(8): 947-954 (1993)
3		Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham: VLSI logic and fault simulation on general-purpose parallel computers. IEEE Trans. on CAD of Integrated Circuits and Systems 12(3): 446-460 (1993)
	1992
2		David S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger: BDDMAP: A Technology Mapper Based on a New Covering Algorithm. DAC 1992: 484-487
	1991
1		Robert F. Damiano, Len Berman: Dual Global Flow. ICCD 1991: 49-53

Coauthor Index

1	Jacob A. Abraham	[3] [4]
2	Demos Anastasakis	[11]
3	Kurt Antreich	[12]
4	Francine Bacchini	[15]
5	Kurt Baty	[15]
6	Bob Bentley	[15]
7	Len Berman	[1]
8	Valeria Bertacco	[8]
9	Per Bjesse	[13]
10	Daniel Brand	[5]
11	Anthony D. Drumm	[5]
12	David J. Geiger	[2]
13	Lukas P. P. P. van Ginneken	[5] [6]
14	Kevin Harer	[7] [8]
15	Pei-Hsin Ho	[8] [10]
16	Makoto Ishii	[15]
17	Mahesh A. Iyer	[7]
18	Alfred Kölbl	[9] [12]
19	James H. Kukula	[8] [9] [10] [12] [13] [14]
20	David S. Kung	[2]
21	Jiang Long	[8] [10]
22	Hi-Keung Tony Ma	[7] [10] [11]
23	Robert E. Mains	[6]
24	Thomas A. Mosher	[6]
25	Robert B. Mueller-Thuns	[3] [4]
26	Theresa A. Nix	[2]
27	Kevin Normoyle	[15]
28	Daniel G. Saab	[3] [4]
29	Narendra V. Shenoy	[7]
30	Thomas R. Shiple	[8]
31	Ted Stanion	[11] [13]
32	Jerry Taylor	[8]
33	Paul Thilking	[7]
34	Dong Wang	[10]
35	Einat Yogev	[15]
36	Yunshan Zhu	[10] [13]

Colors in the list of coauthors