| |
| 1999 | ||
|---|---|---|
| 3 | Christophe Mauras, René Thoraval: A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC 1999: 39-54 | |
| 1991 | ||
| 2 | EE | Hervé Le Verge, Christophe Mauras, Patrice Quinton: The ALPHA language and its use for the design of systolic arrays. VLSI Signal Processing 3(3): 173-182 (1991) |
| 1989 | ||
| 1 | EE | Pierrick Gachet, Christophe Mauras, Patrice Quinton, Yannick Saouter: Alpha du centaur: a prototype environment for the design of parallel regular alorithms. ICS 1989: 235-243 |
| 1 | Pierrick Gachet | [1] |
| 2 | Patrice Quinton | [1] [2] |
| 3 | Yannick Saouter | [1] |
| 4 | René Thoraval | [3] |
| 5 | Hervé Le Verge | [2] |