Donald Cohen

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