Douglas R. Smith
According to our database1, Douglas R. Smith authored at least 61 papers between 1977 and 2019.
Legend:Book In proceedings Article PhD thesis Dataset Other
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Proceedings First Workshop on Synthesis, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Synthesis of Greedy Algorithms Using Dominance Relations.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Tactical Synthesis of Efficient Global Search Algorithms.
Proceedings of the First NASA Formal Methods Symposium, 2009
Proceedings of the Software Synthesis, 06.12. - 11.12.2009, 2009
Adaptive Synthetic Jet Actuator Compensation for A Nonlinear Aircraft Model at Low Angles of Attack.
IEEE Trans. Control. Syst. Technol., 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007
IEEE Intell. Syst., 2006
Proceedings of the Generative Programming and Component Engineering, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack.
Proceedings of the American Control Conference, 2006
Proceedings of the Verified Software: Theories, 2005
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005
Proceedings of the American Control Conference, 2005
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
Auton. Agents Multi Agent Syst., 2003
Proceedings of the Verification: Theory and Practice, 2003
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000
Proceedings of the Fourth International Conference on Autonomous Agents, 2000
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
Sci. Comput. Program., 1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996
Proceedings of the 18th International Conference on Software Engineering, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996
Synthesis of Constraint Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 1993
Towards the Synthesis of Constraint Propagation Algorithms.
Proceedings of the Logic Program Synthesis and Transformation, 1993
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993
Track assignment in an air traffic control system: a rational reconstruction of system design.
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992
Sci. Comput. Program., 1987
Proceedings of the VLDB'87, 1987
IEEE Trans. Software Eng., 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Proceedings of the 6th Conference on Automated Deduction, 1982
A Design for an Automatic Programming System.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
IEEE Trans. Syst. Man Cybern., 1979
The Hierarchical Synthesis of Lisp Scanning Programs.
Proceedings of the Information Processing, 1977