Author of the publication

Special Issue of the journal Artificial Intelligence on Reformulation.

, and . Artif. Intell., 130 (2): 231-232 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specification and synthesis of hybrid automata for physics-based animation.. Autom. Softw. Eng., 13 (3): 395-418 (2006)Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation., , and . ASE, page 93-. IEEE Computer Society, (2002)Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations., and . KBSE, page 2-11. IEEE Computer Society, (1996)Knowledge-based re-engineering of legacy programs for robustness in automated design., and . KBSE, page 104-113. IEEE Computer Society, (1996)Abstraction via Approximate Symmetry.. IJCAI, page 916-921. Morgan Kaufmann, (1993)Introduction to the Special Volume on Reformulation., and . Artif. Intell., 162 (1-2): 3-5 (2005)Inductive learning for engineering design optimization., , and . Artif. Intell. Eng. Des. Anal. Manuf., 10 (2): 179-180 (1996)Multilevel modelling for engineering design optimization., , , and . Artif. Intell. Eng. Des. Anal. Manuf., 11 (5): 357-378 (1997)A Transformation System for Interactive Reformulation of Design Optimization Strategies., , , and . KBSE, page 44-51. IEEE Computer Society, (1995)Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction.. SARA, volume 1864 of Lecture Notes in Computer Science, page 317-319. Springer, (2000)