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

Symbolic Evaluation of LISP Functions with Side Effects for Verification., and . IJCAI, page 519-524. William Kaufmann, (1981)Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space., and . ECAI, page 180-182. (1982)Formal Techniques for OO Software Development (Panel)., , , , , , and . OOPSLA, page 166-170. ACM, (1991)SIGPLAN Notices 26(11).Structured Analysis and Object Oriented Analysis (Panel)., , , , , and . OOPSLA/ECOOP, page 135-139. ACM, (1990)SIGPLAN Notices 25(10).Formal techniques for object oriented software development.. OOPSLA Addendum, page 49-54. ACM, (1991)OOPS Messenger 3(4) October 1992.The OO Software Development Process (Panel)., , , , , and . OOPSLA, page 484-489. ACM, (1992)SIGPLAN Notices 27(10).Object-Oriented Experiences., and . TRI-Ada Tutorials (1), page 380-496. ACM, (1992)Extending the Statechart Formalism: Event Scheduling & Disposition., and . OOPSLA, page 1-16. ACM, (1995)OOPSLA'95, Addendum to the Proceedings: OOPS Messenger 6(4) October 1995.Challenge problem 1 without search.. SIGART Newsl., (1981)Structured analysis and object oriented analysis (panel session)., , , , , and . OOPSLA/ECOOP Addendum, page 15-17. ACM, (1990)