Thomas Ellman

According to our database, Thomas Ellman authored at least 20 papers between 1985 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).

Thomas Ellman, Andrea Zisman

Autom. Softw. Eng., 2007

2006

Specification and synthesis of hybrid automata for physics-based animation.

Thomas Ellman

Autom. Softw. Eng., 2006

2005

Introduction to the Special Volume on Reformulation.

Thomas Ellman, Fausto Giunchiglia

Artif. Intell., 2005

2nd Workshop on the state of the art in automated software engineering.

Andrea Zisman, Thomas Ellman

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2003

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

2002

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation.

Thomas Ellman, Ryan Deak, Jason Fotinatos

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Special Issue of the journal Artificial Intelligence on Reformulation.

Thomas Ellman, Fausto Giunchiglia

Artif. Intell., 2001

2000

Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction.

Thomas Ellman

Proceedings of the Abstraction, 2000

1998

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.

Thomas Ellman, Takahiro Murata

Autom. Softw. Eng., 1998

Learning to set up numerical optimizations of engineering designs.

Mark Schwabacher, Thomas Ellman, Haym Hirsh

Artif. Intell. Eng. Des. Anal. Manuf., 1998

1997

Multilevel modelling for engineering design optimization.

Thomas Ellman, John Eric Keane, Mark Schwabacher, Ke-Thia Yao

Artif. Intell. Eng. Des. Anal. Manuf., 1997

1996

Inductive learning for engineering design optimization.

Mark Schwabacher, Thomas Ellman, Haym Hirsh

Artif. Intell. Eng. Des. Anal. Manuf., 1996

Knowledge-based re-engineering of legacy programs for robustness in automated design.

John Eric Keane, Thomas Ellman

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1995

A Transformation System for Interactive Reformulation of Design Optimization Strategies.

Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher

Proceedings of the Proceedings KBSE'95, 1995

1993

Abstraction via Approximate Symmetry.

Thomas Ellman

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects.

Thomas Ellman

Proceedings of the Machine Learning, 1993

Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design.

Thomas Ellman, John Eric Keane, Mark Schwabacher

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1989

Explanation-Based Learning: A Survey of Programs and Perspectives.

Thomas Ellman

ACM Comput. Surv., 1989

1988

Approximate Theory Formation: An Explanation-Based Approach.

Thomas Ellman

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1985

Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.

Thomas Ellman

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985