Isabelle Jacques Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Tatibouët, Isabelle Jacques: Understanding B Specifications with UML Class Diagram and OCL Constraints. ICEIS (3) 2006: 475-478
2005
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques: Generation of OCL Constraints from B Abstract Machines. Software Engineering Research and Practice 2005: 260-266
1998
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabelle 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDidier Arquès, Isabelle Jacques: Solides non organisés: definition, implantation et plongement. ITA 25: 219-246 (1991)

Coauthor Index

1Didier Arquès [1] [2]
2Bruno Legeard [3]
3Laurent Py [3]
4Bruno Tatibouët [4] [5]
5Jean-Christophe Voisinet [4]

Colors in the list of coauthors

Copyright © Mon Dec 14 16:53:24 2009 by Michael Ley (ley@uni-trier.de)