Benchmarking and Testing OSD for Correctness and Compliance. - Dalit Naor; Petra Reshef; Ohad Rodeh; Allon Shafrir; Adam Wolman; Eitan Yaffe (Haifa Verification Conference, 2005)

Approximate Top-k Queries in Sensor Networks. - Boaz Patt-Shamir; Allon Shafrir (SIROCCO, 2006)

Approximate distributed top- k queries. - Boaz Patt-Shamir; Allon Shafrir (Distributed Comput., 2008)