How to Half the Latency of IEEE Compliant Floating-Point Multiplication. - Peter-Michael Seidel (EUROMICRO, 1998)

How many logic levels does floating-point addition require? - Peter-Michael Seidel; Guy Even (ICCD, 1998)

High-speed redundant reciprocal approximation. - Peter-Michael Seidel (Integr., 1999)

On the design of IEEE compliant floating point units and their quantitative analysis. - Peter-Michael Seidel (1999)

A dual precision IEEE floating-point multiplier. - Guy Even; Silvia M. Müller; Peter-Michael Seidel (Integr., 2000)

A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. - Guy Even; Peter-Michael Seidel (IEEE Trans. Computers, 2000)

On the Design of Fast IEEE Floating-Point Adders. - Peter-Michael Seidel; Guy Even (IEEE Symposium on Computer Arithmetic, 2001)

Binary Multiplication Radix-32 and Radix-256. - Peter-Michael Seidel; Lee D. McFearin; David W. Matula (IEEE Symposium on Computer Arithmetic, 2001)

How to Half Wire Lengths in the Layout of Cyclic Shifter. - Mark A. Hillebrand; Thomas Schurger; Peter-Michael Seidel (VLSI Design, 2001)

To Booth or not to Booth. - Wolfgang J. Paul; Peter-Michael Seidel (Integr., 2002)

Pipelined Multiplicative Division with IEEE Rounding. - Guy Even; Peter-Michael Seidel (ICCD, 2003)

Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs. - Steven D. Krueger; Peter-Michael Seidel (FCCM, 2004)

Formal Hardware Verification based on Signal Correlation Properties. - Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2004)

Two-Dimensional Folding Strategies for Improved Layouts of Cyclic Shifters. - Peter-Michael Seidel; Kenneth Fazel (ISVLSI, 2004)

Delay-Optimized Implementation of IEEE Floating-Point Addition. - Peter-Michael Seidel; Guy Even (IEEE Trans. Computers, 2004)

High-Radix Implementation of IEEE Floating-Point Addition. - Peter-Michael Seidel (IEEE Symposium on Computer Arithmetic, 2005)

Challenges in the Formal Verification of Complete State-of-the-Art Processors. - Nathaniel Ayewah; Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2005)

Formal Verification of Parametric Multiplicative Division Implementations. - Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2005)

A parametric error analysis of Goldschmidt's division algorithm. - Guy Even; Peter-Michael Seidel; Warren E. Ferguson (J. Comput. Syst. Sci., 2005)

Secondary Radix Recodings for Higher Radix Multipliers. - Peter-Michael Seidel; Lee D. McFearin; David W. Matula (IEEE Trans. Computers, 2005)

Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. - Nikhil Kikkeri; Peter-Michael Seidel (ICECS, 2006)

An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. - Nikhil Kikkeri; Peter-Michael Seidel (ASAP, 2007)

An FPGA implementation of pipelined multiplicative division with IEEE Rounding. - Ronen Goldberg; Guy Even; Peter-Michael Seidel (FCCM, 2007)

Welcome to ICCD 2010! - Peter-Michael Seidel; Georgi Gaydadjiev; Sofiène Tahar; Lars J. Svensson (ICCD, 2010)

Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback - Peter-Michael Seidel (ACL2, 2011)

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 (IEEE Symposium on Computer Arithmetic, 2013)

Directed Test Case Generation for x86 Instruction Decoding. - Peter-Michael Seidel (MTV, 2014)

A Case for Multi-level Combination of Theorem Proving and Model Checking Tools. - Peter-Michael Seidel (MTV, 2014)

Guest Editors' Introduction: Special Section on Computer Arithmetic. - Alberto Nannarelli; Peter-Michael Seidel; Ping Tak Peter Tang (IEEE Trans. Computers, 2014)

A parametric error analysis of Goldschmidt's square-root algorithm. - Peter-Michael Seidel (ACSSC, 2015)

Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. - Mark Nelson 004; Peter-Michael Seidel (MTV, 2015)

(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. - Dusko Pavlovic; Peter-Michael Seidel (QPL, 2016)

Quotients in monadic programming: Projective algebras are equivalent to coalgebras. - Dusko Pavlovic; Peter-Michael Seidel (LICS, 2017)

Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. - Mark Nelson 004; Peter-Michael Seidel (MTV, 2017)

High-Performance Multiplication Modulo 2n - 3. - Peter-Michael Seidel (ACSSC, 2018)

Variable Latency Division. - Peter-Michael Seidel (MWSCAS, 2018)

Privacy Protocols. - Jason Castiglione; Dusko Pavlovic; Peter-Michael Seidel (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Security Science (SecSci), Basic Concepts and Mathematical Foundations. - Dusko Pavlovic; Peter-Michael Seidel (CoRR, 2025)