Uri Abraham

	2011
20		Uri Abraham: Assertional and Behavioral Approaches to Concurrency. Bulletin of the EATCS 105: 100-117 (2011)
19		Uri Abraham: Logical classification of distributed algorithms (Bakery algorithms as an example). Theor. Comput. Sci. 412(25): 2724-2745 (2011)
	2009
18		Uri Abraham: Classification with Tarskian system executions (Bakery Algorithms as an example) CoRR abs/0910.4565: (2009)
	2007
17		Uri Abraham, James Cummings, Clifford Smyth: Some results in polychromatic Ramsey theory. J. Symb. Log. 72(3): 865-896 (2007)
	2004
16		Uri Abraham, Saharon Shelah: Ladder gaps over stationary sets. J. Symb. Log. 69(2): 518-532 (2004)
	2003
15		Uri Abraham, Tamar Pinhas: Exercises in Style (Alpha Specifications). Fundam. Inform. 54(2-3): 107-135 (2003)
14		Uri Abraham, Robert Bonnet, Wieslaw Kubis, Matatyahu Rubin: On Poset Boolean Algebras. Order 20(3): 265-290 (2003)
13		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		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		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		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)

Coauthor Index

1	Shai Ben-David	[5]
2	Robert Bonnet	[14]
3	James Cummings	[17]
4	Shlomi Dolev	[10] [11]
5	Ted Herman	[10] [11]
6	Irit Koll	[10] [11]
7	Wieslaw Kubis	[14]
8	Menachem Magidor	[8]
9	Shlomo Moran	[5]
10	Tamar Pinhas	[15]
11	Matatyahu Rubin	[14]
12	Saharon Shelah	[1] [3] [4] [7] [12] [16]
13	Clifford Smyth	[17]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page