Uri Abraham

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 7

Top Topics

Dynamical Systems

Imperfect Information Games

Mutual Exclusion

Top Venues

Formaliz. Math.

Publications

Uri Abraham, Avi Hayoun
Linearizability Analysis of the Contention-Friendly Binary Search Tree. CoRR (2023)
Uri Abraham, Robert Bonnet, Mirna Dzamonja, Maurice Pouzet
On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product. CoRR (2023)
Uri Abraham
On Lamport's "Teaching Concurrency". Bull. EATCS 127 (2019)
Uri Abraham
On the Lazy Set object. CoRR (2018)
Uri Abraham
Kishon's Poker Game. CoRR (2018)
Uri Abraham, Gal Amram
Two-process synchronization. Theor. Comput. Sci. 688 (2017)
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
Preface. Ann. Pure Appl. Log. 167 (10) (2016)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm. Formaliz. Math. 23 (4) (2015)
Uri Abraham, Gal Amram
On the Mailbox Problem. OPODIS (2014)
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems. ICTERI (2014)
Uri Abraham, Gal Amram
On the Mailbox Problem. CoRR (2013)
Uri Abraham
Assertional and Behavioral Approaches to Concurrency. Bull. EATCS 105 (2011)
Uri Abraham
Logical classification of distributed algorithms (Bakery algorithms as an example). Theor. Comput. Sci. 412 (25) (2011)
Uri Abraham, James Cummings, Clifford Smyth
Some results in polychromatic Ramsey theory. J. Symb. Log. 72 (3) (2007)
Uri Abraham, Saharon Shelah
Ladder gaps over stationary sets. J. Symb. Log. 69 (2) (2004)
Uri Abraham, Robert Bonnet, Wieslaw Kubis, Matatyahu Rubin
On Poset Boolean Algebras. Order 20 (3) (2003)
Uri Abraham, Tamar Pinhas
Exercises in Style (Alpha Specifications). Fundam. Informaticae 54 (2-3) (2003)
Uri Abraham
Self-stabilizing timestamps. Theor. Comput. Sci. 308 (1-3) (2003)
Uri Abraham, Saharon Shelah
Coding with Ladders A Well Ordering of The Reals. J. Symb. Log. 67 (2) (2002)
Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
Self-stabilizing l-exclusion. Theor. Comput. Sci. 266 (1-2) (2001)
Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
Self-stabilizing L-exclusion. WSS (1997)
Uri Abraham, Saharon Shelah
well-ordering of the reals. Arch. Math. Log. 35 (5-6) (1996)
Uri Abraham
On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers. Theor. Comput. Sci. 149 (2) (1995)
Uri Abraham, Menachem Magidor
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions. Theor. Comput. Sci. 129 (1) (1994)
Uri Abraham, Saharon Shelah
). Ann. Pure Appl. Log. 59 (1) (1993)
Uri Abraham
On system executions and states. Appl. Intell. 3 (1) (1993)
Uri Abraham, Shai Ben-David, Shlomo Moran
On the Limitation of the Global Time Assumption in Distributed Systems (Extended Abstract). WDAG (1991)
Uri Abraham, Saharon Shelah
On the Intersection of Closed Unbounded Sets. J. Symb. Log. 51 (1) (1986)
Uri Abraham, Matatyahu Rubin, Saharon Shelah
-dense real order types. Ann. Pure Appl. Log. 29 (2) (1985)
Uri Abraham
On Forcing Without the Continuum Hypothesis. J. Symb. Log. 48 (3) (1983)
Uri Abraham
. Ann. Pure Appl. Log. 24 (3) (1983)
Uri Abraham, Saharon Shelah
Forcing Closed Unbounded Sets. J. Symb. Log. 48 (3) (1983)
Uri Abraham, Saharon Shelah
Forcing With Stable Posets. J. Symb. Log. 47 (1) (1982)