Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. - Thomas Ellman (IJCAI, 1985)

Approximate Theory Formation: An Explanation-Based Approach. - Thomas Ellman (AAAI, 1988)

Explanation-Based Learning: A Survey of Programs and Perspectives. - Thomas Ellman (ACM Comput. Surv., 1989)

Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. - Thomas Ellman; John Eric Keane; Mark Schwabacher (AAAI, 1993)

Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects. - Thomas Ellman (ICML, 1993)

Abstraction via Approximate Symmetry. - Thomas Ellman (IJCAI, 1993)

A Transformation System for Interactive Reformulation of Design Optimization Strategies. - Thomas Ellman; John Eric Keane; Takahiro Murata; Mark Schwabacher (KBSE, 1995)

Knowledge-based re-engineering of legacy programs for robustness in automated design. - John Eric Keane; Thomas Ellman (KBSE, 1996)

Inductive learning for engineering design optimization. - Mark Schwabacher; Thomas Ellman; Haym Hirsh (Artif. Intell. Eng. Des. Anal. Manuf., 1996)

Multilevel modelling for engineering design optimization. - Thomas Ellman; John Eric Keane; Mark Schwabacher; Ke-Thia Yao (Artif. Intell. Eng. Des. Anal. Manuf., 1997)

Learning to set up numerical optimizations of engineering designs. - Mark Schwabacher; Thomas Ellman; Haym Hirsh (Artif. Intell. Eng. Des. Anal. Manuf., 1998)

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations. - Thomas Ellman; Takahiro Murata (Autom. Softw. Eng., 1998)

Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. - Thomas Ellman (SARA, 2000)

Special Issue of the journal Artificial Intelligence on Reformulation. - Thomas Ellman; Fausto Giunchiglia (Artif. Intell., 2001)

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. - Thomas Ellman; Ryan Deak; Jason Fotinatos (ASE, 2002)

Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation. - Thomas Ellman; Ryan Deak; Jason Fotinatos (Autom. Softw. Eng., 2003)

2nd Workshop on the state of the art in automated software engineering. - Andrea Zisman; Thomas Ellman (ASE, 2005)

Introduction to the Special Volume on Reformulation. - Thomas Ellman; Fausto Giunchiglia (Artif. Intell., 2005)

Specification and synthesis of hybrid automata for physics-based animation. - Thomas Ellman (Autom. Softw. Eng., 2006)

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). - Thomas Ellman; Andrea Zisman (Autom. Softw. Eng., 2007)