Consistency of n-order logics. - William J. Thomas (Notre Dame J. Formal Log., 1976)

A simple generalization of Turing computability. - William J. Thomas (Notre Dame J. Formal Log., 1979)

Pin Limitations and Partitioning of VLSI Interconnection Networks. - Mark A. Franklin; Donald F. Wann; William J. Thomas (IEEE Trans. Computers, 1982)

Prospective active marker motion correction improves statistical power in BOLD fMRI. - Jordan Muraskin; Melvyn B. Ooi; Robin Goldman; Sascha Krueger; William J. Thomas; Paul Sajda; Truman R. Brown (NeuroImage, 2013)