| 2003 |
|---|
| 15 | EE | Uri Abraham,
Tamar Pinhas:
Exercises in Style (Alpha Specifications).
Fundam. Inform. 54(2-3): 107-135 (2003) |
| 14 | EE | Uri Abraham,
Robert Bonnet,
Wieslaw Kubis,
Matatyahu Rubin:
On Poset Boolean Algebras.
Order 20(3): 265-290 (2003) |
| 13 | EE | Uri Abraham:
Self-stabilizing timestamps.
Theor. Comput. Sci. 308(1-3): 449-515 (2003) |
| 2002 |
|---|
| 12 | | Uri Abraham,
Saharon Shelah:
Coding with Ladders A Well Ordering of The Reals.
J. Symb. Log. 67(2): 579-597 (2002) |
| 2001 |
|---|
| 11 | EE | Uri Abraham,
Shlomi Dolev,
Ted Herman,
Irit Koll:
Self-stabilizing l-exclusion.
Theor. Comput. Sci. 266(1-2): 653-692 (2001) |
| 1997 |
|---|
| 10 | | Uri Abraham,
Shlomi Dolev,
Ted Herman,
Irit Koll:
Self-stabilizing L-exclusion.
WSS 1997: 48-63 |
| 1995 |
|---|
| 9 | EE | Uri Abraham:
On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers.
Theor. Comput. Sci. 149(2): 257-298 (1995) |
| 1994 |
|---|
| 8 | | Uri Abraham,
Menachem Magidor:
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.
Theor. Comput. Sci. 129(1): 1-38 (1994) |
| 1993 |
|---|
| 7 | | Uri Abraham,
Saharon Shelah:
A Delta22 Well-Order of the Reals and Incompactness of L(QMM).
Ann. Pure Appl. Logic 59(1): 1-32 (1993) |
| 6 | EE | Uri Abraham:
On system executions and states.
Appl. Intell. 3(1): 17-30 (1993) |
| 1991 |
|---|
| 5 | | Uri Abraham,
Shai Ben-David,
Shlomo Moran:
On the Limitation of the Global Time Assumption in Distributed Systems (Extended Abstract).
WDAG 1991: 1-8 |
| 1986 |
|---|
| 4 | | Uri Abraham,
Saharon Shelah:
On the Intersection of Closed Unbounded Sets.
J. Symb. Log. 51(1): 180-189 (1986) |
| 1983 |
|---|
| 3 | | Uri Abraham,
Saharon Shelah:
Forcing Closed Unbounded Sets.
J. Symb. Log. 48(3): 643-657 (1983) |
| 2 | | Uri Abraham:
On Forcing Without the Continuum Hypothesis.
J. Symb. Log. 48(3): 658-661 (1983) |
| 1982 |
|---|
| 1 | | Uri Abraham,
Saharon Shelah:
Forcing With Stable Posets.
J. Symb. Log. 47(1): 37-42 (1982) |
