Checking approximate computations over the reals. - Sigal Ar; Manuel Blum 001; Bruno Codenotti; Peter Gemmell (STOC, 1993)

Reliable Benchmarks Using Numerical Instability. - Sigal Ar; Jin-yi Cai (SODA, 1994)

Reconstructing Algebraic Functions from Mixed Data. - Sigal Ar; Richard J. Lipton; Ronitt Rubinfeld; Madhu Sudan 001 (SIAM J. Comput., 1998)

Query Driven BSP Trees. - Sigal Ar; Ayellet Tal (EuroCG, 2000)

Self-customized BSP trees for collision detection. - Sigal Ar; Bernard Chazelle; Ayellet Tal (Comput. Geom., 2000)

Content Based Retrieval of VRML Objects - An Iterative and Interactive Approach. - Michael Elad; Ayellet Tal; Sigal Ar (Eurographics Multimedia Workshop, 2001)

Deferred, Self-Organizing BSP Trees. - Sigal Ar; Gil Montag; Ayellet Tal (Comput. Graph. Forum, 2002)

Verification of Engineering Models Based on Bipartite Graph Matching for Inspection Applications. - Fabricio Fishkel; Anath Fischer; Sigal Ar (GMP, 2006)