![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Douglas R. Smith
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c47]Douglas R. Smith, Srinivas Nedunuri:
Deductive Model Refinement. NFM 2024: 147-165
2010 – 2019
- 2019
- [c46]Douglas R. Smith, Stephen J. Westfold:
Transformations for Generating Type Refinements. FM Workshops (2) 2019: 371-387 - 2012
- [c45]Srinivas Nedunuri, Douglas R. Smith, William R. Cook
:
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM 2012: 308-325 - [c44]Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Theory and Techniques for Synthesizing a Family of Graph Algorithms. SYNT 2012: 33-46 - 2010
- [c43]Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC 2010: 352-366 - [c42]Dusko Pavlovic
, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376 - [c41]Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods 2010: 97-108 - [c40]Douglas R. Smith, Louis Hoebel:
Derivational software engineering. FoSER 2010: 355-358 - [i2]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010)
2000 – 2009
- 2009
- [c39]Srinivas Nedunuri, William R. Cook, Douglas R. Smith:
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods 2009: 171-175 - [e1]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
Software Synthesis, 06.12. - 11.12.2009. Dagstuhl Seminar Proceedings 09501, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
09501 Abstracts Collection - Software Synthesis. Software Synthesis 2009 - 2008
- [j16]Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke:
Assembly reconciliation. Bioinform. 24(1): 42-45 (2008) - [j15]Dipankar Deb
, Gang Tao, Jason O. Burkholder, Douglas R. Smith
:
Adaptive Synthetic Jet Actuator Compensation for A Nonlinear Aircraft Model at Low Angles of Attack. IEEE Trans. Control. Syst. Technol. 16(5): 983-995 (2008) - [c38]Dusko Pavlovic
, Peter Pepper, Douglas R. Smith:
Evolving Specification Engineering. AMAST 2008: 299-314 - 2007
- [c37]Douglas R. Smith:
Requirement enforcement by transformation automata. FOAL 2007: 5-14 - [c36]Douglas R. Smith:
Toward automated software development. ASE 2007: 1 - 2006
- [j14]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 Intell. Syst. 21(6): 71-81 (2006) - [c35]Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith:
Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack. ACC 2006 - [c34]Douglas R. Smith:
Composition by Colimit and Formal Software Development. Essays Dedicated to Joseph A. Goguen 2006: 317-332 - [c33]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 - 2005
- [c32]Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith:
An adaptive inverse control scheme for a synthetic jet actuator model. ACC 2005: 2646-2651 - [c31]Douglas R. Smith:
Comprehension by Derivation. IWPC 2005: 3-9 - [c30]Douglas R. Smith:
Generating Programs Plus Proofs by Refinement. VSTTE 2005: 182-188 - 2004
- [c29]Douglas R. Smith:
A Generative Approach to Aspect-Oriented Programming. GPCE 2004: 39-54 - 2003
- [j13]Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold:
Derivation of Glue Code for Agent Interoperation. Auton. Agents Multi Agent Syst. 6(3): 265-286 (2003) - [j12]René Gibson, Douglas R. Smith:
Genome Visualization Made Fast and Simple. Bioinform. 19(11): 1449-1450 (2003) - [c28]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597 - 2002
- [c27]Dusko Pavlovic, Douglas R. Smith:
Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425 - [c26]Dusko Pavlovic, Douglas R. Smith:
Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286 - 2001
- [j11]Stephen J. Westfold, Douglas R. Smith:
Synthesis of efficient constraint-satisfaction programs. Knowl. Eng. Rev. 16(1): 69-84 (2001) - [c25]Dusko Pavlovic, Douglas R. Smith:
Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165 - [c24]Drew V. McDermott, Mark H. Burstein, Douglas R. Smith:
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. SWWS 2001: 285-302 - [c23]Drew V. McDermott, Mark H. Burstein, Douglas R. Smith:
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. The Emerging Semantic Web 2001 - 2000
- [c22]Mark H. Burstein, Drew V. McDermott, Douglas R. Smith:
Derivation of glue code for agent interoperation. Agents 2000: 277-284 - [c21]Douglas R. Smith:
Software synthesis and applications (abstract only). FMSP 2000: 73
1990 – 1999
- 1999
- [c20]Douglas R. Smith:
Designware: Software Development by Refinement. CTCS 1999: 275-287 - 1998
- [c19]Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold:
Planware - Domain-Specific Synthesis of High-Performance Schedulers. ASE 1998: 270- - 1997
- [j10]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) - [c18]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 - 1996
- [c17]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 - [c16]Douglas R. Smith:
Toward a Classification Approach to Design. AMAST 1996: 62-84 - [c15]Douglas R. Smith, Stephen J. Westfold:
Scheduling an Asynchronously Shared Resource. CP 1996: 563-564 - [c14]Douglas R. Smith:
Machine Support for Software Development (Abstract). ICSE 1996: 167-168 - [c13]Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
Synthesis of schedulers for planned shutdowns of power plants. KBSE 1996: 12-20 - 1993
- [j9]Douglas R. Smith:
Constructing Specification Morphisms. J. Symb. Comput. 15(5/6): 571-606 (1993) - [c12]Douglas R. Smith:
Automating the Design of Algorithm. Formal Program Development 1993: 324-354 - [c11]Douglas R. Smith, Eduardo A. Parra:
Transformational approach to transportation scheduling. KBSE 1993: 60-68 - [c10]Douglas R. Smith:
Towards the Synthesis of Constraint Propagation Algorithms. LOPSTR 1993: 1-9 - [c9]Douglas R. Smith:
Synthesis of Constraint Algorithms. PPCP 1993: 278-283 - 1992
- [c8]Douglas R. Smith:
Track assignment in an air traffic control system: a rational reconstruction of system design. KBSE 1992: 60-68 - 1990
- [j8]Douglas R. Smith, Michael R. Lowry:
Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990) - [j7]Douglas R. Smith:
KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng. 16(9): 1024-1043 (1990)
1980 – 1989
- 1989
- [c7]Douglas R. Smith, Michael R. Lowry:
Algorithm Theories and Design Tactics. MPC 1989: 379-398 - 1987
- [j6]Douglas R. Smith:
Applications of a Strategy for Designing Divide-and-Conquer Algorithms. Sci. Comput. Program. 8(3): 213-229 (1987) - [c6]Xiaolei Qian, Douglas R. Smith:
Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425 - 1985
- [j5]Douglas R. Smith:
Top-Down Synthesis of Divide-and-Conquer Algorithms. Artif. Intell. 27(1): 43-96 (1985) - [j4]Douglas R. Smith:
The Design of Divide and Conquer Algorithms. Sci. Comput. Program. 5(1): 37-58 (1985) - [j3]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) - [c5]Douglas R. Smith:
Reasoning by Cases and the Formation of Conditional Programs. IJCAI 1985: 215-218 - 1984
- [j2]Douglas R. Smith:
Random Trees and the Analysis of Branch and Bound Procedures. J. ACM 31(1): 163-188 (1984) - 1983
- [c4]Douglas R. Smith:
A Problem Reduction Approach to Program Synthesis. IJCAI 1983: 32-36 - 1982
- [c3]Douglas R. Smith:
Derived Preconditions and Their Use in Program Synthesis. CADE 1982: 172-193 - 1981
- [c2]Douglas R. Smith:
A Design for an Automatic Programming System. IJCAI 1981: 1027-1029
1970 – 1979
- 1979
- [j1]Alan W. Biermann, Douglas R. Smith:
A Production Rule Mechanism for Generating LISP Code. IEEE Trans. Syst. Man Cybern. 9(5): 260-276 (1979) - 1977
- [c1]Alan W. Biermann, Douglas R. Smith:
The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress 1977: 41-45
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-07-10 21:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint