Proving Properties of Software Design Methods. - Daniel E. Cooke (SEKE, 1989)

On the application of stratification to requirement specifications. - Daniel E. Cooke; Ann Q. Gates (TAI, 1990)

An Introduction To The Recognition of Iterative Structures by a CASE Tool. - Ann Q. Gates; Daniel E. Cooke (SEKE, 1990)

Formal specifications of resource-deadlock prone petri nets. - Daniel E. Cooke (J. Syst. Softw., 1990)

Towards a Formalism to Produce a Programmer Assistant CASE Tool. - Daniel E. Cooke (IEEE Trans. Knowl. Data Eng., 1990)

AI in multimedia (panel session). - Nikolaos G. Bourbakis; Robin Williams 001; Forouzan Golshani; Myron Flickner; Ted Laliotis; Sukhan Lee 001; José G. Delgado-Frias; Dan Hammerstrom; Cris Koutsougeras; Gerald G. Pechanek; Benjamin W. Wah; John Yen; et al. (ICTAI, 1991)

The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. - C. V. Ramamoorthy; Daniel E. Cooke (ICTAI, 1991)

Guest Editor's Introduction: the Impact of Case on Software Development Processes. - Daniel E. Cooke (Int. J. Softw. Eng. Knowl. Eng., 1991)

Book Review: "software Conflict: Essays on the Art and Science of Software Engineering". - Daniel E. Cooke (Int. J. Softw. Eng. Knowl. Eng., 1991)

On the Development of a Method to Synthesize Programs from Requirements Specifications. - Daniel E. Cooke; Ann Q. Gates (Int. J. Softw. Eng. Knowl. Eng., 1991)

The management of uncertainty in software development. - Luqi; Daniel E. Cooke (COMPSAC, 1992)

Logical Development of a Petri Net Deadlock Analysis Program. - Daniel E. Cooke (ICTAI, 1992)

An Introduction to BagL. - Daniel E. Cooke; Aida Gutierrez (SEKE, 1992)

Guest Editor's Introduction. - Daniel E. Cooke (Int. J. Softw. Eng. Knowl. Eng., 1992)

An issue of the next generation of problem-solving environments. - Daniel E. Cooke (J. Syst. Integr., 1992)

Formal support for software maintenance. - Daniel E. Cooke; Luqi (COMPSAC, 1993)

Software Automation. - Daniel E. Cooke (SEKE, 1993)

A High Level Programming Language Based Upon Ordered Multisets. - Daniel E. Cooke (SEKE, 1993)

Maintaining the Truth of Specifications in Evolutionary Software. - C. V. Ramamoorthy; Daniel E. Cooke; Chitta Baral (Int. J. Artif. Intell. Tools, 1993)

Possible Effects of the Next Generation Programming Language on the Software Process Model. - Daniel E. Cooke (Int. J. Softw. Eng. Knowl. Eng., 1993)

An Introduction to the Issues of Computer Aided Software Engineering. - Daniel E. Cooke (The Impact of Case Technology on Software Processes, 1994)

Bag languages, concurrency, Horn logic programs, and linear logic. - Daniel E. Cooke; Richard Duran; Ann Q. Gates; Vladik Kreinovich (SEKE, 1994)

Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. - Daniel E. Cooke (SEKE, 1995)

The Use of Integrity Constraints in Software Engineering. - Ann Q. Gates; Daniel E. Cooke (SEKE, 1995)

The Future of Software Engineering Education. - Joseph E. Urban; Daniel E. Cooke; Doris L. Carver; Roland T. Mittermeir (SEKE, 1995)

How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. - Luqi; Daniel E. Cooke (Int. J. Softw. Eng. Knowl. Eng., 1995)

An informal introduction to a high level language with applications to interval mathematics. - Daniel E. Cooke (Reliab. Comput., 1995)

Languages for the specification of software. - Daniel E. Cooke; Ann Q. Gates; Elif Demirörs; Onur Demirörs; Murat M. Tanik; Bernd J. Krämer (J. Syst. Softw., 1996)

Reviews - Applications of reliable scientific computing. - M. Beltran; Daniel E. Cooke (Reliab. Comput., 1996)

An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. - Daniel E. Cooke (Softw. Pract. Exp., 1996)

Abstraction, concurrency, and communal computing in SequenceL. - Daniel E. Cooke (COMPSAC, 1997)

Logic Programming and Software Maintenance. - Daniel E. Cooke; Luqi (Ann. Math. Artif. Intell., 1997)

A Distributed Version of the SequenceL Language. - Daniel E. Cooke; Vladik Kreinovich; Joseph E. Urban (SRDS, 1998)

SequenceL Provides a Different Way to View Programming. - Daniel E. Cooke (Comput. Lang., 1998)

Outlook on Language Research and Practice. - Daniel E. Cooke (Computer, 1998)

Guest Editors' Introduction. - Daniel E. Cooke; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 1998)

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. - Joseph E. Urban; Daniel E. Cooke (WORDS (Jan.), 1999)

A Real-Time Version of SequenceL. - Daniel E. Cooke; David A. Dampier (Ann. Softw. Eng., 1999)

Unix and Beyond: An Interview with Ken Thompson. - Daniel E. Cooke; Joseph E. Urban; Scott Hamilton; Ken Thompson (Computer, 1999)

Issues concerning the future of computer science. - Daniel E. Cooke (HASE, 2000)

New Directions at NASA Ames Research Center. - Daniel E. Cooke; Scott Hamilton (Computer, 2000)

Automatic parallel control structures in SequenceL. - Daniel E. Cooke; Per Andersen (Softw. Pract. Exp., 2000)

Projecting our Presence in Space and in Time. - Daniel E. Cooke (ICTAI, 2002)

Virtual Collaborations with the Real: NASA's New Era in Space Exploration. - Daniel E. Cooke; Butler Hine (IEEE Intell. Syst., 2002)

Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. - Daniel E. Cooke; Vladik Kreinovich; Joseph E. Urban (Trans. SDPS, 2002)

Automatic concurrency in SequenceL. - Daniel E. Cooke; Vladik Kreinovich (Sci. Comput. Program., 2002)

Parallel Distributed Application Framework for Earth Science Data Processing. - Petr Votava; Ramakrishna R. Nemani; Keith Golden; Daniel E. Cooke; Hector Hernandez; Changming Ma (ScanGIS, 2003)

Software Engineering as Technology Transfer. - Daniel E. Cooke; Jason Denton (SEKE, 2003)

Extending Acquisition of High Quality Customer Level Requirements. - Rattikorn Hewett; John H. Leuchner; Ken Ford; Daniel E. Cooke (Software Engineering Research and Practice, 2003)

An Improved Hybrid Method of Maintaining Content Consistency. - Changming Ma; Daniel E. Cooke (AWCC, 2004)

Iterative and Parallel Algorithm Design from High Level Language Traces. - Daniel E. Cooke; J. Nelson Rushton (International Conference on Computational Science (3), 2005)

SequenceL - An Overview of a Simple Language. - Daniel E. Cooke; J. Nelson Rushton (PLC, 2005)

Connector-based self-healing mechanism for components of a reliable system. - Michael E. Shin; Daniel E. Cooke (ACM SIGSOFT Softw. Eng. Notes, 2005)

The Role of Theory and Experiment in Language Design–A 15 Year Perspective. - Daniel E. Cooke; Brad Nemanich; J. Nelson Rushton (ICTAI, 2006)

A Cluster Implementation for the Parallel Programming Language SequenceL. - Per Andersen; Daniel E. Cooke; J. Nelson Rushton; Julian Russbach (PDPTA, 2006)

The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. - Daniel E. Cooke; J. Nelson Rushton; Robert G. Watson (SEKE, 2006)

NASA's Exploration Agenda and Capability Engineering. - Daniel E. Cooke; Matt Barry; Michael Lowry; Cordell Green (Computer, 2006)

Examining Artificial and Human Intelligence. - Daniel E. Cooke (IEEE Intell. Syst., 2007)

A Toolkit for Distributed and Parallel Computing in Embedded Systems. - Bryan Hughes; Brian Nutter; Per Andersen; Daniel E. Cooke (ESA, 2008)

Normalize, transpose, and distribute: An automatic approach for handling nonscalars. - Daniel E. Cooke; J. Nelson Rushton; Brad Nemanich; Robert G. Watson; Per Andersen (ACM Trans. Program. Lang. Syst., 2008)

Taking Parnas's Principles to the Next Level: Declarative Language Design. - Daniel E. Cooke; J. Nelson Rushton (Computer, 2009)

SequenceL: transparency and multi-core parallelisms. - Brad Nemanich; Daniel E. Cooke; J. Nelson Rushton (DAMP, 2010)

The multi-core programming challenge. - Daniel E. Cooke (SEKE, 2010)