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...
share
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...
research
∙
11/02/2018
On the Lazy Set object
The aim of this article is to employ the Lazy Set algorithm as an exampl...
research
∙
09/23/2018