BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
5 × USA
Collaborated with:
J.H.Kukula A.Kölbl T.Stanion H.T.Ma Y.Zhu D.Anastasakis K.Antreich D.S.Kung T.A.Nix D.J.Geiger P.Bjesse F.Bacchini B.Bentley K.Baty K.Normoyle M.Ishii E.Yogev D.Wang P.Ho J.Long
Talks about:
simul (3) symbol (2) formal (2) verif (2) what (2) decomposit (1) technolog (1) construct (1) algorithm (1) properti (1)

Person: Robert F. Damiano

DBLP DBLP: Damiano:Robert_F=

Contributed to:

DAC 20042004
DAC 20032003
SAT 20032003
DAC 20022002
DAC 20012001
DAC 19921992

Wrote 8 papers:

DAC-2004-BacchiniDBBNIY #named #verification #what
Verification: what works and what doesn’t (FB, RFD, BB, KB, KN, MI, EY), p. 274.
DAC-2003-DamianoK #satisfiability
Checking satisfiability of a conjunction of BDDs (RFD, JHK), pp. 818–823.
SAT-2003-BjesseKDSZ #satisfiability
Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.
DAC-2002-AnastasakisDMS #performance
A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
DAC-2002-KolblKAD #simulation
Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
DAC-2001-KolblKD #simulation
Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
DAC-1992-KungDNG #algorithm #named
BDDMAP: A Technology Mapper Based on a New Covering Algorithm (DSK, RFD, TAN, DJG), pp. 484–487.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.