Assia Mahboubi

Mathematical Structures in Dependent Type Theory (Invited Talk)

Assia Mahboubi, 2021, CSL.

A Generic Formalised Framework for Reasoning About Weak Memory Models

Jade Alglave, Assia Mahboubi, 2011 .

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Assia Mahboubi, Cyril Cohen, 2012 .