First-Order Quasi-canonical Proof Systems. - Yotam Dvir; Arnon Avron (TABLEAUX, 2019)

An Algebraic Theory for Shared-State Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (APLAS, 2022)

A Denotational Approach to Release/Acquire Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (ESOP (2), 2024)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. - Yotam Dvir; Ohad Kammar; Ori Lahav 001; Gordon D. Plotkin (FoSSaCS, 2025)

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. - Yotam Dvir; Ohad Kammar; Ori Lahav 001 (ACM Trans. Program. Lang. Syst., 2025)