Donald Cohen

Publication Activity (10 Years)

Years Active: 1961-2015
Publications (10 Years): 0

Top Topics

Quantifier Elimination

Markov Logic Networks

Relational Algebra

Top Venues

Publications

Donald Cohen, K. Narayanaswamy
Using First-Order Logic to Query Heterogeneous Internet Data Sources. SCSE (2015)
Donald Cohen, Neil Campbell
Automating Relational Operations on Data Structures. IEEE Softw. 10 (3) (1993)
Donald Cohen, Neil Campbell
Automatic composition of data structures to represent relations. KBSE (1992)
Yingsha Liao, Donald Cohen
PMMS: A Framework and System for High Level Program Monitoring and Measuring. IFIP Congress (1) (1992)
Yingsha Liao, Donald Cohen
A Specificational Approach to High Level Program Monitoring and Measuring. IEEE Trans. Software Eng. 18 (11) (1992)
Donald Cohen
Compiling Complex Database Transition Triggers. SIGMOD Conference (1989)
Donald Cohen
Automatic Compilation of Logical Specifications into Efficient Programs. AAAI (1986)
Jack Mostow, Donald Cohen
Automating Program Speedup by Deciding What to Cache. IJCAI (1985)
Donald Cohen
A Forward Inference Engine to Aid in Understanding Specifications. AAAI (1984)
Donald Cohen
Symbolic Execution of the Gist Specification Language. IJCAI (1983)
Donald Cohen, William R. Swartout, Robert Balzer
Using symbolic execution to characterize behavior. Rapid Prototyping (1982)
Donald Cohen
Software design for the community information utility. AFIPS Fall Joint Computing Conference (1971)
Donald Cohen
Algorithm 58: matrix inversion. Commun. ACM 4 (5) (1961)