Thomas Ellman

	2007
22		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
21		Thomas Ellman: Specification and synthesis of hybrid automata for physics-based animation. Autom. Softw. Eng. 13(3): 395-418 (2006)
	2005
20		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
19		Andrea Zisman, Thomas Ellman: 2nd Workshop on the state of the art in automated software engineering. ASE 2005: 464
18		Thomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)
	2003
17		Thomas Ellman: Specification and Synthesis of Hybrid Automata for Physics-Based Animation. ASE 2003: 80-93
16		Thomas Ellman: Specification and Synthesis of Hybrid Automata for Physics-Based Animation. LOPSTR 2003: 54-55
15		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
14		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
13		Thomas Ellman, Fausto Giunchiglia: Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130(2): 231-232 (2001)
	2000
12		Thomas Ellman: Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. SARA 2000: 317-319
	1998
11		Mark Schwabacher, Thomas Ellman, Haym Hirsh: Learning to set up numerical optimizations of engineering designs. AI EDAM 12(2): 173-192 (1998)
10		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)
	1997
9		Thomas Ellman, John Eric Keane, Mark Schwabacher, Ke-Thia Yao: Multilevel modelling for engineering design optimization. AI EDAM 11(5): 357-378 (1997)
	1996
8		Mark Schwabacher, Thomas Ellman, Haym Hirsh: Inductive learning for engineering design optimization. AI EDAM 10(2): 179-180 (1996)
	1995
7		Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher: A Transformation System for Interactive Reformulation of Design Optimization Strategies. KBSE 1995: 44-51
	1993
6		Thomas Ellman, John Eric 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

Coauthor Index

1	Ryan Deak	[14] [15]
2	Jason Fotinatos	[14] [15]
3	Fausto Giunchiglia	[13] [18]
4	Haym Hirsh	[8] [11]
5	John Eric Keane	[6] [7] [9]
6	Takahiro Murata	[7] [10]
7	David F. Redmiles	[20]
8	Mark Schwabacher	[6] [7] [8] [9] [11]
9	Ke-Thia Yao	[9]
10	Andrea Zisman	[19] [20] [22]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page