Uri Abraham - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2019

On Lamport's "Teaching Concurrency"Uri Abraham. eatcs, 127, 2019. [doi]

2017

Two-process synchronizationUri Abraham, Gal Amram. TCS, 688:2-23, 2017. [doi]

2016

PrefaceUri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl. APAL, 167(10):865-867, 2016. [doi]

2015

Event-Based Proof of the Mutual Exclusion Property of Peterson's AlgorithmIevgen Ivanov, Mykola Nikitchenko, Uri Abraham. fm, 23(4):325-331, 2015. [doi]

2014

On the Mailbox ProblemUri Abraham, Gal Amram. opodis 2014: 453-468 [doi]

On a Decidable Formal Theory for Abstract Continuous-Time Dynamical SystemsIevgen Ivanov, Mykola Nikitchenko, Uri Abraham. icteri 2014: 78-99 [doi]

2011

Logical classification of distributed algorithms (Bakery algorithms as an example)Uri Abraham. TCS, 412(25):2724-2745, 2011. [doi]

Assertional and Behavioral Approaches to ConcurrencyUri Abraham. eatcs, 105:100-117, 2011. [doi]

2007

Some results in polychromatic Ramsey theoryUri Abraham, James Cummings, Clifford Smyth. JSYML, 72(3):865-896, 2007. [doi]

2004

Ladder gaps over stationary setsUri Abraham, Saharon Shelah. JSYML, 69(2):518-532, 2004. [doi]

2003

Self-stabilizing timestampsUri Abraham. TCS, 308(1-3):449-515, 2003. [doi]

On Poset Boolean AlgebrasUri Abraham, Robert Bonnet, Wieslaw Kubis, Matatyahu Rubin. order, 20(3):265-290, 2003. [doi]

Exercises in Style (Alpha Specifications)Uri Abraham, Tamar Pinhas. FUIN, 54(2-3):107-135, 2003. [doi]

2002

Coding with Ladders A Well Ordering of The RealsUri Abraham, Saharon Shelah. JSYML, 67(2):579-597, 2002.

2001

Self-stabilizing l-exclusionUri Abraham, Shlomi Dolev, Ted Herman, Irit Koll. TCS, 266(1-2):653-692, 2001. [doi]

1997

Self-stabilizing L-exclusionUri Abraham, Shlomi Dolev, Ted Herman, Irit Koll. iwssd 1997: 48-63

1996

1 well-ordering of the realsUri Abraham, Saharon Shelah. AML, 35(5-6):287-298, 1996. [doi]

1995

On Interprocess Communication and the Implementation of Multi-Writer Atomic RegistersUri Abraham. TCS, 149(2):257-298, 1995. [doi]

1994

On the Mutual-Exclusion Problem - A Quest for Minimal SolutionsUri Abraham, Menachem Magidor. TCS, 129(1):1-38, 1994.

1993

On system executions and statesUri Abraham. apin, 3(1):17-30, 1993. [doi]

A Delta:::2:::::2:: Well-Order of the Reals and Incompactness of L(Q:::MM:::)Uri Abraham, Saharon Shelah. APAL, 59(1):1-32, 1993.

1991

On the Limitation of the Global Time Assumption in Distributed Systems (Extended Abstract)Uri Abraham, Shai Ben-David, Shlomo Moran. wdag 1992: 1-8

1986

On the Intersection of Closed Unbounded SetsUri Abraham, Saharon Shelah. JSYML, 51(1):180-189, 1986.

1985

1-dense real order typesUri Abraham, Matatyahu Rubin, Saharon Shelah. APAL, 29(2):123-206, 1985. [doi]

1983

On Forcing Without the Continuum HypothesisUri Abraham. JSYML, 48(3):658-661, 1983.

3Uri Abraham. APAL, 24(3):213-230, 1983. [doi]

Forcing Closed Unbounded SetsUri Abraham, Saharon Shelah. JSYML, 48(3):643-657, 1983.

1982

Forcing With Stable PosetsUri Abraham, Saharon Shelah. JSYML, 47(1):37-42, 1982.

1979

איזומורפיזם של עצי אהרונשין וכפיות ללא הנחת השערת הרצף (Isomorphism of Aronszajn trees and forcing without the generalized continuum hypothesis.)Uri Abraham. PhD thesis, Hebrew University of Jerusalem, Israel, 1979. [doi]

Sign in or sign up to see more results.

runs on WebDSL