Husam Abu-Haimed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2000–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SAT | Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. | Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed |
| 2006 | FMCAD | A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. | Husam Abu-Haimed, David L. Dill, Sergey Berezin |
| 2003 | CAV | Strengthening Invariants by Symbolic Consistency Testing. | Husam Abu-Haimed, Sergey Berezin, David L. Dill |
| 2000 | PDPTA | Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. | Mayez A. Al-Mouhamed, Husam Abu-Haimed |