| |
| 2006 | ||
|---|---|---|
| 5 | Bruno Tatibouët, Isabelle Jacques: Understanding B Specifications with UML Class Diagram and OCL Constraints. ICEIS (3) 2006: 475-478 | |
| 2005 | ||
| 4 | Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques: Generation of OCL Constraints from B Abstract Machines. Software Engineering Research and Practice 2005: 260-266 | |
| 1998 | ||
| 3 | Isabelle Jacques, Bruno Legeard, Laurent Py: Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC 1998: 95- | |
| 1993 | ||
| 2 | Didier Arquès, Isabelle Jacques: Classification des cartes pointées de genre 1 et relation fonctionelle associée. Theor. Comput. Sci. 117(1&2): 45-65 (1993) | |
| 1991 | ||
| 1 | Didier Arquès, Isabelle Jacques: Solides non organisés: definition, implantation et plongement. ITA 25: 219-246 (1991) | |
| 1 | Didier Arquès | [1] [2] |
| 2 | Bruno Legeard | [3] |
| 3 | Laurent Py | [3] |
| 4 | Bruno Tatibouët | [4] [5] |
| 5 | Jean-Christophe Voisinet | [4] |