Search the dblp DataBase

Publications of Author

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