Thomas Ellman
According to our database1,
Thomas Ellman
authored at least 20 papers
between 1985 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).
Autom. Softw. Eng., 2007
2006
Autom. Softw. Eng., 2006
2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
2003
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation.
Autom. Softw. Eng., 2003
2002
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
2001
Artif. Intell., 2001
2000
Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction.
Proceedings of the Abstraction, 2000
1998
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.
Autom. Softw. Eng., 1998
Artif. Intell. Eng. Des. Anal. Manuf., 1998
1997
Artif. Intell. Eng. Des. Anal. Manuf., 1997
1996
Artif. Intell. Eng. Des. Anal. Manuf., 1996
Knowledge-based re-engineering of legacy programs for robustness in automated design.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996
1995
A Transformation System for Interactive Reformulation of Design Optimization Strategies.
Proceedings of the Proceedings KBSE'95, 1995
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Synthesis of Abstraction Hierarchies for Constraint Satisfaction by Clustering Approximately Equivalent Objects.
Proceedings of the Machine Learning, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1989
ACM Comput. Surv., 1989
1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985