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 |