Sigal Asaf

	2010
5		Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis: Applying Constraint Programming to Identification and Assignment of Service Professionals. CP 2010: 24-37
	2007
4		Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled: A Framework for the Validation of Processor Architecture Compliance. DAC 2007: 902-905
	2005
3		Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv: Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. IEEE Symposium on Computer Arithmetic 2005: 76-83
	2004
2		Sigal Asaf, Eitan Marcus, Avi Ziv: Defining coverage views to improve functional coverage analysis. DAC 2004: 41-44
	2003
1		Avi Ziv, Merav Aharoni, Sigal Asaf: Solving Range Constraints for Binary Floating-Point Instructions. IEEE Symposium on Computer Arithmetic 2003: 158-164

Coauthor Index

1	Allon Adir	[4]
2	Merav Aharoni	[1] [3]
3	Daniel P. Connors	[5]
4	Haggai Eran	[5]
5	Laurent Fournier	[4]
6	Donna L. Gresh	[5]
7	Itai Jaeger	[4]
8	Ron Maharik	[3]
9	Eitan Marcus	[2]
10	Michael J. Mcinnis	[5]
11	Ilan Nehama	[3]
12	Ilya Nikulshin	[3]
13	Julio Ortega	[5]
14	Ofer Peled	[4]
15	Yossi Richter	[5]
16	Abraham Ziv	[3]
17	Avi Ziv	[1] [2]

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