Douglas R. Smith

	2008
44		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314
43		Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke: Assembly reconciliation. Bioinformatics 24(1): 42-45 (2008)
	2007
42		Douglas R. Smith: Requirement enforcement by transformation automata. FOAL 2007: 5-14
	2006
41		Douglas R. Smith: Composition by Colimit and Formal Software Development. Essays Dedicated to Joseph A. Goguen 2006: 317-332
40		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
39		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)
	2005
38		Douglas R. Smith: Comprehension by Derivation. IWPC 2005: 3-9
37		Douglas R. Smith: Generating Programs Plus Proofs by Refinement. VSTTE 2005: 182-188
	2004
36		Douglas R. Smith: A Generative Approach to Aspect-Oriented Programming. GPCE 2004: 39-54
	2003
35		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597
34		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)
33		René Gibson, Douglas R. Smith: Genome Visualization Made Fast and Simple. Bioinformatics 19(11): 1449-1450 (2003)
	2002
32		Dusko Pavlovic, Douglas R. Smith: Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286
31		Dusko Pavlovic, Douglas R. Smith: Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425
	2001
30		Dusko Pavlovic, Douglas R. Smith: Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165
29		Drew V. McDermott, Mark H. Burstein, Douglas R. Smith: Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. SWWS 2001: 285-302
28		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
27		Mark H. Burstein, Drew V. McDermott, Douglas R. Smith: Derivation of glue code for agent interoperation. Agents 2000: 277-284
26		Douglas R. Smith: Software synthesis and applications (abstract only). FMSP 2000: 73
	1998
25		Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold: Planware - Domain-Specific Synthesis of High-Performance Schedulers. ASE 1998: 270-
	1997
24		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
23		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)
	1996
22		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
21		Douglas R. Smith: Toward a Classification Approach to Design. AMAST 1996: 62-84
20		Douglas R. Smith, Stephen J. Westfold: Scheduling an Asynchronously Shared Resource. CP 1996: 563-564
19		Douglas R. Smith: Machine Support for Software Development (Abstract). ICSE 1996: 167-168
	1993
18		Douglas R. Smith: Automating the Design of Algorithm. Formal Program Development 1993: 324-354
17		Douglas R. Smith: Towards the Synthesis of Constraint Propagation Algorithms. LOPSTR 1993: 1-9
16		Douglas R. Smith: Synthesis of Constraint Algorithms. PPCP 1993: 278-283
15		Douglas R. Smith: Constructing Specification Morphisms. J. Symb. Comput. 15(5/6): 571-606 (1993)
	1990
14		Douglas R. Smith: KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng. 16(9): 1024-1043 (1990)
13		Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. Sci. Comput. Program. 14(2-3): 305-321 (1990)
	1989
12		Douglas R. Smith, Michael R. Lowry: Algorithm Theories and Design Tactics. MPC 1989: 379-398
	1987
11		Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425
10		Douglas R. Smith: Applications of a Strategy for Designing Divide-and-Conquer Algorithms. Sci. Comput. Program. 8(3): 213-229 (1987)
	1985
9		Douglas R. Smith: Reasoning by Cases and the Formation of Conditional Programs. IJCAI 1985: 215-218
8		Douglas R. Smith: Top-Down Synthesis of Divide-and-Conquer Algorithms. Artif. Intell. 27(1): 43-96 (1985)
7		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)
6		Douglas R. Smith: The Design of Divide and Conquer Algorithms. Sci. Comput. Program. 5(1): 37-58 (1985)
	1984
5		Douglas R. Smith: Random Trees and the Analysis of Branch and Bound Procedures. J. ACM 31(1): 163-188 (1984)
	1983
4		Douglas R. Smith: A Problem Reduction Approach to Program Synthesis. IJCAI 1983: 32-36
	1982
3		Douglas R. Smith: Derived Preconditions and Their Use in Program Synthesis. CADE 1982: 172-193
	1981
2		Douglas R. Smith: A Design for an Automatic Programming System. IJCAI 1981: 1027-1029
	1977
1		Alan W. Biermann, Douglas R. Smith: The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress 1977: 41-45

Coauthor Index

1	Jean-Raymond Abrial	[40]
2	Thomas Ball	[39]
3	Don S. Batory	[40]
4	Bernhard Beckert	[39]
5	Alan W. Biermann	[1]
6	Lee Blaine	[25]
7	Mark H. Burstein	[22] [27] [28] [29] [34]
8	Michael J. Butler	[40]
9	Alessandro Coglio	[40]
10	Kathi Fisler	[40]
11	René Gibson	[33]
12	Limei Gilham	[25]
13	Carla P. Gomes	[24]
14	Cordell Green	[39]
15	Reiner Hähnle	[39]
16	Eric C. R. Hehner	[40]
17	C. A. R. Hoare (Tony Hoare)	[39]
18	Cliff B. Jones	[40]
19	Simon L. Peyton Jones	[40]
20	Gordon Kotik	[7]
21	Gary T. Leavens	[40]
22	Junbo Liu	[25]
23	Michael R. Lowry	[12] [13]
24	Drew V. McDermott	[27] [28] [29] [34]
25	Dale Miller	[40]
26	Dusko Pavlovic	[30] [31] [32] [35] [44]
27	Peter Pepper	[23] [35] [44]
28	Xiaolei Qian	[11]
29	Sriram K. Rajamani	[39]
30	Silvio Ranise	[39]
31	Murali Sitaraman	[40]
32	Aaron Stump	[40]
33	Granger G. Sutton	[43]
34	Cesare Tinelli	[39]
35	Stephen J. Westfold	[7] [20] [24] [25] [34]
36	James A. Yorke	[43]
37	Aleksey V. Zimin	[43]

Colors in the list of coauthors