 | 2009 |
|---|
| 7 |       | Shlomi Dolev,
Limor Lahiani,
Yinnon A. Haviv:
Brief Announcement: Unique Permutation Hashing.
SSS 2009: 777-778 |
| 6 | | Shlomi Dolev,
Yinnon A. Haviv,
Mooly Sagiv:
Self-stabilization preserving compiler.
ACM Trans. Program. Lang. Syst. 31(6): (2009) |
| 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 |
