Thomas W. Lynch

According to our database, Thomas W. Lynch authored at least 10 papers between 1991 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Processing SPARQL Queries on Deep Web Sources.

Andrea Calì, Tommaso Di Noia, Thomas Walker Lynch, Azzurra Ragone

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

2015

Towards a Better Understanding of CAR, CDR, CADR and the Others.

Thomas W. Lynch

CoRR, 2015

Processing Keyword Queries Under Access Limitations.

Andrea Calì, Thomas W. Lynch, Davide Martinenghi, Riccardo Torlone

Proceedings of the Semantic Keyword-Based Search on Structured Data Sources, 2015

2011

More Jabber about the Collatz Conjecture and a Closed Form for Detecting Cycles on Special Subsequences [Assertion: Collatz cycles].

Thomas W. Lynch

CoRR, 2011

1998

A Mechanically Checked Proof of the AMD5_K86^TM Floating Point Division Program.

J Strother Moore, Thomas W. Lynch, Matt Kaufmann

IEEE Trans. Computers, 1998

1996

Software for high radix on-line arithmetic.

Thomas W. Lynch, Michael J. Schulte

Reliab. Comput., 1996

1995

A High Radix On-Line Arithmetic for Credible and Accurate Computing.

Thomas W. Lynch, Michael J. Schulte

J. Univers. Comput. Sci., 1995

The K5 transcendental functions.

Thomas W. Lynch, Ashraf Ahmed, Michael J. Schulte, Thomas K. Callaway, Robert Tisdale

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1992

A Spanning Tree Carry Lookahead Adder.

Thomas W. Lynch, Earl E. Swartzlander Jr.

IEEE Trans. Computers, 1992

1991

The redundant cell adder.

Thomas W. Lynch, Earl E. Swartzlander Jr.

Proceedings of the 10th IEEE Symposium on Computer Arithmetic, 1991