Search the dblp DataBase

Publications of Author

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