| 2007 |
|---|
| 20 | EE | 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): 127-128 (2007) |
| 2006 |
|---|
| 19 | EE | Thomas Ellman:
Specification and synthesis of hybrid automata for physics-based animation.
Autom. Softw. Eng. 13(3): 395-418 (2006) |
| 2005 |
|---|
| 18 | | David F. Redmiles,
Thomas Ellman,
Andrea Zisman:
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA
ACM 2005 |
| 17 | EE | Andrea Zisman,
Thomas Ellman:
2nd Workshop on the state of the art in automated software engineering.
ASE 2005: 464 |
| 16 | EE | Thomas Ellman,
Fausto Giunchiglia:
Introduction to the Special Volume on Reformulation.
Artif. Intell. 162(1-2): 3-5 (2005) |
| 2003 |
|---|
| 15 | EE | Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation.
ASE 2003: 80-93 |
| 14 | EE | Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation.
LOPSTR 2003: 54-55 |
| 13 | EE | 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): 367-398 (2003) |
| 2002 |
|---|
| 12 | EE | Thomas Ellman,
Ryan Deak,
Jason Fotinatos:
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation.
ASE 2002: 93- |
| 2001 |
|---|
| 11 | EE | Thomas Ellman,
Fausto Giunchiglia:
Special Issue of the journal Artificial Intelligence on Reformulation.
Artif. Intell. 130(2): 231-232 (2001) |
| 2000 |
|---|
| 10 | EE | Thomas Ellman:
Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction.
SARA 2000: 317-319 |
| 1998 |
|---|
| 9 | EE | Mark Schwabacher,
Thomas Ellman,
Haym Hirsh:
Learning to set up numerical optimizations of engineering designs.
AI EDAM 12(2): 173-192 (1998) |
| 8 | | Thomas Ellman,
Takahiro Murata:
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.
Autom. Softw. Eng. 5(3): 291-319 (1998) |
| 1995 |
|---|
| 7 | | Thomas Ellman,
John Keane,
Takahiro Murata,
Mark Schwabacher:
A Transformation System for Interactive Reformulation of Design Optimization Strategies.
KBSE 1995: 44-51 |
| 1993 |
|---|
| 6 | | Thomas Ellman,
John Keane,
Mark Schwabacher:
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design.
AAAI 1993: 594-599 |
| 5 | | Thomas Ellman:
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects.
ICML 1993: 104-111 |
| 4 | | Thomas Ellman:
Abstraction via Approximate Symmetry.
IJCAI 1993: 916-921 |
| 1989 |
|---|
| 3 | | Thomas Ellman:
Explanation-Based Learning: A Survey of Programs and Perspectives.
ACM Comput. Surv. 21(2): 163-221 (1989) |
| 1988 |
|---|
| 2 | | Thomas Ellman:
Approximate Theory Formation: An Explanation-Based Approach.
AAAI 1988: 570-574 |
| 1985 |
|---|
| 1 | | Thomas Ellman:
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.
IJCAI 1985: 643-646 |
