 | 1993 |
|---|
| 9 |       | Donald Cohen,
Neil Campbell:
Automating Relational Operations on Data Structures.
IEEE Software 10(3): 53-60 (1993) |
| 1992 |
|---|
| 8 | | Yingsha Liao,
Donald Cohen:
PMMS: A Framework and System for High Level Program Monitoring and Measuring.
IFIP Congress (1) 1992: 193-199 |
| 7 |  | Yingsha Liao,
Donald Cohen:
A Specificational Approach to High Level Program Monitoring and Measuring.
IEEE Trans. Software Eng. 18(11): 969-979 (1992) |
| 1989 |
|---|
| 6 | | Donald Cohen:
Compiling Complex Database Transition Triggers.
SIGMOD Conference 1989: 225-234 |
| 1986 |
|---|
| 5 | | Donald Cohen:
Automatic Compilation of Logical Specifications into Efficient Programs.
AAAI 1986: 21-25 |
| 1985 |
|---|
| 4 | | Jack Mostow,
Donald Cohen:
Automating Program Speedup by Deciding What to Cache.
IJCAI 1985: 165-172 |
| 1984 |
|---|
| 3 | | Donald Cohen:
A Forward Inference Engine to Aid in Understanding Specifications.
AAAI 1984: 56-60 |
| 1983 |
|---|
| 2 | | Donald Cohen:
Symbolic Execution of the Gist Specification Language.
IJCAI 1983: 17-20 |
| 1961 |
|---|
| 1 | | Donald Cohen:
Algorithm 58: matrix inversion.
Commun. ACM 4(5): 236 (1961) |
