An approach to simulation of multilevel production systems. - Joseph F. Clark; David M. Cohen (AFIPS National Computer Conference, 1977)

A Steady-State-Transition Model of Insulin Secretion. - David M. Cohen (1981)

The IC system for protocol development. - David M. Cohen; Timothy M. Guinther (Comput. Commun. Rev., 1987)

The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control. - E. Jane Cameron; David M. Cohen (Workshop on Parallel and Distributed Debugging, 1988)

The IC* Model of Parallel Computation and Programming Environment. - E. Jane Cameron; David M. Cohen; B. Gopinath; William M. Keese II; Linda A. Ness; Prem Uppaluru; John R. Vollaro (IEEE Trans. Software Eng., 1988)

L.0: A Language for Modeling and Prototyping Communications Software. - E. Jane Cameron; David M. Cohen; Timothy M. Guinther; William M. Keese II; Linda A. Ness; Cynthia Norman; Hassan N. Srinidhi (FORTE, 1990)

Rapid Prototyping of Communications Protocol Using a New Parallel Language. - David M. Cohen; Timothy M. Guinther; Linda A. Ness (ICSI, 1990)

The L.0 Language and Environment for Protocol Simulation and Prototyping. - E. Jane Cameron; David M. Cohen; Timothy M. Guinther; William M. Keese II; Linda A. Ness; Cynthia Norman; Hassan N. Srinidhi (IEEE Trans. Computers, 1991)

A Simulation Study of Video Teleconferencing Traffic in ATM Networks. - David M. Cohen; Daniel P. Heyman (INFOCOM, 1993)

An almost regenerative simulation of video teleconferencing traffic. - David M. Cohen; Daniel P. Heyman (WSC, 1993)

Performance modeling of video teleconferencing in ATM networks. - David M. Cohen; Daniel P. Heyman (IEEE Trans. Circuits Syst. Video Technol., 1993)

The Automatic Efficient Test Generator (AETG) system. - David M. Cohen; Siddhartha R. Dalal; A. Kajla; Gardner C. Patton (ISSRE, 1994)

Weighted Binary Trees for Concurrent Searching. - David M. Cohen; Michael L. Fredman (J. Algorithms, 1996)

The Combinatorial Design Approach to Automatic Test Generation. - David M. Cohen; Siddhartha R. Dalal; Jesse Parelius; Gardner C. Patton (IEEE Softw., 1996)

Products of Finite State Machines with Full Coverage. - David M. Cohen; Michael L. Fredman (Theor. Comput. Sci., 1996)

A Parallel Implementation of the GTH Algorithm. - David M. Cohen; Daniel P. Heyman; Asya Rabinovitch; Danit Brown (INFORMS J. Comput., 1997)

The AETG System: An Approach to Testing Based on Combinatiorial Design. - David M. Cohen; Siddhartha R. Dalal; Michael L. Fredman; Gardner C. Patton (IEEE Trans. Software Eng., 1997)

Expected-utility-based sensor selection for state estimation. - David M. Cohen; Douglas L. Jones; Sriram Narayanan (ICASSP, 2012)

A direct algorithm for joint optimal sensor scheduling and MAP state estimation for hidden Markov models. - David M. Jun; David M. Cohen; Douglas L. Jones (ICASSP, 2013)