Uri Abraham

34 papers B 1Misc 1Journal 29Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Linearizability Analysis of the Contention-Friendly Binary Search Tree.
CoRR
Uri Abraham, Avi Hayoun
2023 J jnl
On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product.
CoRR
Uri Abraham, Robert Bonnet, Mirna Dzamonja, Maurice Pouzet
2019 J jnl
On Lamport's "Teaching Concurrency".
Bull. EATCS
Uri Abraham
2018 J jnl
Kishon's Poker Game.
CoRR
Uri Abraham
2018 J jnl
On the Lazy Set object.
CoRR
Uri Abraham
2017 J jnl
Two-process synchronization.
Theor. Comput. Sci.
Uri Abraham, Gal Amram
2016 J jnl
Preface.
Ann. Pure Appl. Log.
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
2015 J jnl
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2014 Misc conf
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems.
ICTERI
Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham
2014 B conf
On the Mailbox Problem.
OPODIS
Uri Abraham, Gal Amram
2013 J jnl
On the Mailbox Problem.
CoRR
Uri Abraham, Gal Amram
2011 J jnl
Assertional and Behavioral Approaches to Concurrency.
Bull. EATCS
Uri Abraham
2011 J jnl
Logical classification of distributed algorithms (Bakery algorithms as an example).
Theor. Comput. Sci.
Uri Abraham
2007 J jnl
Some results in polychromatic Ramsey theory.
J. Symb. Log.
Uri Abraham, James Cummings, Clifford D. Smyth
2004 J jnl
Ladder gaps over stationary sets.
J. Symb. Log.
Uri Abraham, Saharon Shelah
2003 J jnl
Exercises in Style (Alpha Specifications).
Fundam. Informaticae
Uri Abraham, Tamar Pinhas
2003 J jnl
On Poset Boolean Algebras.
Order
Uri Abraham, Robert Bonnet, Wieslaw Kubis, Matatyahu Rubin
2003 J jnl
Self-stabilizing timestamps.
Theor. Comput. Sci.
Uri Abraham
2002 J jnl
Coding with Ladders A Well Ordering of The Reals.
J. Symb. Log.
Uri Abraham, Saharon Shelah
2001 J jnl
Self-stabilizing l-exclusion.
Theor. Comput. Sci.
Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
1997 — conf
Self-stabilizing L-exclusion.
WSS
Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll
1996 J jnl
Martin's axiom and D
Arch. Math. Log.
Uri Abraham, Saharon Shelah
1995 J jnl
On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers.
Theor. Comput. Sci.
Uri Abraham
1994 J jnl
On the Mutual-Exclusion Problem - A Quest for Minimal Solutions.
Theor. Comput. Sci.
Uri Abraham, Menachem Magidor
1993 J jnl
A Delta
Ann. Pure Appl. Log.
Uri Abraham, Saharon Shelah
1993 J jnl
On system executions and states.
Appl. Intell.
Uri Abraham
1991 — conf
On the Limitation of the Global Time Assumption in Distributed Systems (Extended Abstract).
WDAG
Uri Abraham, Shai Ben-David, Shlomo Moran
1986 J jnl
On the Intersection of Closed Unbounded Sets.
J. Symb. Log.
Uri Abraham, Saharon Shelah
1985 J jnl
On the consistency of some partition theorems for continuous colorings, and the structure of aleph
Ann. Pure Appl. Log.
Uri Abraham, Matatyahu Rubin, Saharon Shelah
1983 J jnl
Aronszajn trees on aleph
Ann. Pure Appl. Log.
Uri Abraham
1983 J jnl
Forcing Closed Unbounded Sets.
J. Symb. Log.
Uri Abraham, Saharon Shelah
1983 J jnl
On Forcing Without the Continuum Hypothesis.
J. Symb. Log.
Uri Abraham
1982 J jnl
Forcing With Stable Posets.
J. Symb. Log.
Uri Abraham, Saharon Shelah
1979 — —
איזומורפיזם של עצי אהרונשין וכפיות ללא הנחת השערת הרצף (Isomorphism of Aronszajn trees and forcing without the generalized continuum hypothesis.).
Uri Abraham