Search the dblp DataBase

Publications of Author

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