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