Robert F. Damiano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
4
Active years
1989–2004
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | DAC | Verification: what works and what doesn't. | Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev |
| 2003 | DAC | Checking satisfiability of a conjunction of BDDs. | Robert F. Damiano, James H. Kukula |
| 2003 | SAT | Guiding SAT Diagnosis with Tree Decompositions. | Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu |
| 2002 | DAC | A practical and efficient method for compare-point matching. | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion |
| 2002 | DAC | Handling special constructs in symbolic simulation. | Alfred Klbl, James H. Kukula, Kurt Antreich, Robert F. Damiano |
| 2001 | DAC | Symbolic RTL Simulation. | Alfred Klbl, James H. Kukula, Robert F. Damiano |
| 2001 | DAC | 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 |
| 2000 | ICCAD | 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 |
| 1999 | ICCD | 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 |
| 1994 | ICCD | In the Driver's Seat of BooleDozer. | Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm |
| 1994 | ICCD | Timing Verification and Optimization for the PowerPC | Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano |
| 1992 | DAC | BDDMAP: A Technology Mapper Based on a New Covering Algorithm. | David S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger |
| 1991 | ICCD | Dual Global Flow. | Robert F. Damiano, Len Berman |
| 1989 | ICCAD | Portable parallel logic and fault simulation. | Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham |