Douglas R. Smith Coauthor index DBLP Vis pubzone.org

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

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