Douglas R. Smith

Available identifiers

Publication	Date of Publication	Type
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms	2012-11-08	Paper
Guarded Transitions in Evolving Specifications	2011-05-06	Paper
A Class of Greedy Algorithms and Its Relation to Greedoids	2010-08-31	Paper
Formal Derivation of Concurrent Garbage Collectors	2010-07-26	Paper
Experimental study of the formation and scaling of a round synthetic jet	2008-11-03	Paper
Composition by Colimit and Formal Software Development	2007-09-07	Paper
Synthesis of efficient constraint-satisfaction programs	2003-01-14	Paper
Designware: Software development by refinement	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4499220	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4934624	2000-01-17	Paper
Constructing specification morphisms	1994-05-09	Paper
Algorithm theories and design tactics	1990-01-01	Paper
Applications of a strategy for designing divide-and-conquer algorithms	1987-01-01	Paper
The design of divide and conquer algorithms	1985-01-01	Paper
Top-down synthesis of divide-and-conquer algorithms	1985-01-01	Paper
Random Trees and the Analysis of Branch and Bound Procedures	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939266	1982-01-01	Paper
A Production Rule Mechanism for Generating LISP Code	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138111	1977-01-01	Paper

This page was built for person: Douglas R. Smith