Portable parallel logic and fault simulation. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (ICCAD, 1989)

The EVE companion simulator. - Daniel K. Beece; Robert F. Damiano; Georgina Papp; R. Schoen (EURO-DAC, 1990)

Dual Global Flow. - Robert F. Damiano; Len Berman (ICCD, 1991)

BDDMAP: A Technology Mapper Based on a New Covering Algorithm. - David S. Kung 001; Robert F. Damiano; Theresa A. Nix; David J. Geiger (DAC, 1992)

VLSI logic and fault simulation on general-purpose parallel computers. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Benchmarking Parallel Processing Platforms: An Applications Perspective. - Robert B. Mueller-Thuns; Daniel G. Saab; Robert F. Damiano; Jacob A. Abraham (IEEE Trans. Parallel Distributed Syst., 1993)

In the Driver's Seat of BooleDozer. - Daniel Brand; Robert F. Damiano; Lukas P. P. P. van Ginneken; Anthony D. Drumm (ICCD, 1994)

Timing Verification and Optimization for the PowerPCTM Processor Family. - Robert E. Mains; Thomas A. Mosher; Lukas P. P. P. van Ginneken; Robert F. Damiano (ICCD, 1994)

A Robust Solution to the Timing Convergence Problem in High-Performance Design. - Narendra V. Shenoy; Mahesh A. Iyer; Robert F. Damiano; Kevin Harer; Hi-Keung Tony Ma; Paul Thilking (ICCD, 1999)

Smart Simulation Using Collaborative Formal and Simulation Engines. - Pei-Hsin Ho; Thomas R. Shiple; Kevin Harer; James H. Kukula; Robert F. Damiano; Valeria Bertacco; Jerry Taylor; Jiang Long (ICCAD, 2000)

Symbolic RTL Simulation. - Alfred Kölbl; James H. Kukula; Robert F. Damiano (DAC, 2001)

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. - Dong Wang; Pei-Hsin Ho; Jiang Long; James H. Kukula; Yunshan Zhu; Hi-Keung Tony Ma; Robert F. Damiano (DAC, 2001)

A practical and efficient method for compare-point matching. - Demos Anastasakis; Robert F. Damiano; Hi-Keung Tony Ma; Ted Stanion (DAC, 2002)

Handling special constructs in symbolic simulation. - Alfred Kölbl; James H. Kukula; Kurt Antreich; Robert F. Damiano (DAC, 2002)

Checking satisfiability of a conjunction of BDDs. - Robert F. Damiano; James H. Kukula (DAC, 2003)

Guiding SAT Diagnosis with Tree Decompositions. - Per Bjesse; James H. Kukula; Robert F. Damiano; Ted Stanion; Yunshan Zhu (SAT, 2003)

Verification: what works and what doesn't. - Francine Bacchini; Robert F. Damiano; Bob Bentley; Kurt Baty; Kevin Normoyle; Makoto Ishii; Einat Yogev (DAC, 2004)