dblp.uni-trier.dewww.uni-trier.de

Donald Cohen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
7EEYingsha Liao, Donald Cohen: A Specificational Approach to High Level Program Monitoring and Measuring. IEEE Trans. Software Eng. 18(11): 969-979 (1992)
1989
6EEDonald 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
1EEDonald Cohen: Algorithm 58: matrix inversion. Commun. ACM 4(5): 236 (1961)

Coauthor Index

1Neil Campbell [9]
2Yingsha Liao [7] [8]
3Jack Mostow [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)