The Experimental Compiling System. - Frances E. Allen; J. Lawrence Carter; Janet Fabri; Jeanne Ferrante; William H. Harrison; Paul G. Loewner; Louise Trevillyan (IBM J. Res. Dev., 1980)

A Note on the Existence of Continuous Functionals. - J. Lawrence Carter; Ronald Fagin (Theor. Comput. Sci., 1981)

The Theory of Signature Testing for VLSI - J. Lawrence Carter (STOC, 1982)

A Vote in Favor of Fault Simulation. - J. Lawrence Carter (ITC, 1984)

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)

Restricted symbolic evaluation is fast and useful. - J. Lawrence Carter; Barry K. Rosen; Gordon L. Smith; Vijay Pitchumani (ICCAD, 1989)

Optimal Tradeoffs for Addition on Systolic Arrays. - Alok Aggarwal; J. Lawrence Carter; S. Rao Kosaraju (Algorithmica, 1991)