Concepts of the MATHILDA System. - Peter Kornerup (ISCA, 1974)

A unified numeric data type in Pascal. - Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1975)

The UNRAU a Unified Numeric Representation Arithmetic Unit. - Bruce D. Shriver; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1975)

A Unified Numeric Representation Arithmetic Unit and Its Language Support. - Peter Kornerup; Bruce D. Shriver (IEEE Trans. Computers, 1977)

A feasibility analysis of fixed-slash rational arithmetic. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1978)

A feasibility analysis of binary fixed-slash and floating-slash number systems. - David W. Matula; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1978)

An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation. - David W. Matula; Peter Kornerup (EUROSAM, 1979)

Firmware Development Systems, a Survey. - Peter Kornerup (Firmware Engineering, 1980)

Interpretation and Code Generation Based on Intermediate Languages. - Peter Kornerup; Bent Bruun Kristensen; Ole Lehrmann Madsen (Softw. Pract. Exp., 1980)

An integrated rational arithmetic unit. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1981)

An order preserving finite binary encoding of the rationals. - David W. Matula; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1983)

Mapping Integers and Hensel Codes onto Farey Fractions. - Peter Kornerup; R. T. Gregory (BIT, 1983)

Finite Precision Rational Arithmetic: An Arithmetic Unit. - Peter Kornerup; David W. Matula (IEEE Trans. Computers, 1983)

Finite precision lexicographic continued fraction number systems. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1985)

Finite Precision Rational Arithmetic Slash Number Systems. - David W. Matula; Peter Kornerup (IEEE Trans. Computers, 1985)

A bit-serial arithmetic unit for rational arithmetic. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1987)

An On-Line Arithmetic Unit for Bit-Pipelined Rational Arithmetic. - Peter Kornerup; David W. Matula (J. Parallel Distributed Comput., 1988)

Exploiting redundancy in bit-pipelined rational arithmetic. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1989)

An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic. - Peter Kornerup; David W. Matula (IEEE Trans. Computers, 1990)

Semantics for exact floating point operations. - Gerd Bohlender; Wolfgang Walter; Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 1991)

A high-radix hardware algorithm for calculating the exponential ME modulo N. - Holger Orup; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1991)

High-radix modular multiplication for cryptosystems. - Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1993)

Digit-Set Conversions: Generalizations and Application. - Peter Kornerup (IEEE Trans. Computers, 1994)

A Systolic, Linear-Array Multiplier for a Class of Right-Shift Algorithms. - Peter Kornerup (IEEE Trans. Computers, 1994)

High Speed DCT/IDCT Using a Pipelined CORDIC Algorithm. - Feng Zhou; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1995)

LCF: A Lexicagraphic Binary representation of the Rationals. - Peter Kornerup; David W. Matula (J. Univers. Comput. Sci., 1995)

MSB-First Digit Serial Arithmetic. - Asger Munk Nielsen; Peter Kornerup (J. Univers. Comput. Sci., 1995)

An IWS Montgomery Modular Multiplication Algorithm. - Jean-Claude Bajard; Laurent-Stéphane Didier; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1997)

On Radix Representation of Rings. - Asger Munk Nielsen; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1997)

An RNS Montgomery Modular Multiplication Algorithm. - Jean-Claude Bajard; Laurent-Stéphane Didier; Peter Kornerup (IEEE Trans. Computers, 1998)

A New Fast Discrete Fourier Transform. - Feng Zhou; Peter Kornerup (J. VLSI Signal Process., 1998)

Necessary and Sufficient Conditions for Parallel, Constant Time Conversion and Addition. - Peter Kornerup (IEEE Symposium on Computer Arithmetic, 1999)

Redundant Radix Representations of Rings. - Asger Munk Nielsen; Peter Kornerup (IEEE Trans. Computers, 1999)

Guest Editors' Introduction - Special Issue on Computer Arithmetic. - Israel Koren; Peter Kornerup (IEEE Trans. Computers, 2000)

Computing Moments by Prefix Sums. - Feng Zhou; Peter Kornerup (J. VLSI Signal Process., 2000)

Modular Multiplication and Base Extensions in Residue Number Systems. - Jean-Claude Bajard; Laurent-Stéphane Didier; Peter Kornerup (IEEE Symposium on Computer Arithmetic, 2001)

Revisiting SRT Quotient Digit Selection. - Peter Kornerup (IEEE Symposium on Computer Arithmetic, 2003)

Preface. - Peter Kornerup; Jean-Claude Bajard; Christiane Frougny; Jean-Michel Muller (Theor. Comput. Sci., 2003)

Single Precision Reciprocals by Multipartite Table Lookup. - Peter Kornerup; David W. Matula (IEEE Symposium on Computer Arithmetic, 2005)

A New Range-Reduction Algorithm. - Nicolas Brisebarre; David Defour; Peter Kornerup; Jean-Michel Muller; Nathalie Revol (IEEE Trans. Computers, 2005)

Digit Selection for SRT Division and Square Root. - Peter Kornerup (IEEE Trans. Computers, 2005)

Reviewing 4-to-2 Adders for Multi-Operand Addition. - Peter Kornerup (J. VLSI Signal Process., 2005)

Leading Guard Digits in Finite Precision Redundant Representations. - Peter Kornerup; Jean-Michel Muller (IEEE Trans. Computers, 2006)

Choosing starting values for certain Newton-Raphson iterations. - Peter Kornerup; Jean-Michel Muller (Theor. Comput. Sci., 2006)

Computing Integer Powers in Floating-Point Arithmetic - Peter Kornerup; Vincent Lefèvre; Jean-Michel Muller (CoRR, 2007)

Correcting the Normalization Shift of Redundant Binary Representations. - Peter Kornerup (IEEE Trans. Computers, 2009)

Guest Editors' Introduction: Special Section on Computer Arithmetic. - Peter Kornerup; Paolo Montuschi; Jean-Michel Muller; Eric Schwarz (IEEE Trans. Computers, 2009)

Computing correctly rounded integer powers in floating-point arithmetic. - Peter Kornerup; Christoph Quirin Lauter; Vincent Lefèvre; Nicolas Louvet; Jean-Michel Muller (ACM Trans. Math. Softw., 2010)

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2). - Nicolas Brisebarre; Mioara Joldes; Peter Kornerup; Érik Martin-Dorel; Jean-Michel Muller (IEEE Symposium on Computer Arithmetic, 2011)

Performing Arithmetic Operations on Round-to-Nearest Representations. - Peter Kornerup; Jean-Michel Muller; Adrien Panhaleux (IEEE Trans. Computers, 2011)

Floating-Point Arithmetic on Round-to-Nearest Representations - Peter Kornerup; Jean-Michel Muller; Adrien Panhaleux (CoRR, 2012)

On the Computation of Correctly Rounded Sums. - Peter Kornerup; Vincent Lefèvre; Nicolas Louvet; Jean-Michel Muller (IEEE Trans. Computers, 2012)

Correction to the 2005 paper: "Digit Selection for SRT Division and Square Root". - Peter Kornerup (CoRR, 2014)

Reviewing High-Radix Signed-Digit Adders. - Peter Kornerup (IEEE Trans. Computers, 2015)

Error bounds on complex floating-point multiplication with an FMA. - Claude-Pierre Jeannerod; Peter Kornerup; Nicolas Louvet; Jean-Michel Muller (Math. Comput., 2017)