Le Chesnay
| Année | Titre | Pages |
|---|---|---|
| 1998 | JFLA 98 | 226 |
| 1996 | JFLA 96 | 279 |
| 1989 | D'un paragrapheur à un éditeur syntaxique et graphique pour le langage Esterel | 163 |
| 1989 | Extraction de programmes dans le calcul des constructions | 228 |
| 1 |
| Christine Paulin-Mohring | 1 |
| Journées francophones des langages applicatifs (1996 ; Val-Morin, Québec) | 1 |
| Journées francophones des langages applicatifs (1998 ; Côme, Italie) | 1 |
| 1988 |
| Algorithmique et complexité distribuées |
| 299 |
| 1988 | Les Systèmes de gestion de fichiers répartis | 230 |
| 1988 | Modulef | 234 |
| 1987 | Bibliothèque Fortran 77 pour l'analyse des données | 547 |
| 1987 | ICIAM'87 | 306 |