Dual Brep-CSG Collision Detection for General Polyhedra. - Kai Poutrain; Magali Contensin (PG, 2001)

Redistributing Light. - Magali Contensin (WSCG, 2002)

Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. - Magali Contensin; Laurence Pierre (MEMOCODE, 2003)

Model-Checking Systems with Unbounded Variables without Abstraction. - Magali Contensin; Laurence Pierre (AMAST, 2004)