| |
| 1998 | ||
|---|---|---|
| 4 | EE | Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre: How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. APSEC 1998: 38-45 |
| 1988 | ||
| 3 | Jean-Luc Dormoy: Controlling Qualitative Resolution. AAAI 1988: 319-323 | |
| 2 | Jean-Luc Dormoy, Olivier Raiman: Assembling a Device. AAAI 1988: 330-335 | |
| 1 | EE | Jean-Luc Dormoy, Olivier Raiman: Assembling a device. AI in Engineering 3(4): 216-226 (1988) |
| 1 | Bruno Ginoux | [4] |
| 2 | Claudia Jimenez-Dominguez | [4] |
| 3 | Jean-Yves Lucas | [4] |
| 4 | Laurent Pierre | [4] |
| 5 | Olivier Raiman | [1] [2] |