default search action
Peter-Michael Seidel
Person information
- affiliation: University of Hawaii at Manoa, Honolulu, HI, USA
- affiliation: Southern Methodist University, Dallas, Texas, USA
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c30]Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel:
Privacy Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 167-191 - [i2]Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel:
Privacy protocols. CoRR abs/1904.05540 (2019) - 2018
- [c29]Peter-Michael Seidel:
High-Performance Multiplication Modulo 2n - 3. ACSSC 2018: 130-134 - [c28]Peter-Michael Seidel:
Variable Latency Division. MWSCAS 2018: 944-947 - 2017
- [c27]Dusko Pavlovic
, Peter-Michael Seidel:
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS 2017: 1-12 - [c26]Mark Nelson, Peter-Michael Seidel:
Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. MTV 2017: 68-73 - [i1]Dusko Pavlovic, Peter-Michael Seidel:
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. CoRR abs/1701.07601 (2017) - 2016
- [c25]Dusko Pavlovic
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. QPL 2016: 145-160 - 2015
- [c24]Peter-Michael Seidel:
A parametric error analysis of Goldschmidt's square-root algorithm. ACSSC 2015: 727-731 - [c23]Mark Nelson, Peter-Michael Seidel:
Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. MTV 2015: 54-59 - 2014
- [j8]Alberto Nannarelli
Guest Editors' Introduction: Special Section on Computer Arithmetic. IEEE Trans. Computers 63(8): 1852-1853 (2014) - [c22]Peter-Michael Seidel:
Directed Test Case Generation for x86 Instruction Decoding. MTV 2014: 78-82 - [c21]Peter-Michael Seidel:
A Case for Multi-level Combination of Theorem Proving and Model Checking Tools. MTV 2014: 90-97 - 2013
- [c20]Jeff Rupley, John King, Eric Quinnell, Frank Galloway, Ken Patton, Peter-Michael Seidel, James Dinh, Hai Bui, Anasua Bhowmik:
The Floating-Point Unit of the Jaguar x86 Core. IEEE Symposium on Computer Arithmetic 2013: 7-16 - [e1]Alberto Nannarelli, Peter-Michael Seidel, Ping Tak Peter Tang:
21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-5644-2 [contents] - 2011
- [c19]Peter-Michael Seidel:
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback. ACL2 2011: 70-83 - 2010
- [c18]Peter-Michael Seidel, Georgi Gaydadjiev
Welcome to ICCD 2010! ICCD 2010
2000 – 2009
- 2007
- [c17]Nikhil Kikkeri, Peter-Michael Seidel:
An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. ASAP 2007: 83-88 - [c16]Ronen Goldberg, Guy Even, Peter-Michael Seidel:
An FPGA implementation of pipelined multiplicative division with IEEE Rounding. FCCM 2007: 185-196 - 2006
- [c15]Nikhil Kikkeri, Peter-Michael Seidel:
Optimized Arithmetic Hardware Design based on Hierarchical Formal Verification. ICECS 2006: 541-544 - 2005
- [j7]Guy Even, Peter-Michael Seidel, Warren E. Ferguson:
A parametric error analysis of Goldschmidt's division algorithm. J. Comput. Syst. Sci. 70(1): 118-139 (2005) - [j6]Peter-Michael Seidel, Lee D. McFearin, David W. Matula:
Secondary Radix Recodings for Higher Radix Multipliers. IEEE Trans. Computers 54(2): 111-123 (2005) - [c14]Peter-Michael Seidel:
High-Radix Implementation of IEEE Floating-Point Addition. IEEE Symposium on Computer Arithmetic 2005: 99-106 - [c13]Nikhil Kikkeri, Peter-Michael Seidel:
Formal Verification of Parametric Multiplicative Division Implementations. ICCD 2005: 599-602 - [c12]Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel:
Challenges in the Formal Verification of Complete State-of-the-Art Processors. ICCD 2005: 603-608 - 2004
- [j5]Peter-Michael Seidel, Guy Even:
Delay-Optimized Implementation of IEEE Floating-Point Addition. IEEE Trans. Computers 53(2): 97-113 (2004) - [c11]Steven D. Krueger, Peter-Michael Seidel:
Design of an On-Line IEEE Floating-Point Addition Unit for FPGAs. FCCM 2004: 239-246 - [c10]Nikhil Kikkeri, Peter-Michael Seidel:
Formal Hardware Verification based on Signal Correlation Properties. ICCD 2004: 402-408 - [c9]Peter-Michael Seidel, Kenneth Fazel:
Two-Dimensional Folding Strategies for Improved Layouts of Cyclic Shifters. ISVLSI 2004: 277-278 - 2003
- [c8]Guy Even, Peter-Michael Seidel, Warren E. Ferguson:
A Parametric Error Analysis of Goldschmidt?s Division Algorithm. IEEE Symposium on Computer Arithmetic 2003: 165- - [c7]Guy Even, Peter-Michael Seidel:
Pipelined Multiplicative Division with IEEE Rounding. ICCD 2003: 240- - 2002
- [j4]Wolfgang J. Paul, Peter-Michael Seidel:
To Booth or not to Booth. Integr. 32(1-2): 5-40 (2002) - 2001
- [c6]Peter-Michael Seidel, Lee D. McFearin, David W. Matula:
Binary Multiplication Radix-32 and Radix-256. IEEE Symposium on Computer Arithmetic 2001: 23-32 - [c5]Peter-Michael Seidel, Guy Even:
On the Design of Fast IEEE Floating-Point Adders. IEEE Symposium on Computer Arithmetic 2001: 184-194 - [c4]Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel:
How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design 2001: 339-344 - 2000
- [j3]Guy Even, Silvia M. Müller, Peter-Michael Seidel:
A dual precision IEEE floating-point multiplier. Integr. 29(2): 167-180 (2000) - [j2]Guy Even, Peter-Michael Seidel:
A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. IEEE Trans. Computers 49(7): 638-650 (2000)
1990 – 1999
- 1999
- [b1]Peter-Michael Seidel:
On the design of IEEE compliant floating point units and their quantitative analysis. Saarland University, Saarbrücken, Germany, 1999, pp. 1-188 - [j1]Peter-Michael Seidel:
High-speed redundant reciprocal approximation. Integr. 28(1): 1-12 (1999) - [c3]Guy Even, Peter-Michael Seidel:
A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication. IEEE Symposium on Computer Arithmetic 1999: 225-232 - 1998
- [c2]Peter-Michael Seidel:
How to Half the Latency of IEEE Compliant Floating-Point Multiplication. EUROMICRO 1998: 10329-10332 - [c1]Peter-Michael Seidel, Guy Even:
How many logic levels does floating-point addition require? ICCD 1998: 142-149
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: