Magali Contensin

According to our database, Magali Contensin authored at least 4 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

Model-Checking Systems with Unbounded Variables without Abstraction.

Magali Contensin, Laurence Pierre

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.

Magali Contensin, Laurence Pierre

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

2002

Redistributing Light.

Magali Contensin

Proceedings of the 10-th International Conference in Central Europe on Computer Graphics, 2002

2001

Dual Brep-CSG Collision Detection for General Polyhedra.

Kai Poutrain, Magali Contensin

Proceedings of the 9th Pacific Conference on Computer Graphics and Applications, 2001