The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniel E. Cooke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Changming Ma, Daniel E. Cooke
    An Improved Hybrid Method of Maintaining Content Consistency. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:46-57 [Conf]
  2. Daniel E. Cooke
    Abstraction, concurrency, and communal computing in SequenceL. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:188-191 [Conf]
  3. Daniel E. Cooke, J. Nelson Rushton
    Iterative and Parallel Algorithm Design from High Level Language Traces. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2005, pp:891-894 [Conf]
  4. Daniel E. Cooke
    Projecting our Presence in Space and in Time. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:333-338 [Conf]
  5. Daniel E. Cooke
    Logical Development of a Petri Net Deadlock Analysis Program. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1992, pp:230-233 [Conf]
  6. Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton
    The Role of Theory and Experiment in Language Design--A 15 Year Perspective. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:163-168 [Conf]
  7. Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach
    A Cluster Implementation for the Parallel Programming Language SequenceL. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2006, pp:569-575 [Conf]
  8. Daniel E. Cooke, J. Nelson Rushton
    SequenceL - An Overview of a Simple Language. [Citation Graph (0, 0)][DBLP]
    PLC, 2005, pp:64-70 [Conf]
  9. Petr Votava, Rama Nemani, Keith Golden, Daniel E. Cooke, Hector Hernandez, Changming Ma
    Parallel Distributed Application Framework for Earth Science Data Processing. [Citation Graph (0, 0)][DBLP]
    ScanGIS, 2003, pp:181-190 [Conf]
  10. Daniel E. Cooke, Jason Denton
    Software Engineering as Technology Transfer. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:340-345 [Conf]
  11. Daniel E. Cooke
    Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:166-172 [Conf]
  12. Daniel E. Cooke
    A High Level Programming Language Based Upon Ordered Multisets. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:117-124 [Conf]
  13. Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir
    The Future of Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:63- [Conf]
  14. Daniel E. Cooke
    Software Automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:70-72 [Conf]
  15. Ann Q. Gates, Daniel E. Cooke
    The Use of Integrity Constraints in Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:383-390 [Conf]
  16. Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
    Bag languages, concurrency, Horn logic programs, and linear logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:289-297 [Conf]
  17. Daniel E. Cooke, J. Nelson Rushton, Robert Watson
    The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:315-320 [Conf]
  18. Daniel E. Cooke
    Proving Properties of Software Design Methods. [Citation Graph (0, 0)][DBLP]
    SEKE, 1989, pp:9-12 [Conf]
  19. Ann Q. Gates, Daniel E. Cooke
    An Introduction To The Recognition of Iterative Structures by a CASE Tool. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:202-208 [Conf]
  20. Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke
    Extending Acquisition of High Quality Customer Level Requirements. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:407-413 [Conf]
  21. Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
    A Distributed Version of the SequenceL Language. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:295-301 [Conf]
  22. Daniel E. Cooke, Luqi
    Logic Programming and Software Maintenance. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:221-229 [Journal]
  23. Daniel E. Cooke, David A. Dampier
    A Real-Time Version of SequenceL. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:157-176 [Journal]
  24. Daniel E. Cooke
    SequenceL Provides a Different Way to View Programming. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1998, v:24, n:1, pp:1-32 [Journal]
  25. Daniel E. Cooke
    Outlook on Language Research and Practice. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:2, pp:76-77 [Journal]
  26. Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green
    NASA's Exploration Agenda and Capability Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:1, pp:63-73 [Journal]
  27. Daniel E. Cooke, Scott Hamilton
    New Directions at NASA Ames Research Center. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:1, pp:63-71 [Journal]
  28. Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson
    Unix and Beyond: An Interview with Ken Thompson. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1999, v:32, n:5, pp:58-64 [Journal]
  29. Daniel E. Cooke, Vladik Kreinovich
    Automatic Concurrency in SequenceL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  30. Daniel E. Cooke, Butler Hine
    Virtual Collaborations with the Real: NASA's New Era in Space Exploration. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2002, v:17, n:2, pp:63-69 [Journal]
  31. Daniel E. Cooke, Ann Q. Gates
    On the Development of a Method to Synthesize Programs from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1991, v:1, n:1, pp:21-38 [Journal]
  32. Daniel E. Cooke, Joseph E. Urban
    Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:1, pp:1-2 [Journal]
  33. Daniel E. Cooke
    Formal specifications of resource-deadlock prone petri nets. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:11, n:1, pp:53-69 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:32, n:3, pp:269-308 [Journal]
  35. Daniel E. Cooke, Vladik Kreinovich
    Automatic concurrency in SequenceL. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:115-128 [Journal]
  36. Daniel E. Cooke
    An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1996, v:26, n:11, pp:1205-1246 [Journal]
  37. Daniel E. Cooke, Per Andersen
    Automatic parallel control structures in SequenceL. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2000, v:30, n:14, pp:1541-1570 [Journal]
  38. Daniel E. Cooke
    Towards a Formalism to Produce a Programmer Assistant CASE Tool. [Citation Graph (0, 8)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1990, v:2, n:3, pp:320-326 [Journal]

  39. A Toolkit for Distributed and Parallel Computing in Embedded Systems. [Citation Graph (, )][DBLP]

  40. SequenceL: transparency and multi-core parallelisms. [Citation Graph (, )][DBLP]

  41. Taking Parnas's Principles to the Next Level: Declarative Language Design. [Citation Graph (, )][DBLP]

Search in 0.019secs, Finished in 0.021secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002