Skip to main navigation Skip to search Skip to main content
No photo of Uri Abraham

View Scopus Profile

Uri Abraham

1983 …2026

Research activity per year

Fingerprint

Dive into the research topics where Uri Abraham is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • On the ABK conjecture, alpha-well quasi orders and Dress-Schiffels product

    Abraham, U., Bonnet, R. & Pouzet, M., 15 Feb 2026, In: Topology and its Applications. 379, 109502.

    Research output: Contribution to journal › Article › peer-review

  • The chain covering number of a poset with no infinite antichains

    Abraham, U. & Pouzet, M., 1 Jan 2023, In: Comptes Rendus Mathematique. 361, p. 1383-1399 17 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Kishon's Poker Game

    Abraham, U., Sep 2018.

    Research output: Working paper/Preprint › Preprint

    128 Downloads (Pure)

  • On the Lazy Set object

    Abraham, U., Nov 2018.

    Research output: Working paper/Preprint › Preprint

    109 Downloads (Pure)

  • Two-process synchronization

    Abraham, U. & Amram, G., 6 Aug 2017, In: Theoretical Computer Science. 688, p. 2-23 22 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Preface

    Abraham, U., Beklemishev, L., D'Aquino, P. & Tressl, M., 1 Oct 2016, In: Annals of Pure and Applied Logic . 167, 10, p. 865-867 3 p.

    Research output: Contribution to journal › Editorial

    Open Access

  • Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm

    Ivanov, I., Nikitchenko, M. & Abraham, U., 1 Dec 2015, In: Formalized Mathematics. 23, 4, p. 325-331 7 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    5 Citations (Web of Science)

  • On a decidable formal theory for abstract continuous-time dynamical systems

    Ivanov, I., Nikitchenko, M. & Abraham, U., 1 Jan 2014, In: Communications in Computer and Information Science. 469, p. 78-99 22 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • On the mailbox problem

    Abraham, U. & Amram, G., 1 Jan 2014, Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Proceedings. Aguilera, M. K., Querzoni, L. & Shapiro, M. (eds.). Springer Verlag, p. 453-468 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8878).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • A scattering of orders

    Abraham, U., Bonnet, R., Cummings, J., Džamonja, M. & Thompson, K., 27 Aug 2012, In: Transactions of the American Mathematical Society. 364, 12, p. 6259-6278 20 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    4 Scopus citations
View all 44 Research outputs