| |
| 2006 | ||
|---|---|---|
| 2 | EE | Nicolas Halbwachs, David Merchat, Laure Gonnord: Some ways to reduce the space dimension in polyhedra computations. Formal Methods in System Design 29(1): 79-95 (2006) |
| 2003 | ||
| 1 | EE | Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux: Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS 2003: 355-365 |
| 1 | Laure Gonnord | [2] |
| 2 | Nicolas Halbwachs | [1] [2] |
| 3 | Catherine Parent-Vigouroux | [1] |