Omer Bar-Ilan

According to our database, Omer Bar-Ilan authored at least 4 papers between 2008 and 2014.

Collaborative distances:

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

2014

Sub-Nyquist Radar via Doppler Focusing.

Omer Bar-Ilan, Yonina C. Eldar

IEEE Trans. Signal Process., 2014

2013

A Doppler focusing approach for sub-Nyquist radar.

Omer Bar-Ilan, Yonina C. Eldar

Proceedings of the IEEE International Conference on Acoustics, 2013

2011

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

2008

Linear-Time Reductions of Resolution Proofs.

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Proceedings of the Hardware and Software: Verification and Testing, 2008