Stephen J. Westfold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1979–2019
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Transformations for Generating Type Refinements. | Douglas R. Smith, Stephen J. Westfold |
| 1996 | CP | Scheduling an Asynchronously Shared Resource. | Douglas R. Smith, Stephen J. Westfold |
| 1984 | AAAI | Very-High-Level Programming of Knowledge Representation Schemes. | Stephen J. Westfold |
| 1979 | IJCAI | Results in Knowledge-Based Program Synthesis. | C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold |