Magali Contensin

	2004
4		Magali Contensin, Laurence Pierre: Model-Checking Systems with Unbounded Variables without Abstraction. AMAST 2004: 87-111
	2003
3		Magali Contensin, Laurence Pierre: Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. MEMOCODE 2003: 75-
	2002
2		Magali Contensin: Redistributing Light. WSCG 2002: 111-118
	2001
1		Kai Poutrain, Magali Contensin: Dual Brep-CSG Collision Detection for General Polyhedra. Pacific Conference on Computer Graphics and Applications 2001: 124-133

Coauthor Index

1	Laurence Pierre (Laurence V. Pierre)	[3] [4]
2	Kai Poutrain	[1]

Colors in the list of coauthors