| |
| 2006 | ||
|---|---|---|
| 3 | EE | Laure Gonnord, Nicolas Halbwachs: Combining Widening and Acceleration in Linear Relation Analysis. SAS 2006: 144-160 |
| 2 | EE | Laure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006) |
| 1 | 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) |
| 1 | Nicolas Halbwachs | [1] [2] [3] |
| 2 | David Merchat | [1] |
| 3 | Pascal Raymond | [2] |