Husam Abu-Haimed

	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

Coauthor Index

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