Cluster editing problem for points on the real line: A polynomial time algorithm. - Bassel Mannaa (Inf. Process. Lett., 2010)

Dynamic Newton-Puiseux theorem. - Bassel Mannaa; Thierry Coquand (J. Log. Anal., 2013)

A Sheaf Model of the Algebraic Closure. - Bassel Mannaa; Thierry Coquand (CL&C, 2014)

Stack semantics of type theory. - Thierry Coquand; Bassel Mannaa; Fabian Ruch (LICS, 2017)

The Independence of Markov's Principle in Type Theory. - Thierry Coquand; Bassel Mannaa (Log. Methods Comput. Sci., 2017)

The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. - Bassel Mannaa; Rasmus Ejlers Møgelberg (FSCD, 2018)

Modal Dependent Type Theory and Dependent Right Adjoints. - Ranald Clouston; Bassel Mannaa; Rasmus Ejlers Møgelberg; Andrew M. Pitts; Bas Spitters (CoRR, 2018)

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. - Bassel Mannaa; Rasmus Ejlers Møgelberg; Niccolò Veltri (Log. Methods Comput. Sci., 2020)

Modal dependent type theory and dependent right adjoints. - Lars Birkedal; Ranald Clouston; Bassel Mannaa; Rasmus Ejlers Møgelberg; Andrew M. Pitts; Bas Spitters (Math. Struct. Comput. Sci., 2020)