| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 5 |      | Husam Abu-Haimed, David L. Dill, Sergey Berezin: A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD 2006: 145-152 |
| 2003 | ||
| 4 | | Husam Abu-Haimed, Sergey Berezin, David L. Dill: Strengthening Invariants by Symbolic Consistency Testing. CAV 2003: 407-419 |
| 3 | | Husam Abu-Haimed, Sergey Berezin, David L. Dill: Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME 2003: 158-163 |
| 2001 | ||
| 2 | | Mayez A. Al-Mouhamed, Husam Abu-Haimed: Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. International Journal of Parallel Programming 29(4): 365-399 (2001) |
| 2000 | ||
| 1 |  | Mayez A. Al-Mouhamed, Husam Abu-Haimed: Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. PDPTA 2000 |
| 1 | Mayez A. Al-Mouhamed | [1] [2] |
| 2 | Sergey Berezin | [3] [4] [5] |
| 3 | David L. Dill | [3] [4] [5] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page