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

A Method for Automatically Analyzing Programs.. IJCAI, page 935-941. William Kaufmann, (1979)A Knowledge-Based Program Editor.. IJCAI, page 920-926. William Kaufmann, (1981)System validation via constraint modeling.. ACM SIGPLAN Notices, 26 (8): 27-36 (1991)QOTA: A Fast, Multi-Purpose Algorithm for Terrain Following in Virtual Environments., and . VRML, page 59-. ACM, (1997)Using obviously synchronizable series expressions instead of loops.. ICCL, page 338-346. IEEE Computer Society, (1988)The Requirements Apprentice: Automated Assistance for Requirements Acquisition., and . IEEE Trans. Software Eng., 17 (3): 226-240 (1991)Program editors should not abandon text oriented commands.. ACM SIGPLAN Notices, 17 (7): 39-46 (1982)The programmer's apprentice, and . Computer, 21 (11): 10--25 (November 1988)A Short Note on the History of Graph Drawing., , , and . GD, volume 2265 of Lecture Notes in Computer Science, page 272-286. Springer, (2001)Design of the Interactive Sharing Transfer Protocol., , and . WETICE, page 140-147. IEEE Computer Society, (1997)