Douglas R. Smith

Srinivas Nedunuri, Douglas R. Smith, William R. Cook: Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM 2012: 308-325

Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Theory and Techniques for Synthesizing a Family of Graph Algorithms. SYNT 2012: 33-46

Srinivas Nedunuri, Douglas R. Smith, William R. Cook: A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC 2010: 352-366

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376

Srinivas Nedunuri, Douglas R. Smith, William R. Cook: Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods 2010: 97-108

Douglas R. Smith, Louis Hoebel: Derivational software engineering. FoSER 2010: 355-358

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010)

Srinivas Nedunuri, William R. Cook, Douglas R. Smith: Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175

Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke: Assembly reconciliation. Bioinformatics 24(1): 42-45 (2008)

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314

Douglas R. Smith: Requirement enforcement by transformation automata. FOAL 2007: 5-14

Douglas R. Smith: Toward automated software development. ASE 2007: 1

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)

Douglas R. Smith: Composition by Colimit and Formal Software Development. Essays Dedicated to Joseph A. Goguen 2006: 317-332

Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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. GPCE 2006: 221-236

Douglas R. Smith: Comprehension by Derivation. IWPC 2005: 3-9

Douglas R. Smith: Generating Programs Plus Proofs by Refinement. VSTTE 2005: 182-188

Douglas R. Smith: A Generative Approach to Aspect-Oriented Programming. GPCE 2004: 39-54

Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold: Derivation of Glue Code for Agent Interoperation. Autonomous Agents and Multi-Agent Systems 6(3): 265-286 (2003)

René Gibson, Douglas R. Smith: Genome Visualization Made Fast and Simple. Bioinformatics 19(11): 1449-1450 (2003)

Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597

Dusko Pavlovic, Douglas R. Smith: Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425

Dusko Pavlovic, Douglas R. Smith: Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286

Dusko Pavlovic, Douglas R. Smith: Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165

Drew V. McDermott, Mark H. Burstein, Douglas R. Smith: Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. SWWS 2001: 285-302

Drew V. McDermott, Mark H. Burstein, Douglas R. Smith: Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. The Emerging Semantic Web 2001

Mark H. Burstein, Drew V. McDermott, Douglas R. Smith: Derivation of glue code for agent interoperation. Agents 2000: 277-284

Douglas R. Smith: Software synthesis and applications (abstract only). FMSP 2000: 73

Douglas R. Smith: Designware: Software Development by Refinement. Electr. Notes Theor. Comput. Sci. 29: 275-287 (1999)

Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold: Planware - Domain-Specific Synthesis of High-Performance Schedulers. ASE 1998: 270-

Peter Pepper, Douglas R. Smith: A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. 28(2-3): 247-271 (1997)

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold: A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) 1997: 658-667

Mark H. Burstein, Douglas R. Smith: ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications. AIPS 1996: 35-44

Douglas R. Smith: Toward a Classification Approach to Design. AMAST 1996: 62-84

Douglas R. Smith, Stephen J. Westfold: Scheduling an Asynchronously Shared Resource. CP 1996: 563-564

Douglas R. Smith: Machine Support for Software Development (Abstract). ICSE 1996: 167-168

Douglas R. Smith: Constructing Specification Morphisms. J. Symb. Comput. 15(5/6): 571-606 (1993)

Douglas R. Smith: Automating the Design of Algorithm. Formal Program Development 1993: 324-354

Douglas R. Smith: Towards the Synthesis of Constraint Propagation Algorithms. LOPSTR 1993: 1-9

Douglas R. Smith: Synthesis of Constraint Algorithms. PPCP 1993: 278-283

Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990)

Douglas R. Smith: KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng. 16(9): 1024-1043 (1990)

Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. MPC 1989: 379-398

Douglas R. Smith: Applications of a Strategy for Designing Divide-and-Conquer Algorithms. Sci. Comput. Program. 8(3): 213-229 (1987)

Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425

Douglas R. Smith: Top-Down Synthesis of Divide-and-Conquer Algorithms. Artif. Intell. 27(1): 43-96 (1985)

Douglas R. Smith: The Design of Divide and Conquer Algorithms. Sci. Comput. Program. 5(1): 37-58 (1985)

Douglas R. Smith, Gordon Kotik, Stephen J. Westfold: Research on Knowledge-Based Software Environments at Kestrel Institute. IEEE Trans. Software Eng. 11(11): 1278-1295 (1985)

Douglas R. Smith: Reasoning by Cases and the Formation of Conditional Programs. IJCAI 1985: 215-218

Douglas R. Smith: Random Trees and the Analysis of Branch and Bound Procedures. J. ACM 31(1): 163-188 (1984)

Douglas R. Smith: A Problem Reduction Approach to Program Synthesis. IJCAI 1983: 32-36

Douglas R. Smith: Derived Preconditions and Their Use in Program Synthesis. CADE 1982: 172-193

Douglas R. Smith: A Design for an Automatic Programming System. IJCAI 1981: 1027-1029

Alan W. Biermann, Douglas R. Smith: The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress 1977: 41-45