Uri Abraham - RankMe

34 papers B 1Misc 1Journal 29Unranked 2

Year	Rank	Type	Title / 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