Thomas Ellman

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