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

Christian Gresse Vis

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

*1989
6 Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse: Generic Extensions of a Prolog Browser. SPLT 1989: 331-344
1985
5 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
4 Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA 1984: 113-120
3 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
2 Christian Gresse: Automatic Programming From Data Types Decomposition Patterns. IJCAI 1983: 37-39
1980
1EEGérard D. Guiho, Christian Gresse: Program Synthesis from Incomplete Specifiactions. CADE 1980: 53-62

Coauthor Index

1Jacques Bellone [6]
2Michel Bidoit [3] [5]
3Brigitte Biebow [3] [5]
4Ramon Brena [4]
5Ricardo Caferra [4]
6AbdelAli Ed-Dbali [6]
7Bertram Fronhöfer [4]
8Marie-Claude Gaudel [3] [5]
9Gérard D. Guiho [1] [3] [5]
10Philippe Jacquet [4]
11Marie-Laure Potet [4]

Colors in the list of coauthors

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