Peter-Michael Seidel

44 papers A* 1C 13Misc 5Journal 11Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Introduction to Security Science - Basic Concepts and Mathematical Foundations Dusko Pavlovic, Peter-Michael Seidel
2025	J	`jnl`	Security Science (SecSci), Basic Concepts and Mathematical Foundations. CoRR Dusko Pavlovic, Peter-Michael Seidel
2019	—	`conf`	Privacy Protocols. Foundations of Security, Protocols, and Equational Reasoning Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
2019	J	`jnl`	Privacy protocols. CoRR Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
2018	Misc	`conf`	High-Performance Multiplication Modulo 2 ACSSC Peter-Michael Seidel
2018	—	`conf`	Variable Latency Division. MWSCAS Peter-Michael Seidel
2017	—	`conf`	Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. MTV Mark Nelson, Peter-Michael Seidel
2017	A*	`conf`	Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS Dusko Pavlovic, Peter-Michael Seidel
2017	J	`jnl`	Quotients in monadic programming: Projective algebras are equivalent to coalgebras. CoRR Dusko Pavlovic, Peter-Michael Seidel
2016	—	`conf`	(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. QPL Dusko Pavlovic, Peter-Michael Seidel
2015	Misc	`conf`	A parametric error analysis of Goldschmidt's square-root algorithm. ACSSC Peter-Michael Seidel
2015	—	`conf`	Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. MTV Mark Nelson, Peter-Michael Seidel
2014	—	`conf`	A Case for Multi-level Combination of Theorem Proving and Model Checking Tools. MTV Peter-Michael Seidel
2014	—	`conf`	Directed Test Case Generation for x86 Instruction Decoding. MTV Peter-Michael Seidel
2014	J	`jnl`	Guest Editors' Introduction: Special Section on Computer Arithmetic. IEEE Trans. Computers Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang
2013	C	`ed.`	21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013 IEEE Symposium on Computer Arithmetic Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang
2013	C	`conf`	The Floating-Point Unit of the Jaguar x86 Core. IEEE Symposium on Computer Arithmetic Jeff Rupley, John King, Eric Quinnell, Frank Galloway, Ken Patton, Peter-Michael Seidel, James Dinh, Hai Bui, Anasua Bhowmik
2011	—	`conf`	Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback ACL2 Peter-Michael Seidel
2010	C	`conf`	Welcome to ICCD 2010! ICCD Peter-Michael Seidel, Georgi Gaydadjiev, Sofiène Tahar, Lars J. Svensson
2007	—	`conf`	An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. ASAP Nikhil Kikkeri, Peter-Michael Seidel
2007	Misc	`conf`	An FPGA implementation of pipelined multiplicative division with IEEE Rounding. FCCM Ronen Goldberg, Guy Even, Peter-Michael Seidel
2006	—	`conf`	Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. ICECS Nikhil Kikkeri, Peter-Michael Seidel
2005	J	`jnl`	A parametric error analysis of Goldschmidt's division algorithm. J. Comput. Syst. Sci. Guy Even, Peter-Michael Seidel, Warren E. Ferguson
2005	C	`conf`	Challenges in the Formal Verification of Complete State-of-the-Art Processors. ICCD Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel
2005	C	`conf`	Formal Verification of Parametric Multiplicative Division Implementations. ICCD Nikhil Kikkeri, Peter-Michael Seidel
2005	C	`conf`	High-Radix Implementation of IEEE Floating-Point Addition. IEEE Symposium on Computer Arithmetic Peter-Michael Seidel
2005	J	`jnl`	Secondary Radix Recodings for Higher Radix Multipliers. IEEE Trans. Computers Peter-Michael Seidel, Lee D. McFearin, David W. Matula
2004	J	`jnl`	Delay-Optimized Implementation of IEEE Floating-Point Addition. IEEE Trans. Computers Peter-Michael Seidel, Guy Even
2004	Misc	`conf`	Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs. FCCM Steven D. Krueger, Peter-Michael Seidel
2004	C	`conf`	Formal Hardware Verification based on Signal Correlation Properties. ICCD Nikhil Kikkeri, Peter-Michael Seidel
2004	—	`conf`	Two-Dimensional Folding Strategies for Improved Layouts of Cyclic Shifters. ISVLSI Peter-Michael Seidel, Kenneth Fazel
2003	C	`conf`	A Parametric Error Analysis of Goldschmidt?s Division Algorithm. IEEE Symposium on Computer Arithmetic Guy Even, Peter-Michael Seidel, Warren E. Ferguson
2003	C	`conf`	Pipelined Multiplicative Division with IEEE Rounding. ICCD Guy Even, Peter-Michael Seidel
2002	J	`jnl`	To Booth or not to Booth. Integr. Wolfgang J. Paul, Peter-Michael Seidel
2001	C	`conf`	Binary Multiplication Radix-32 and Radix-256. IEEE Symposium on Computer Arithmetic Peter-Michael Seidel, Lee D. McFearin, David W. Matula
2001	Misc	`conf`	How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel
2001	C	`conf`	On the Design of Fast IEEE Floating-Point Adders. IEEE Symposium on Computer Arithmetic Peter-Michael Seidel, Guy Even
2000	J	`jnl`	A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. IEEE Trans. Computers Guy Even, Peter-Michael Seidel
2000	J	`jnl`	A dual precision IEEE floating-point multiplier. Integr. Guy Even, Silvia M. Müller, Peter-Michael Seidel
1999	C	`conf`	A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. IEEE Symposium on Computer Arithmetic Guy Even, Peter-Michael Seidel
1999	J	`jnl`	High-speed redundant reciprocal approximation. Integr. Peter-Michael Seidel
1999	—	`—`	On the design of IEEE compliant floating point units and their quantitative analysis. Peter-Michael Seidel
1998	C	`conf`	How many logic levels does floating-point addition require? ICCD Peter-Michael Seidel, Guy Even
1998	—	`conf`	How to Half the Latency of IEEE Compliant Floating-Point Multiplication. EUROMICRO Peter-Michael Seidel