Linear-Time Reductions of Resolution Proofs. - Omer Bar-Ilan; Oded Fuhrmann; Shlomo Hoory; Ohad Shacham; Ofer Strichman (Haifa Verification Conference, 2008)

Reducing the size of resolution proofs in linear time. - Omer Bar-Ilan; Oded Fuhrmann; Shlomo Hoory; Ohad Shacham; Ofer Strichman (Int. J. Softw. Tools Technol. Transf., 2011)

A Doppler focusing approach for sub-Nyquist radar. - Omer Bar-Ilan; Yonina C. Eldar (ICASSP, 2013)

Sub-Nyquist Radar via Doppler Focusing. - Omer Bar-Ilan; Yonina C. Eldar (IEEE Trans. Signal Process., 2014)