Douglas R. Smith

2008
44	EE	Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314
43	EE	Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke: Assembly reconciliation. Bioinformatics 24(1): 42-45 (2008)
2007
42	EE	Douglas R. Smith: Requirement enforcement by transformation automata. FOAL 2007: 5-14
2006
41	EE	Douglas R. Smith: Composition by Colimit and Formal Software Development. Essays Dedicated to Joseph A. Goguen 2006: 317-332
40	EE	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	EE	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	EE	Douglas R. Smith: Comprehension by Derivation. IWPC 2005: 3-9
37	EE	Douglas R. Smith: Generating Programs Plus Proofs by Refinement. VSTTE 2005: 182-188
2004
36	EE	Douglas R. Smith: A Generative Approach to Aspect-Oriented Programming. GPCE 2004: 39-54
2003
35	EE	Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597
34	EE	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	EE	Dusko Pavlovic, Douglas R. Smith: Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286
31	EE	Dusko Pavlovic, Douglas R. Smith: Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425
2001
30	EE	Dusko Pavlovic, Douglas R. Smith: Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165
29	EE	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	EE	Mark H. Burstein, Drew V. McDermott, Douglas R. Smith: Derivation of glue code for agent interoperation. Agents 2000: 277-284
26	EE	Douglas R. Smith: Software synthesis and applications (abstract only). FMSP 2000: 73
1998
25	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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