Magali Contensin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2001–2003
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | MEMOCODE | Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. | Magali Contensin, Laurence Pierre |
| 2002 | WSCG | Redistributing Light. | Magali Contensin |
| 2001 | PG | Dual Brep-CSG Collision Detection for General Polyhedra. | Kai Poutrain, Magali Contensin |