Douglas R. Smith

69 papers A* 8A 2B 5C 4Journal 19Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
UAV-based estimates of corn LAI using hyperspectral and EnMAP spectral resolutions.
Comput. Electron. Agric.
K. Colton Flynn, H. K. Chinmayi, Gurjinder S. Baath, Bala Ram Sapkota, Chris Delhom, Douglas R. Smith
2025 J jnl
Enhancing LAI estimation using multispectral imagery and machine learning: A comparison between reflectance-based and vegetation indices-based approaches.
Comput. Electron. Agric.
Sumantra Chatterjee, Gurjinder S. Baath, Bala Ram Sapkota, K. Colton Flynn, Douglas R. Smith
2024 — conf
Deductive Model Refinement.
NFM
Douglas R. Smith, Srinivas Nedunuri
2024 — ch.
Model Refinement: Generating Refinements for Algorithm and System Design.
The Practice of Formal Methods (II)
Douglas R. Smith, Srinivas Nedunuri
2019 — conf
Transformations for Generating Type Refinements.
FM Workshops (2)
Douglas R. Smith, Stephen J. Westfold
2012 B conf
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.
FM
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2012 — conf
Theory and Techniques for Synthesizing a Family of Graph Algorithms
SYNT
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
2010 C conf
A Class of Greedy Algorithms and Its Relation to Greedoids.
ICTAC
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2010 — conf
Derivational software engineering.
FoSER
Douglas R. Smith, Louis Hoebel
2010 J jnl
Formal Derivation of Concurrent Garbage Collectors
CoRR
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010 B conf
Formal Derivation of Concurrent Garbage Collectors.
MPC
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010 — conf
Synthesis of Greedy Algorithms Using Dominance Relations.
NASA Formal Methods
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
2009 — conf
09501 Abstracts Collection - Software Synthesis.
Software Synthesis
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2009 — ed.
Software Synthesis, 06.12. - 11.12.2009
Software Synthesis
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
2009 — conf
Tactical Synthesis of Efficient Global Search Algorithms.
NASA Formal Methods
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
2008 J jnl
Adaptive Synthetic Jet Actuator Compensation for A Nonlinear Aircraft Model at Low Angles of Attack.
IEEE Trans. Control. Syst. Technol.
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
2008 J jnl
Assembly reconciliation.
Bioinform.
Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke
2008 — conf
Evolving Specification Engineering.
AMAST
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2007 — conf
Requirement enforcement by transformation automata.
FOAL
Douglas R. Smith
2007 A* conf
Toward automated software development.
ASE
Douglas R. Smith
2006 C conf
Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack.
ACC
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
2006 — conf
Composition by Colimit and Formal Software Development.
Essays Dedicated to Joseph A. Goguen
Douglas R. Smith
2006 J jnl
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intell. Syst.
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006 B conf
Roadmap for enhanced languages and methods to aid verification.
GPCE
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
2005 C conf
An adaptive inverse control scheme for a synthetic jet actuator model.
ACC
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
2005 — conf
Comprehension by Derivation.
IWPC
Douglas R. Smith
2005 — conf
Generating Programs Plus Proofs by Refinement.
VSTTE
Douglas R. Smith
2004 B conf
A Generative Approach to Aspect-Oriented Programming.
GPCE
Douglas R. Smith
2003 — conf
Colimits for Concurrent Collectors.
Verification: Theory and Practice
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2003 J jnl
Derivation of Glue Code for Agent Interoperation.
Auton. Agents Multi Agent Syst.
Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold
2003 J jnl
Genome Visualization Made Fast and Simple.
Bioinform.
René Gibson, Douglas R. Smith
2002 — conf
Guarded Transitions in Evolving Specifications.
AMAST
Dusko Pavlovic, Douglas R. Smith
2002 — conf
Software Development by Refinement.
10th Anniversary Colloquium of UNU/IIST
Dusko Pavlovic, Douglas R. Smith
2001 A* conf
Composition and Refinement of Behavioral Specifications.
ASE
Dusko Pavlovic, Douglas R. Smith
2001 — conf
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.
SWWS
Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
2001 — conf
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.
The Emerging Semantic Web
Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
2001 J jnl
Synthesis of efficient constraint-satisfaction programs.
Knowl. Eng. Rev.
Stephen J. Westfold, Douglas R. Smith
2000 — conf
Derivation of glue code for agent interoperation.
Agents
Mark H. Burstein, Drew V. McDermott, Douglas R. Smith
2000 — conf
Software synthesis and applications (abstract only).
FMSP
Douglas R. Smith
1999 — conf
Designware: Software Development by Refinement.
CTCS
Douglas R. Smith
1998 A* conf
Planware - Domain-Specific Synthesis of High-Performance Schedulers.
ASE
Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold
1997 J jnl
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).
Sci. Comput. Program.
Peter Pepper, Douglas R. Smith
1997 — conf
A Transformational Approach Applied to Outage Management of Nuclear Power Plants.
HICSS (5)
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
1996 — conf
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.
AIPS
Mark H. Burstein, Douglas R. Smith
1996 A* conf
Machine Support for Software Development (Abstract).
ICSE
Douglas R. Smith
1996 A conf
Scheduling an Asynchronously Shared Resource.
CP
Douglas R. Smith, Stephen J. Westfold
1996 — conf
Synthesis of schedulers for planned shutdowns of power plants.
KBSE
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
1996 — conf
Toward a Classification Approach to Design.
AMAST
Douglas R. Smith
1993 — conf
Automating the Design of Algorithm.
Formal Program Development
Douglas R. Smith
1993 J jnl
Constructing Specification Morphisms.
J. Symb. Comput.
Douglas R. Smith
1993 — conf
Synthesis of Constraint Algorithms.
PPCP
Douglas R. Smith
1993 C conf
Towards the Synthesis of Constraint Propagation Algorithms.
LOPSTR
Douglas R. Smith
1993 — conf
Transformational approach to transportation scheduling.
KBSE
Douglas R. Smith, Eduardo A. Parra
1992 — conf
Track assignment in an air traffic control system: a rational reconstruction of system design.
KBSE
Douglas R. Smith
1990 J jnl
Algorithm Theories and Design Tactics.
Sci. Comput. Program.
Douglas R. Smith, Michael R. Lowry
1990 J jnl
KIDS: A Semiautomatic Program Development System.
IEEE Trans. Software Eng.
Douglas R. Smith
1989 B conf
Algorithm Theories and Design Tactics.
MPC
Douglas R. Smith, Michael R. Lowry
1987 J jnl
Applications of a Strategy for Designing Divide-and-Conquer Algorithms.
Sci. Comput. Program.
Douglas R. Smith
1987 A* conf
Integrity Constraint Reformulation for Efficient Validation.
VLDB
Xiaolei Qian, Douglas R. Smith
1985 A* conf
Reasoning by Cases and the Formation of Conditional Programs.
IJCAI
Douglas R. Smith
1985 J jnl
Research on Knowledge-Based Software Environments at Kestrel Institute.
IEEE Trans. Software Eng.
Douglas R. Smith, Gordon Kotik, Stephen J. Westfold
1985 J jnl
The Design of Divide and Conquer Algorithms.
Sci. Comput. Program.
Douglas R. Smith
1985 J jnl
Top-Down Synthesis of Divide-and-Conquer Algorithms.
Artif. Intell.
Douglas R. Smith
1984 J jnl
Random Trees and the Analysis of Branch and Bound Procedures.
J. ACM
Douglas R. Smith
1983 A* conf
A Problem Reduction Approach to Program Synthesis.
IJCAI
Douglas R. Smith
1982 A conf
Derived Preconditions and Their Use in Program Synthesis.
CADE
Douglas R. Smith
1981 A* conf
A Design for an Automatic Programming System.
IJCAI
Douglas R. Smith
1979 J jnl
A Production Rule Mechanism for Generating LISP Code.
IEEE Trans. Syst. Man Cybern.
Alan W. Biermann, Douglas R. Smith
1977 — conf
The Hierarchical Synthesis of Lisp Scanning Programs.
IFIP Congress
Alan W. Biermann, Douglas R. Smith