| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page