dblp.uni-trier.dewww.uni-trier.de

Douglas R. Smith Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)