dblp.uni-trier.dewww.uni-trier.de

Magali Contensin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Laurence Pierre [3] [4]
2Kai Poutrain [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)