Jean-Claude Raoult
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1977–1984
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | POPL | The Global Storage Needs of a Subcomputation. | Jean-Claude Raoult, Ravi Sethi |
| 1982 | ICALP | Properties of a Notation for Combining Functions. | Jean-Claude Raoult, Ravi Sethi |
| 1980 | ICALP | Optimal Unbounded Search Strategies. | Jean-Claude Raoult, Jean Vuillemin |
| 1978 | STOC | Operational and Semantic Equivalence between Recursive Programs | Jean-Claude Raoult, Jean Vuillemin |
| 1977 | FOCS | On the Average Number of Registers Required for Evaluating Arithmetic Expressions | Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin |