| 2019 | ARITH | Precise and Concise Graphical Representation of the Natural Numbers. | David W. Matula, Zizhen Chen |
| 2017 | DCOSS | Bipartite Grid Partitioning of a Random Geometric Graph. | Zizhen Chen, David W. Matula |
| 2011 | ARITH | A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal. | David W. Matula, Mihai T. Panu |
| 2010 | ALENEX | Employing (1 - epsilon) Dominating Set Partitions as Backbones in Wireless Sensor Networks. | Dhia Mahjoub, David W. Matula |
| 2010 | DCOSS | Building (1 - | Dhia Mahjoub, David W. Matula |
| 2009 | ARITH | Higher Radix Squaring Operations Employing Left-to-Right Dual Recoding. | David W. Matula |
| 2008 | ACSSC | A low power radix-4 dual recoded integer squaring implementation for use in design of application specific arithmetic circuits. | Jason Moore, Mitchell A. Thornton, David W. Matula |
| 2006 | DATE | A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division. | David W. Matula, Lee D. McFearin |
| 2005 | AICCSA | Determining all pairs edge connectivity of a 4-regular graph in O(|V|). | Alex Fit-Florea, David W. Matula |
| 2005 | ARITH | Single Precision Reciprocals by Multipartite Table Lookup. | Peter Kornerup, David W. Matula |
| 2005 | ARITH | Table Lookup Structures for Multiplicative Inverses Modulo 2 | David W. Matula, Alex Fit-Florea, Mitchell Aaron Thornton |
| 2003 | ARITH | Computer Arithmetic - An Algorithm Engineer's Perspective. | David W. Matula |
| 2003 | ARITH | Prescaled Integer Division. | David W. Matula, Alex Fit-Florea |
| 2001 | ARITH | Improved Table Lookup Algorithms for Postscaled Division. | David W. Matula |
| 2001 | ARITH | Generation and Analysis of Hard to Round Cases for Binary Floating Point Division. | Lee D. McFearin, David W. Matula |
| 2001 | ARITH | Binary Multiplication Radix-32 and Radix-256. | Peter-Michael Seidel, Lee D. McFearin, David W. Matula |
| 2001 | ICCD | Selecting A Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division. | Lee D. McFearin, David W. Matula |
| 1999 | ARITH | On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal. | Cristina Iordache, David W. Matula |
| 1999 | COMPSAC | Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network. | Hakki C. Cankaya, David W. Matula, Mihaela Iridon |
| 1998 | ICCCN | Symmetric Cellular Network Embeddings on a Torus. | Mihaela Iridon, David W. Matula |
| 1997 | ARITH | Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. | David W. Matula, Asger Munk Nielsen |
| 1997 | ARITH | Pipelined Packet-Forwarding Floating Point: II. An Adder. | Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even |
| 1997 | ARITH | Faithful Interpolation in Reciprocal Tables. | Debjit Das Sarma, David W. Matula |
| 1995 | ARITH | Redundant Binary Booth Recoding. | Chung Nan Lyu, David W. Matula |
| 1995 | ARITH | Faithful Bipartite ROM Reciprocal Tables. | Debjit Das Sarma, David W. Matula |
| 1993 | ARITH | A 17 69 bit multiply and add unit with redundant binary feedback and single cycle latency. | W. S. Briggs, David W. Matula |
| 1993 | ARITH | Design of a fast validated dot product operation. | Marc Daumas, David W. Matula |
| 1993 | ARITH | Measuring the accuracy of ROM reciprocal tables. | Debjit Das Sarma, David W. Matula |
| 1993 | SODA | A Linear Time 2+epsilon Approximation Algorithm for Edge Connectivity. | David W. Matula |
| 1991 | ARITH | Semantics for exact floating point operations. | Gerd Bohlender, Wolfgang Walter, Peter Kornerup, David W. Matula |
| 1991 | ARITH | A redundant binary Euclidean GCD algorithm. | Shrikant N. Parikh, David W. Matula |
| 1989 | ARITH | Exploiting redundancy in bit-pipelined rational arithmetic. | Peter Kornerup, David W. Matula |
| 1987 | ARITH | A bit-serial arithmetic unit for rational arithmetic. | Peter Kornerup, David W. Matula |
| 1987 | FOCS | Determining Edge Connectivity in O(nm) | David W. Matula |
| 1985 | ARITH | Finite precision lexicographic continued fraction number systems. | Peter Kornerup, David W. Matula |
| 1983 | ARITH | An order preserving finite binary encoding of the rationals. | David W. Matula, Peter Kornerup |
| 1981 | ARITH | An integrated rational arithmetic unit. | Peter Kornerup, David W. Matula |
| 1978 | ARITH | A feasibility analysis of fixed-slash rational arithmetic. | Peter Kornerup, David W. Matula |
| 1978 | ARITH | Basic digit sets for radix representation of the integers. | David W. Matula |
| 1978 | ARITH | A feasibility analysis of binary fixed-slash and floating-slash number systems. | David W. Matula, Peter Kornerup |
| 1975 | ARITH | Base conversion in residue number systems. | Robert T. Gregory, David W. Matula |
| 1975 | ARITH | Fixed-slash and floating-slash rational arithmetic. | David W. Matula |
| 1972 | ARITH | A simulative study of correlated error propagation in various finite arithmetics. | John D. Marasa, David W. Matula |
| 1972 | ARITH | Foundations of finite precision arithmetic. | David W. Matula |
| 1970 | SIGCSE | The emergence of computational arithmetic as a component of the computer science curriculum. | David W. Matula |