Author of the publication

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

Overview of an Approach to Representation Design., and . AAAI, page 392-397. AAAI Press / The MIT Press, (1988)The Role of Reversible Grammars in Translating Between Representation Languages., and . KR, page 562-571. Morgan Kaufmann, (1994)Automated Protocol Analysis in Maude., and . FAABS, volume 2699 of Lecture Notes in Computer Science, page 68-78. Springer, (2002)META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems., and . KBSE, page 2-10. IEEE Computer Society, (1995)Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems., and . LOPSTR, volume 1559 of Lecture Notes in Computer Science, page 61-70. Springer, (1998)Steps towards a theory of representation design.. Massachusetts Institute of Technology, Cambridge, MA, USA, (1988)ndltd.org (oai:dspace.mit.edu:1721.1/39952).Amphion/NAV: Deductive Synthesis of State Estimation Software., , , , , , , , and . ASE, page 395-399. IEEE Computer Society, (2001)Automated Procedure Construction for Deductive Synthesis., and . Autom. Softw. Eng., 12 (4): 393-414 (2005)The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.. KR, page 514-525. Morgan Kaufmann, (1991)Experience Report on Automated Procedure Construction for Deductive Synthesis., and . ASE, page 69-. IEEE Computer Society, (2002)