dblp.uni-trier.dewww.uni-trier.de

Gérard D. Guiho Vis

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

*1993
9 Claude Hennebert, Gérard D. Guiho: SACEM: A Fault Tolerant System for Train Speed Control. FTCS 1993: 624-628
1990
8 Gérard D. Guiho, Claude Hennebert: SACEM Software Validation (Experience Report). ICSE 1990: 186-191
1987
7 Gérard D. Guiho: Objectoriented Something (OOX), a General Paradigm (Abstract). Wissensbasierte Systeme 1987: 105
1985
6 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
5 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
4 Gérard D. Guiho: Multi-Operator Algebras. ADT 1983
3 Gérard D. Guiho: Automatic Programming Using Abstract Data Types. IJCAI 1983: 1-9
1980
2EEGérard D. Guiho, Christian Gresse: Program Synthesis from Incomplete Specifiactions. CADE 1980: 53-62
1977
1 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 [5] [6]
2Brigitte Biebow [5] [6]
3Marie-Claude Gaudel [5] [6]
4Christian Gresse [2] [5] [6]
5Claude Hennebert [8] [9]
6Jean-Pierre Jouannaud [1]
7Jean-Pierre Treuil [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)