Numerical applications: Cycle algorithms for undirected linear graphs and some immediate applications. - John T. Welch (ACM National Conference, 1965)

A new classification theory leading to automatic pattern recognition. - Orrin E. Taulbee; John T. Welch (Commun. ACM, 1966)

A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs. - John T. Welch (J. ACM, 1966)

Tab, a Program Design Language for the classroom. - John T. Welch (SIGCSE, 1976)

The clause counter map: an event chaining algorithm for online programmable logic. - John T. Welch (IEEE Trans. Robotics Autom., 1995)

Translating relay ladder logic for CCM solving. - John T. Welch (IEEE Trans. Robotics Autom., 1997)

A Direct Mapping FPGA Architecture for Industrial Process Control Applications. - John T. Welch; Joan Carletta (ICCD, 2000)