Ilya Nikulshin

According to our database, Ilya Nikulshin authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.

Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005