Thomas Ellman

Publication Activity (10 Years)

Years Active: 1985-2007
Publications (10 Years): 0

Publications

Thomas Ellman, Andrea Zisman
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). Autom. Softw. Eng. 14 (2) (2007)
Thomas Ellman
Specification and synthesis of hybrid automata for physics-based animation. Autom. Softw. Eng. 13 (3) (2006)
Thomas Ellman, Fausto Giunchiglia
Introduction to the Special Volume on Reformulation. Artif. Intell. 162 (1-2) (2005)
Andrea Zisman, Thomas Ellman
2nd Workshop on the state of the art in automated software engineering. ASE (2005)
Thomas Ellman
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. ASE (2003)
Thomas Ellman, Ryan Deak, Jason Fotinatos
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation. Autom. Softw. Eng. 10 (4) (2003)
Thomas Ellman
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. LOPSTR (2003)
Thomas Ellman, Ryan Deak, Jason Fotinatos
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. ASE (2002)
Thomas Ellman, Fausto Giunchiglia
Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130 (2) (2001)
Thomas Ellman
Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. SARA (2000)
Mark Schwabacher, Thomas Ellman, Haym Hirsh
Learning to set up numerical optimizations of engineering designs. Artif. Intell. Eng. Des. Anal. Manuf. 12 (2) (1998)
Thomas Ellman, Takahiro Murata
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations. Autom. Softw. Eng. 5 (3) (1998)
Thomas Ellman, John Eric Keane, Mark Schwabacher, Ke-Thia Yao
Multilevel modelling for engineering design optimization. Artif. Intell. Eng. Des. Anal. Manuf. 11 (5) (1997)
Mark Schwabacher, Thomas Ellman, Haym Hirsh
Inductive learning for engineering design optimization. Artif. Intell. Eng. Des. Anal. Manuf. 10 (2) (1996)
Thomas Ellman, Takahiro Murata
Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. KBSE (1996)
John Eric Keane, Thomas Ellman
Knowledge-based re-engineering of legacy programs for robustness in automated design. KBSE (1996)
Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher
A Transformation System for Interactive Reformulation of Design Optimization Strategies. KBSE (1995)
Thomas Ellman
Abstraction via Approximate Symmetry. IJCAI (1993)
Thomas Ellman
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects. ICML (1993)
Thomas Ellman, John Eric Keane, Mark Schwabacher
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. AAAI (1993)
Thomas Ellman
Explanation-Based Learning: A Survey of Programs and Perspectives. ACM Comput. Surv. 21 (2) (1989)
Thomas Ellman
Approximate Theory Formation: An Explanation-Based Approach. AAAI (1988)
Thomas Ellman
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. IJCAI (1985)