| 2018 | ACSSC | High-Performance Multiplication Modulo 2 | Peter-Michael Seidel |
| 2017 | LICS | Quotients in monadic programming: Projective algebras are equivalent to coalgebras. | Dusko Pavlovic, Peter-Michael Seidel |
| 2015 | ACSSC | A parametric error analysis of Goldschmidt's square-root algorithm. | Peter-Michael Seidel |
| 2013 | ARITH | The Floating-Point Unit of the Jaguar x86 Core. | Jeff Rupley, John King, Eric Quinnell, Frank Galloway, Ken Patton, Peter-Michael Seidel, James Dinh, Hai Bui, Anasua Bhowmik |
| 2010 | ICCD | Welcome to ICCD 2010! | Peter-Michael Seidel, Georgi Gaydadjiev, Sofine Tahar, Lars J. Svensson |
| 2007 | FCCM | An FPGA implementation of pipelined multiplicative division with IEEE Rounding. | Ronen Goldberg, Guy Even, Peter-Michael Seidel |
| 2005 | ARITH | High-Radix Implementation of IEEE Floating-Point Addition. | Peter-Michael Seidel |
| 2005 | ICCD | Challenges in the Formal Verification of Complete State-of-the-Art Processors. | Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel |
| 2005 | ICCD | Formal Verification of Parametric Multiplicative Division Implementations. | Nikhil Kikkeri, Peter-Michael Seidel |
| 2004 | FCCM | Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs. | Steven D. Krueger, Peter-Michael Seidel |
| 2004 | ICCD | Formal Hardware Verification based on Signal Correlation Properties. | Nikhil Kikkeri, Peter-Michael Seidel |
| 2003 | ARITH | A Parametric Error Analysis of Goldschmidt?s Division Algorithm. | Guy Even, Peter-Michael Seidel, Warren E. Ferguson |
| 2003 | ICCD | Pipelined Multiplicative Division with IEEE Rounding. | Guy Even, Peter-Michael Seidel |
| 2001 | ARITH | On the Design of Fast IEEE Floating-Point Adders. | Peter-Michael Seidel, Guy Even |
| 2001 | ARITH | Binary Multiplication Radix-32 and Radix-256. | Peter-Michael Seidel, Lee D. McFearin, David W. Matula |
| 2001 | VLSID | How to Half Wire Lengths in the Layout of Cyclic Shifter. | Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel |
| 1999 | ARITH | A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. | Guy Even, Peter-Michael Seidel |
| 1998 | ICCD | How many logic levels does floating-point addition require? | Peter-Michael Seidel, Guy Even |