Christian Gresse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1979–1984
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | AIMSA | Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. | Ramn F. Brena, Ricardo Caferra, Bertram Fronhfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet |
| 1984 | ICSE | Exception Handling: Formal Specification and Systematic Program Construction. | Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Grard D. Guiho |
| 1983 | IJCAI | Automatic Programming From Data Types Decomposition Patterns. | Christian Gresse |
| 1980 | CADE | Program Synthesis from Incomplete Specifiactions. | Grard D. Guiho, Christian Gresse |
| 1979 | IJCAI | A System which Synthesizes Array-Manipulating Programs from Specifications. | Michel Bidoit, Christian Gresse, Grard D. Guiho |