Thomas Ellman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1985–2003
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | LOPSTR | Specification and Synthesis of Hybrid Automata for Physics-Based Animation. | Thomas Ellman |
| 1993 | AAAI | Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. | Thomas Ellman, John Eric Keane, Mark Schwabacher |
| 1993 | ICML | Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects. | Thomas Ellman |
| 1993 | IJCAI | Abstraction via Approximate Symmetry. | Thomas Ellman |
| 1988 | AAAI | Approximate Theory Formation: An Explanation-Based Approach. | Thomas Ellman |
| 1985 | IJCAI | Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. | Thomas Ellman |