Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. - Laurent Siklóssy; John W. Roach (IJCAI, 1973)

Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers. - Laurent Siklóssy; John W. Roach (IFIP Congress, 1974)

Model Verification and Improvement Using DISPROVER. - Laurent Siklóssy; John W. Roach (Artif. Intell., 1975)

Computer Tracking of Objects Moving in Space. - John W. Roach; J. K. Aggarwal (IEEE Trans. Pattern Anal. Mach. Intell., 1979)

DMS: A comprehensive system for managing human-computer dialogue. - John W. Roach; H. Rex Hartson; Roger W. Ehrich; Tamer Yunten; Deborah H. Johnson (CHI, 1982)

A Prolog Simulation of Migration Decision Making in a Less Developed Country. - John W. Roach; Theodore D. Fuller (ICLP, 1982)

Formal specifications for modeling and developing human/computer interfaces. - John W. Roach; M. Nickson (CHI, 1983)

Improved Visual Design for Graphics Display. - Susan S. Reilly; John W. Roach (IEEE Computer Graphics and Applications, 1984)

Spherical dual images: A 3D representation method for solid objects that combines dual space and Gaussian spheres. - John W. Roach; Jeffrey S. Wright (ICRA, 1986)

A CAD System Based on Spherical Dual Representations. - John W. Roach; Praveen K. Paripati; Jeffrey S. Wright (Computer, 1987)

Representing and Using Metacommunication to Control Speakers' Relationships in Natural-Language Dialogue. - David L. Sanford; John W. Roach (Int. J. Man Mach. Stud., 1987)

Coordinating the motions of robot arms in a common workspace. - John W. Roach; Michael N. Boaz (IEEE J. Robotics Autom., 1987)

Using domain knowledge in low-level visual processing to interpret handwritten music: An experiment. - John W. Roach; J. E. Tatem (Pattern Recognit., 1988)

A theory of dialogue structures to help manage human-computer interaction. - David L. Sanford; John W. Roach (IEEE Trans. Syst. Man Cybern., 1988)

A Theoretical Analysis of Conjunctive-Goal Problems. - David Joslin 002; John W. Roach (Artif. Intell., 1989)

Spatial planning for musical output. - J. E. Tatem; J. R. Sochinski; John W. Roach (Int. J. Intell. Syst., 1989)

Model-based object recognition using a large-field passive tactile sensor. - John W. Roach; Praveen K. Paripati; Michael Wade (IEEE Trans. Syst. Man Cybern., 1989)

Hoist: A Second-Generation Expert System Based on Qualitative Physics. - J. Douglass Whitehead; John W. Roach (AI Mag., 1990)

Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness. - John W. Roach; R. Sundararajan; Layne T. Watson (J. Autom. Reason., 1990)

Representing Polyhedra: Faces Are Better Than Vertices. - Lenwood S. Heath; Praveen K. Paripati; John W. Roach (Comput. Geom., 1993)