| |
| 2009 | ||
|---|---|---|
| 3 | EE | Jérôme Leroux, Gérald Point: TaPAS: The Talence Presburger Arithmetic Suite. TACAS 2009: 182-185 |
| 2006 | ||
| 2 | EE | Sébastien Bardin, Jérôme Leroux, Gérald Point: FAST Extended Release. CAV 2006: 63-66 |
| 1999 | ||
| 1 | André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999) | |
| 1 | André Arnold | [1] |
| 2 | Sébastien Bardin | [2] |
| 3 | Alain Griffault | [1] |
| 4 | Jérôme Leroux | [2] [3] |
| 5 | Antoine Rauzy | [1] |