Yinnon A. Haviv

According to our database, Yinnon A. Haviv authored at least 8 papers between 2004 and 2013.

Collaborative distances:

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

2013

Unique permutation hashing.

Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv

Theor. Comput. Sci., 2013

2012

Stabilization Enabling Technology.

Shlomi Dolev, Yinnon A. Haviv

IEEE Trans. Dependable Secur. Comput., 2012

2009

Self-stabilization preserving compiler.

Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv

ACM Trans. Program. Lang. Syst., 2009

Brief Announcement: Unique Permutation Hashing.

Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv

Proceedings of the Stabilization, 2009

2008

Self-Stabilization from Theory to Practice.

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel

Bull. EATCS, 2008

2007

Self-Stabilization as a Foundation for Autonomic Computing.

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel

Proceedings of the The Second International Conference on Availability, 2007

2006

Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors.

Shlomi Dolev, Yinnon A. Haviv

IEEE Trans. Computers, 2006

2004

Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract).

Shlomi Dolev, Yinnon A. Haviv

Proceedings of the Organic and Pervasive Computing, 2004