Travelled to:1 × Canada
1 × Sweden
1 × USA
1 × United Kingdom
Collaborated with:∅ T.Murata J.Keane R.Deak J.Fotinatos J.E.Keane M.Schwabacher
Talks about:synthesi (5) base (5) program (3) physic (3) anim (3) knowledg (2) automata (2) system (2) specif (2) hybrid (2)
♂ Person: Thomas Ellman
DBLP: Ellman:Thomas
Facilitated 2 volumes:
EdPrChContributed to:
2003
2003200219961995
1993Wrote 7 papers:
- ASE-2003-Ellman #animation #automaton #hybrid #specification #synthesis
- Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.
- LOPSTR-2003-Ellman #animation #automaton #hybrid #specification #synthesis
- Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 54–55.
- ASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis
- Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.
- KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis
- Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
- KBSE-1996-KeaneE #automation #design #knowledge-based #legacy #re-engineering #robust #source code
- Knowledge-Based Re-engineering of Legacy Programs for Robustness in Automated Design (JK, TE), p. 16.
- KBSE-1995-EllmanKMS #design #interactive #optimisation
- A Transformation System for Interactive Reformulation of Design Optimization Strategies (TE, JEK, TM, MS), pp. 44–51.
- ICML-1993-Ellman #abstraction #approximate #clustering #constraints #synthesis
- Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects (TE), pp. 104–111.