Thomas Ellman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2007

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE 2005)Thomas Ellman, Andrea Zisman. ASE, 14(2):127-128, 2007. [doi]

2006

Specification and synthesis of hybrid automata for physics-based animationThomas Ellman. ASE, 13(3):395-418, 2006. [doi]

2005

Introduction to the Special Volume on ReformulationThomas Ellman, Fausto Giunchiglia. ai, 162(1-2):3-5, 2005. [doi]

2nd Workshop on the state of the art in automated software engineeringAndrea Zisman, Thomas Ellman. ASE 2005: 464 [doi]

2003

Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based AnimationThomas Ellman, Ryan Deak, Jason Fotinatos. ASE, 10(4):367-398, 2003. [doi]

Specification and Synthesis of Hybrid Automata for Physics-Based AnimationThomas Ellman. ASE 2003: 80-93 [doi]

Specification and Synthesis of Hybrid Automata for Physics-Based AnimationThomas Ellman. LOPSTR 2004: 54-55 [doi]

2002

Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based AnimationThomas Ellman, Ryan Deak, Jason Fotinatos. ASE 2002: 93 [doi]

2001

Special Issue of the journal Artificial Intelligence on ReformulationThomas Ellman, Fausto Giunchiglia. ai, 130(2):231-232, 2001. [doi]

2000

Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint SatisfactionThomas Ellman. sara 2000: 317-319 [doi]

1998

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential EquationsThomas Ellman, Takahiro Murata. ASE, 5(3):291-319, 1998.

Learning to set up numerical optimizations of engineering designsMark Schwabacher, Thomas Ellman, Haym Hirsh. aiedam, 12(2):173-192, 1998. [doi]

1997

Multilevel modelling for engineering design optimizationThomas Ellman, John Eric Keane, Mark Schwabacher, Ke-Thia Yao. aiedam, 11(5):357-378, 1997. [doi]

1996

Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equationsThomas Ellman, Takahiro Murata. ASE 1996: 2-11 [doi]

Knowledge-based re-engineering of legacy programs for robustness in automated designJohn Eric Keane, Thomas Ellman. ASE 1996: 104-113 [doi]

Inductive learning for engineering design optimizationMark Schwabacher, Thomas Ellman, Haym Hirsh. aiedam, 10(2):179-180, 1996. [doi]

1995

A Transformation System for Interactive Reformulation of Design Optimization StrategiesThomas Ellman, John Keane, Takahiro Murata, Mark Schwabacher. jckbse 1995: 44-51

1993

Abstraction via Approximate SymmetryThomas Ellman. IJCAI 1993: 916-921

Intelligent Model Selection for Hillclimbing Search in Computer-Aided DesignThomas Ellman, John Keane, Mark Schwabacher. AAAI 1993: 594-599

Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent ObjectsThomas Ellman. icml 1993: 104-111

1989

Explanation-Based Learning: A Survey of Programs and PerspectivesThomas Ellman. ACM Comput. Surv., 21(2):163-221, 1989.

1988

Approximate Theory Formation: An Explanation-Based ApproachThomas Ellman. AAAI 1988: 570-574

1985

Generalizing Logic Circuit Designs by Analyzing Proofs of CorrectnessThomas Ellman. IJCAI 1985: 643-646

Sign in or sign up to see more results.

runs on WebDSL