Yinnon A. Haviv

	2012
9		Shlomi Dolev, Yinnon A. Haviv: Stabilization Enabling Technology. IEEE Trans. Dependable Sec. Comput. 9(2): 275-288 (2012)
	2009
8		Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv: Brief Announcement: Unique Permutation Hashing. SSS 2009: 777-778
7		Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization preserving compiler. ACM Trans. Program. Lang. Syst. 31(6): (2009)
	2008
6		Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel: Self-Stabilization from Theory to Practice. Bulletin of the EATCS 94: 130-150 (2008)
	2007
5		Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel: Self-Stabilization as a Foundation for Autonomic Computing. ARES 2007: 991-998
	2006
4		Shlomi Dolev, Yinnon A. Haviv: Stabilization Enabling Technology. SSS 2006: 1-15
3		Shlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors. IEEE Trans. Computers 55(4): 385-399 (2006)
	2005
2		Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization Preserving Compiler. Self-Stabilizing Systems 2005: 81-95
	2004
1		Shlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract). ARCS 2004: 31-46

Coauthor Index

1	Olga Brukman	[5] [6]
2	Shlomi Dolev	[1] [2] [3] [4] [5] [6] [7] [8] [9]
3	Ronen I. Kat	[6]
4	Limor Lahiani	[6] [8]
5	Shmuel Sagiv (Mooly Sagiv)	[2] [7]
6	Elad Michael Schiller (Elad Schiller)	[6]
7	Nir Tzachar	[6]
8	Reuven Yagel	[5] [6]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page