Elena Guralnik

	2011
2		Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman: Simulation-Based Verification of Floating-Point Division. IEEE Trans. Computers 60(2): 176-188 (2011)
	2009
1		Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan: Implementation Specific Verification of Divide and Square Root Instructions. IEEE Symposium on Computer Arithmetic 2009: 114-121

Coauthor Index

1	Merav Aharoni	[2]
2	Ariel J. Birnbaum	[1] [2]
3	Avi Kaplan	[1]
4	Anatoly Koyfman	[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page