The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert F. Damiano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002