Stphane Kaplan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1986–1990
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | ICSE | Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. | Christine Choppy, Stphane Kaplan |
| 1989 | ICALP | Infinite Normal Forms (Preliminary Version). | Nachum Dershowitz, Stphane Kaplan, David A. Plaisted |
| 1989 | POPL | Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. | Nachum Dershowitz, Stphane Kaplan |
| 1988 | MFCS | Positive/Negative Conditional Rewriting. | Stphane Kaplan |
| 1987 | STACS | Asspegique: An Integrated Specification Environment. | Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin |
| 1986 | ESOP | Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. | Stphane Kaplan |