Algorithm 58: matrix inversion. - Donald Cohen (Commun. ACM, 1961)

Software design for the community information utility. - Donald Cohen (AFIPS Fall Joint Computing Conference, 1971)

Using symbolic execution to characterize behavior. - Donald Cohen; William R. Swartout; Robert Balzer (Rapid Prototyping, 1982)

Symbolic Execution of the Gist Specification Language. - Donald Cohen (IJCAI, 1983)

A Forward Inference Engine to Aid in Understanding Specifications. - Donald Cohen (AAAI, 1984)

Automating Program Speedup by Deciding What to Cache. - Jack Mostow; Donald Cohen (IJCAI, 1985)

Automatic Compilation of Logical Specifications into Efficient Programs. - Donald Cohen (AAAI, 1986)

Compiling Complex Database Transition Triggers. - Donald Cohen (SIGMOD Conference, 1989)

PMMS: A Framework and System for High Level Program Monitoring and Measuring. - Yingsha Liao; Donald Cohen (IFIP Congress (1), 1992)

Automatic composition of data structures to represent relations. - Donald Cohen; Neil Campbell (KBSE, 1992)

A Specificational Approach to High Level Program Monitoring and Measuring. - Yingsha Liao; Donald Cohen (IEEE Trans. Software Eng., 1992)

Automating Relational Operations on Data Structures. - Donald Cohen; Neil Campbell (IEEE Softw., 1993)

Using First-Order Logic to Query Heterogeneous Internet Data Sources. - Donald Cohen; K. Narayanaswamy (SCSE, 2015)