On the Definition of an Infinitely-Many-Valued Predicate Calculus. - Joseph D. Rutledge (J. Symb. Log., 1960)

Operations of finite automata - Calvin C. Elgot; Joseph D. Rutledge (SWCT, 1961)

Simulation and analysis of biochemical systems: I. representation of chemical kinetics. - David Garfinkel; Joseph D. Rutledge; Joseph J. Higgins (Commun. ACM, 1961)

Machine properties preserved under state minimization - Calvin C. Elgot; Joseph D. Rutledge (SWCT, 1962)

RS -Machines with Almost Blank Tape. - Calvin C. Elgot; Joseph D. Rutledge (J. ACM, 1964)

On Ianov's Program Schemata. - Joseph D. Rutledge (J. ACM, 1964)

Program Schemata as Automata: Part I - Joseph D. Rutledge (SWAT, 1970)

Program Schemata as Automata I. - Joseph D. Rutledge (J. Comput. Syst. Sci., 1973)

Scalar and Vector Iteration. - Stephen L. Bloom; Susanna Ginali; Joseph D. Rutledge (J. Comput. Syst. Sci., 1977)

Efficient Fault Simulation of CMOS Circuits with Accurate Models. - Zeev Barzilai; J. Lawrence Carter; Vijay S. Iyengar; Indira Nair; Barry K. Rosen; Joe D. Rutledge; Gabriel M. Silberman (ITC, 1986)

HSS–A High-Speed Simulator. - Zeev Barzilai; J. Lawrence Carter; Barry K. Rosen; Joe D. Rutledge (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

Algebraic Data Types and Object-Oriented Programming. - Eric G. Wagner; Edwin J. Selker; Joseph D. Rutledge (ADT, 1988)

Force-to-motion functions for pointing. - Joseph D. Rutledge; Ted Selker (INTERACT, 1990)

Negative inertia: a dynamic pointing function. - Robert C. Barrett; Edwin J. Selker; Joseph D. Rutledge; Robert S. Olyha Jr. (CHI 95 Conference Companion, 1995)