| 2010 | POPL | SequenceL: transparency and multi-core parallelisms. | Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton |
| 2010 | SEKE | The multi-core programming challenge. | Daniel E. Cooke |
| 2006 | ICTAI | The Role of Theory and Experiment in Language Design--A 15 Year Perspective. | Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton |
| 2006 | PDPTA | A Cluster Implementation for the Parallel Programming Language SequenceL. | Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach |
| 2006 | SEKE | The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. | Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson |
| 2005 | ICCS | Iterative and Parallel Algorithm Design from High Level Language Traces. | Daniel E. Cooke, J. Nelson Rushton |
| 2003 | SEKE | Software Engineering as Technology Transfer. | Daniel E. Cooke, Jason Denton |
| 2002 | ICTAI | Projecting our Presence in Space and in Time. | Daniel E. Cooke |
| 1998 | SRDS | A Distributed Version of the SequenceL Language. | Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban |
| 1997 | COMPSAC | Abstraction, concurrency, and communal computing in SequenceL. | Daniel E. Cooke |
| 1995 | SEKE | Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. | Daniel E. Cooke |
| 1995 | SEKE | The Use of Integrity Constraints in Software Engineering. | Ann Q. Gates, Daniel E. Cooke |
| 1995 | SEKE | The Future of Software Engineering Education. | Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir |
| 1994 | SEKE | Bag languages, concurrency, Horn logic programs, and linear logic. | Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich |
| 1993 | COMPSAC | Formal support for software maintenance. | Daniel E. Cooke, Luqi |
| 1993 | SEKE | Software Automation. | Daniel E. Cooke |
| 1993 | SEKE | A High Level Programming Language Based Upon Ordered Multisets. | Daniel E. Cooke |
| 1992 | COMPSAC | The management of uncertainty in software development. | Luqi, Daniel E. Cooke |
| 1992 | ICTAI | Logical Development of a Petri Net Deadlock Analysis Program. | Daniel E. Cooke |
| 1992 | SEKE | An Introduction to BagL. | Daniel E. Cooke, Aida Gutierrez |
| 1991 | ICTAI | AI in multimedia (panel session). | Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, Jos G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith |
| 1991 | ICTAI | The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. | C. V. Ramamoorthy, Daniel E. Cooke |
| 1990 | ICTAI | On the application of stratification to requirement specifications. | Daniel E. Cooke, Ann Q. Gates |
| 1990 | SEKE | An Introduction To The Recognition of Iterative Structures by a CASE Tool. | Ann Q. Gates, Daniel E. Cooke |
| 1989 | SEKE | Proving Properties of Software Design Methods. | Daniel E. Cooke |