default search action
Daniel E. Cooke
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c33]Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton:
SequenceL: transparency and multi-core parallelisms. DAMP 2010: 45-52 - [c32]Daniel E. Cooke:
The multi-core programming challenge. SEKE 2010: 3-4
2000 – 2009
- 2009
- [j31]Daniel E. Cooke, J. Nelson Rushton:
Taking Parnas's Principles to the Next Level: Declarative Language Design. Computer 42(9): 56-63 (2009) - [j30]Daniel E. Cooke:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 19(4): 477-479 (2009) - 2008
- [j29]Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen:
Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ACM Trans. Program. Lang. Syst. 30(2): 9:1-9:49 (2008) - [c31]Bryan Hughes, Brian Nutter, Per Andersen, Daniel E. Cooke:
A Toolkit for Distributed and Parallel Computing in Embedded Systems. ESA 2008: 153-159 - 2007
- [j28]Daniel E. Cooke:
Examining Artificial and Human Intelligence. IEEE Intell. Syst. 22(2): 93 (2007) - 2006
- [j27]Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green:
NASA's Exploration Agenda and Capability Engineering. Computer 39(1): 63-73 (2006) - [c30]Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton:
The Role of Theory and Experiment in Language Design--A 15 Year Perspective. ICTAI 2006: 163-168 - [c29]Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach:
A Cluster Implementation for the Parallel Programming Language SequenceL. PDPTA 2006: 569-575 - [c28]Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson:
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE 2006: 315-320 - 2005
- [j26]Michael E. Shin, Daniel E. Cooke:
Connector-based self-healing mechanism for components of a reliable system. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [c27]Daniel E. Cooke, J. Nelson Rushton:
Iterative and Parallel Algorithm Design from High Level Language Traces. International Conference on Computational Science (3) 2005: 891-894 - [c26]Daniel E. Cooke, J. Nelson Rushton:
SequenceL - An Overview of a Simple Language. PLC 2005: 64-70 - 2004
- [c25]Changming Ma, Daniel E. Cooke:
An Improved Hybrid Method of Maintaining Content Consistency. AWCC 2004: 46-57 - 2003
- [c24]Petr Votava, Ramakrishna R. Nemani, Keith Golden, Daniel E. Cooke, Hector Hernandez, Changming Ma:
Parallel Distributed Application Framework for Earth Science Data Processing. ScanGIS 2003: 181-190 - [c23]Daniel E. Cooke, Jason Denton:
Software Engineering as Technology Transfer. SEKE 2003: 340-345 - [c22]Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke:
Extending Acquisition of High Quality Customer Level Requirements. Software Engineering Research and Practice 2003: 407-413 - 2002
- [j25]Daniel E. Cooke, Butler Hine:
Virtual Collaborations with the Real: NASA's New Era in Space Exploration. IEEE Intell. Syst. 17(2): 63-69 (2002) - [j24]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. Trans. SDPS 6(3): 29-43 (2002) - [j23]Daniel E. Cooke, Vladik Kreinovich:
Automatic concurrency in SequenceL. Sci. Comput. Program. 42(1): 115-128 (2002) - [c21]Daniel E. Cooke:
Projecting our Presence in Space and in Time. ICTAI 2002: 333-338 - 2000
- [j22]Daniel E. Cooke, Scott Hamilton:
New Directions at NASA Ames Research Center. Computer 33(1): 63-71 (2000) - [j21]Daniel E. Cooke, Per Andersen:
Automatic parallel control structures in SequenceL. Softw. Pract. Exp. 30(14): 1541-1570 (2000) - [c20]Daniel E. Cooke:
Issues concerning the future of computer science. HASE 2000: 47-48
1990 – 1999
- 1999
- [j20]Daniel E. Cooke, David A. Dampier:
A Real-Time Version of SequenceL. Ann. Softw. Eng. 7: 157-176 (1999) - [j19]Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson:
Unix and Beyond: An Interview with Ken Thompson. Computer 32(5): 58-64 (1999) - [c19]Joseph E. Urban, Daniel E. Cooke:
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) 1999: 102-109 - 1998
- [j18]Daniel E. Cooke:
SequenceL Provides a Different Way to View Programming. Comput. Lang. 24(1): 1-32 (1998) - [j17]Daniel E. Cooke:
Outlook on Language Research and Practice. Computer 31(2): 76-77 (1998) - [j16]Daniel E. Cooke, Joseph E. Urban:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 8(1): 1-2 (1998) - [c18]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
A Distributed Version of the SequenceL Language. SRDS 1998: 295-301 - [c17]Daniel E. Cooke, Vladik Kreinovich:
Automatic Concurrency in SequenceL. Monterey Workshop 1998: 23-34 - 1997
- [j15]Daniel E. Cooke, Luqi:
Logic Programming and Software Maintenance. Ann. Math. Artif. Intell. 21(2-4): 221-229 (1997) - [c16]Daniel E. Cooke:
Abstraction, concurrency, and communal computing in SequenceL. COMPSAC 1997: 188-191 - 1996
- [j14]Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer:
Languages for the specification of software. J. Syst. Softw. 32(3): 269-308 (1996) - [j13]M. Beltran, Daniel E. Cooke:
Reviews - Applications of reliable scientific computing. Reliab. Comput. 2(3): 329-331 (1996) - [j12]Daniel E. Cooke:
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. Softw. Pract. Exp. 26(11): 1205-1246 (1996) - 1995
- [j11]Luqi, Daniel E. Cooke:
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. Int. J. Softw. Eng. Knowl. Eng. 5(1): 89-118 (1995) - [j10]Daniel E. Cooke:
An informal introduction to a high level language with applications to interval mathematics. Reliab. Comput. 1(1): 65-75 (1995) - [c15]Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir:
The Future of Software Engineering Education. SEKE 1995: 63 - [c14]Daniel E. Cooke:
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. SEKE 1995: 166-172 - [c13]Ann Q. Gates, Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390 - 1994
- [c12]Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297 - [p1]Daniel E. Cooke:
An Introduction to the Issues of Computer Aided Software Engineering. The Impact of Case Technology on Software Processes 1994: 1-12 - [e1]Daniel E. Cooke:
The Impact of Case Technology on Software Processes. Series on Software Engineering and Knowledge Engineering 3, World Scientific 1994, ISBN 978-981-02-1027-4 [contents] - 1993
- [j9]C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral:
Maintaining the Truth of Specifications in Evolutionary Software. Int. J. Artif. Intell. Tools 2(1): 15-32 (1993) - [j8]Daniel E. Cooke:
Possible Effects of the Next Generation Programming Language on the Software Process Model. Int. J. Softw. Eng. Knowl. Eng. 3(3): 383-399 (1993) - [c11]Daniel E. Cooke, Luqi:
Formal support for software maintenance. COMPSAC 1993: 402-407 - [c10]Daniel E. Cooke:
Software Automation. SEKE 1993: 70-72 - [c9]Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets. SEKE 1993: 117-124 - 1992
- [j7]Daniel E. Cooke:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 2(2): 169-170 (1992) - [j6]Daniel E. Cooke:
An issue of the next generation of problem-solving environments. J. Syst. Integr. 2(1): 39-52 (1992) - [c8]Luqi, Daniel E. Cooke:
The management of uncertainty in software development. COMPSAC 1992: 381-386 - [c7]Daniel E. Cooke:
Logical Development of a Petri Net Deadlock Analysis Program. ICTAI 1992: 230-233 - [c6]Daniel E. Cooke, Aida Gutierrez:
An Introduction to BagL. SEKE 1992: 479-486 - 1991
- [j5]Daniel E. Cooke, Ann Q. Gates:
On the Development of a Method to Synthesize Programs from Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 1(1): 21-38 (1991) - [j4]Daniel E. Cooke:
Guest Editor's Introduction: the Impact of Case on Software Development Processes. Int. J. Softw. Eng. Knowl. Eng. 1(2) (1991) - [j3]Daniel E. Cooke:
Book Review: "software Conflict: Essays on the Art and Science of Software Engineering". Int. J. Softw. Eng. Knowl. Eng. 1(4): 477-478 (1991) - [c5]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:
AI in multimedia (panel session). ICTAI 1991: 3-12 - [c4]C. V. Ramamoorthy, Daniel E. Cooke:
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. ICTAI 1991: 114-118 - 1990
- [j2]Daniel E. Cooke:
Formal specifications of resource-deadlock prone petri nets. J. Syst. Softw. 11(1): 53-69 (1990) - [j1]Daniel E. Cooke:
Towards a Formalism to Produce a Programmer Assistant CASE Tool. IEEE Trans. Knowl. Data Eng. 2(3): 320-326 (1990) - [c3]Daniel E. Cooke, Ann Q. Gates:
On the application of stratification to requirement specifications. TAI 1990: 760-766 - [c2]Ann Q. Gates, Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208
1980 – 1989
- 1989
- [c1]Daniel E. Cooke:
Proving Properties of Software Design Methods. SEKE 1989: 9-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint