The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Ellman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.025secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002