Donald Cohen

According to our database, Donald Cohen authored at least 13 papers between 1961 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Using First-Order Logic to Query Heterogeneous Internet Data Sources.

Donald Cohen, K. Narayanaswamy

Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

1993

Automating Relational Operations on Data Structures.

Donald Cohen, Neil Campbell

IEEE Softw., 1993

1992

A Specificational Approach to High Level Program Monitoring and Measuring.

Yingsha Liao, Donald Cohen

IEEE Trans. Software Eng., 1992

Automatic composition of data structures to represent relations.

Donald Cohen, Neil Campbell

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

PMMS: A Framework and System for High Level Program Monitoring and Measuring.

Yingsha Liao, Donald Cohen

Proceedings of the Algorithms, Software, Architecture, 1992

1989

Compiling Complex Database Transition Triggers.

Donald Cohen

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

1986

Automatic Compilation of Logical Specifications into Efficient Programs.

Donald Cohen

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Automating Program Speedup by Deciding What to Cache.

Jack Mostow, Donald Cohen

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

A Forward Inference Engine to Aid in Understanding Specifications.

Donald Cohen

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983

Symbolic Execution of the Gist Specification Language.

Donald Cohen

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Using symbolic execution to characterize behavior.

Donald Cohen, William R. Swartout, Robert Balzer

Proceedings of the workshop on Rapid Prototyping, 1982

1971

Software design for the community information utility.

Donald Cohen

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971

1961

Algorithm 58: matrix inversion.

Donald Cohen

Commun. ACM, 1961