Donald Cohen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1983–1989
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | SIGMOD | Compiling Complex Database Transition Triggers. | Donald Cohen |
| 1986 | AAAI | Automatic Compilation of Logical Specifications into Efficient Programs. | Donald Cohen |
| 1985 | IJCAI | Automating Program Speedup by Deciding What to Cache. | Jack Mostow, Donald Cohen |
| 1984 | AAAI | A Forward Inference Engine to Aid in Understanding Specifications. | Donald Cohen |
| 1983 | IJCAI | Symbolic Execution of the Gist Specification Language. | Donald Cohen |