Gérard D. Guiho Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1993
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claude Hennebert, Gérard D. Guiho: SACEM: A Fault Tolerant System for Train Speed Control. FTCS 1993: 624-628
1990
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard D. Guiho, Claude Hennebert: SACEM Software Validation (Experience Report). ICSE 1990: 186-191
1987
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard D. Guiho: Objectoriented Something (OOX), a General Paradigm (Abstract). Wissensbasierte Systeme 1987: 105
1985
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11(3): 242-252 (1985)
1984
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. ICSE 1984: 18-29
1983
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard D. Guiho: Multi-Operator Algebras. ADT 1983
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard D. Guiho: Automatic Programming Using Abstract Data Types. IJCAI 1983: 1-9
1980
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard D. Guiho, Christian Gresse: Program Synthesis from Incomplete Specifiactions. CADE 1980: 53-62
1979
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel Bidoit, Christian Gresse, Gérard D. Guiho: A System which Synthesizes Array-Manipulating Programs from Specifications. IJCAI 1979: 63-65
1977
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil: SISP/1: An Interactive System Able to Synthesize Functions from Examples. IJCAI 1977: 412-418

Coauthor Index

1Michel Bidoit
[j1] [c6] [c2]
2Brigitte Biebow
[j1] [c6]
3Marie-Claude Gaudel
[j1] [c6]
4Christian Gresse
[j1] [c6] [c3] [c2]
5Claude Hennebert
[c9] [c8]
6Jean-Pierre Jouannaud
[c1]
7Jean-Pierre Treuil
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 10:20:37 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page