The redundant cell adder. - Thomas W. Lynch; Earl E. Swartzlander Jr. (IEEE Symposium on Computer Arithmetic, 1991)

A Spanning Tree Carry Lookahead Adder. - Thomas W. Lynch; Earl E. Swartzlander Jr. (IEEE Trans. Computers, 1992)

The K5 transcendental functions. - Thomas W. Lynch; Ashraf Ahmed; Michael J. Schulte; Thomas K. Callaway; Robert Tisdale (IEEE Symposium on Computer Arithmetic, 1995)

A High Radix On-Line Arithmetic for Credible and Accurate Computing. - Thomas W. Lynch; Michael J. Schulte (J. Univers. Comput. Sci., 1995)

Software for high radix on-line arithmetic. - Thomas W. Lynch; Michael J. Schulte (Reliab. Comput., 1996)

A Mechanically Checked Proof of the AMD5K86TM Floating Point Division Program. - J Strother Moore; Thomas W. Lynch; Matt Kaufmann (IEEE Trans. Computers, 1998)

More Jabber about the Collatz Conjecture and a Closed Form for Detecting Cycles on Special Subsequences [Assertion: Collatz cycles]. - Thomas W. Lynch (CoRR, 2011)

Processing Keyword Queries Under Access Limitations. - Andrea Calì; Thomas W. Lynch; Davide Martinenghi; Riccardo Torlone (International KEYSTONE Conference, 2015)

Towards a Better Understanding of CAR, CDR, CADR and the Others. - Thomas W. Lynch (CoRR, 2015)

Processing SPARQL Queries on Deep Web Sources. - Andrea Calì; Tommaso Di Noia; Thomas Walker Lynch; Azzurra Ragone (SEBD, 2018)