| |
| 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] |