Uri Abraham | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Maurice Pouzet
3 publications
Mirna Dzamonja
2 publications
Robert Bonnet
1 publication
Avi Hayoun
1 publication

research

∙ 05/12/2023

Linearizability Analysis of the Contention-Friendly Binary Search Tree

We present a formal framework for proving the correctness of set impleme...

0 Uri Abraham, et al. ∙

research

∙ 03/20/2023

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product

The following is a 2008 conjecture of Abraham, Bonnet and Kubiś: [ABK Co...

0 Uri Abraham, et al. ∙

research

∙ 11/02/2018

On the Lazy Set object

The aim of this article is to employ the Lazy Set algorithm as an exampl...

0 Uri Abraham, et al. ∙

research

∙ 09/23/2018

Kishon's Poker Game

We present an approach for proving the correctness of distributed algori...

0 Uri Abraham, et al. ∙