The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Douglas R. Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xiaolei Qian, Douglas R. Smith
    Integrity Constraint Reformulation for Efficient Validation. [Citation Graph (10, 17)][DBLP]
    VLDB, 1987, pp:417-425 [Conf]
  2. Douglas R. Smith, Gordon Kotik, Stephen J. Westfold
    Research on Knowledge-Based Software Environments at Kestrel Institute. [Citation Graph (4, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:11, pp:1278-1295 [Journal]
  3. Douglas R. Smith
    Top-Down Synthesis of Divide-and-Conquer Algorithms. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1985, v:27, n:1, pp:43-96 [Journal]
  4. Douglas R. Smith
    Derived Preconditions and Their Use in Program Synthesis. [Citation Graph (1, 0)][DBLP]
    CADE, 1982, pp:172-193 [Conf]
  5. Mark H. Burstein, Drew V. McDermott, Douglas R. Smith
    Derivation of glue code for agent interoperation. [Citation Graph (0, 0)][DBLP]
    Agents, 2000, pp:277-284 [Conf]
  6. Mark H. Burstein, Douglas R. Smith
    ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    AIPS, 1996, pp:35-44 [Conf]
  7. Dusko Pavlovic, Douglas R. Smith
    Guarded Transitions in Evolving Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:411-425 [Conf]
  8. Douglas R. Smith
    Toward a Classification Approach to Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:62-84 [Conf]
  9. Dusko Pavlovic, Peter Pepper, Douglas R. Smith
    Colimits for Concurrent Collectors. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:568-597 [Conf]
  10. Douglas R. Smith
    Composition by Colimit and Formal Software Development. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:317-332 [Conf]
  11. Douglas R. Smith, Stephen J. Westfold
    Scheduling an Asynchronously Shared Resource. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:563-564 [Conf]
  12. Douglas R. Smith
    Software synthesis and applications (abstract only). [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:73- [Conf]
  13. Douglas R. Smith
    A Generative Approach to Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:39-54 [Conf]
  14. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  15. Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
    A Transformational Approach Applied to Outage Management of Nuclear Power Plants. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:658-667 [Conf]
  16. Douglas R. Smith
    Machine Support for Software Development (Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:167-168 [Conf]
  17. Alan W. Biermann, Douglas R. Smith
    The Hierarchical Synthesis of Lisp Scanning Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:41-45 [Conf]
  18. Douglas R. Smith
    Automating the Design of Algorithm. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:324-354 [Conf]
  19. Douglas R. Smith
    A Design for an Automatic Programming System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:1027-1029 [Conf]
  20. Douglas R. Smith
    A Problem Reduction Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:32-36 [Conf]
  21. Douglas R. Smith
    Reasoning by Cases and the Formation of Conditional Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:215-218 [Conf]
  22. Douglas R. Smith
    Comprehension by Derivation. [Citation Graph (0, 0)][DBLP]
    IWPC, 2005, pp:3-9 [Conf]
  23. Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold
    Planware - Domain-Specific Synthesis of High-Performance Schedulers. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:270-0 [Conf]
  24. Dusko Pavlovic, Douglas R. Smith
    Composition and Refinement of Behavioral Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:157-165 [Conf]
  25. Douglas R. Smith
    Towards the Synthesis of Constraint Propagation Algorithms. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:1-9 [Conf]
  26. Douglas R. Smith, Michael R. Lowry
    Algorithm Theories and Design Tactics. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:379-398 [Conf]
  27. Douglas R. Smith
    Synthesis of Constraint Algorithms. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:278-283 [Conf]
  28. Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
    Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. [Citation Graph (0, 0)][DBLP]
    SWWS, 2001, pp:285-302 [Conf]
  29. Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
    Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. [Citation Graph (0, 0)][DBLP]
    The Emerging Semantic Web, 2001, pp:- [Conf]
  30. Dusko Pavlovic, Douglas R. Smith
    Software Development by Refinement. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:267-286 [Conf]
  31. Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold
    Derivation of Glue Code for Agent Interoperation. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2003, v:6, n:3, pp:265-286 [Journal]
  32. René Gibson, Douglas R. Smith
    Genome Visualization Made Fast and Simple. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:11, pp:1449-1450 [Journal]
  33. Douglas R. Smith
    Random Trees and the Analysis of Branch and Bound Procedures. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1984, v:31, n:1, pp:163-188 [Journal]
  34. Douglas R. Smith
    Constructing Specification Morphisms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:571-606 [Journal]
  35. Peter Pepper, Douglas R. Smith
    A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:247-271 [Journal]
  36. Douglas R. Smith
    The Design of Divide and Conquer Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1985, v:5, n:1, pp:37-58 [Journal]
  37. Douglas R. Smith
    Applications of a Strategy for Designing Divide-and-Conquer Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:3, pp:213-229 [Journal]
  38. Douglas R. Smith, Michael R. Lowry
    Algorithm Theories and Design Tactics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:305-321 [Journal]
  39. Douglas R. Smith
    KIDS: A Semiautomatic Program Development System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:9, pp:1024-1043 [Journal]

  40. Evolving Specification Engineering. [Citation Graph (, )][DBLP]


  41. A Class of Greedy Algorithms and Its Relation to Greedoids. [Citation Graph (, )][DBLP]


  42. Formal Derivation of Concurrent Garbage Collectors. [Citation Graph (, )][DBLP]


  43. Requirement enforcement by transformation automata. [Citation Graph (, )][DBLP]


  44. Generating Programs Plus Proofs by Refinement. [Citation Graph (, )][DBLP]


  45. Assembly reconciliation. [Citation Graph (, )][DBLP]


  46. Formal Derivation of Concurrent Garbage Collectors [Citation Graph (, )][DBLP]


Search in 23.716secs, Finished in 23.718secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002