dblp.uni-trier.dewww.uni-trier.de

Thomas Ellman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
20EEThomas 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
19EEThomas 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
17EEAndrea Zisman, Thomas Ellman: 2nd Workshop on the state of the art in automated software engineering. ASE 2005: 464
16EEThomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)
2003
15EEThomas Ellman: Specification and Synthesis of Hybrid Automata for Physics-Based Animation. ASE 2003: 80-93
14EEThomas Ellman: Specification and Synthesis of Hybrid Automata for Physics-Based Animation. LOPSTR 2003: 54-55
13EEThomas 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
12EEThomas 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
11EEThomas Ellman, Fausto Giunchiglia: Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130(2): 231-232 (2001)
2000
10EEThomas Ellman: Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction. SARA 2000: 317-319
1998
9EEMark 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

Coauthor Index

1Ryan Deak [12] [13]
2Jason Fotinatos [12] [13]
3Fausto Giunchiglia [11] [16]
4Haym Hirsh [9]
5John Keane [6] [7]
6Takahiro Murata [7] [8]
7David F. Redmiles [18]
8Mark Schwabacher [6] [7] [9]
9Andrea Zisman [17] [18] [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)