Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Theory Extension in ACL2(r)., und . J. Autom. Reason., 38 (4): 273-301 (2007)A Mechanical Proof of the Cook-Levin Theorem., und . TPHOLs, Volume 3223 von Lecture Notes in Computer Science, Seite 99-116. Springer, (2004)Error Analysis of the Kmetz/Maenner Algorithm., , und . VLSI Signal Processing, 33 (1-2): 37-53 (2003)Fast Fourier Transforms Using the Complex Logarithmic Number System., , , und . VLSI Signal Processing, 33 (3): 325-335 (2003)Small Sample Algorithms for the Identification of Polynomials., und . J. ACM, 33 (4): 822-829 (1986)Comments on Än Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''., , und . IEEE Trans. Computers, 41 (6): 786-788 (1992)Redundant logarithmic number systems., , , und . IEEE Symposium on Computer Arithmetic, Seite 144-151. IEEE, (1989)Towards a Quaternion Complex Logarithmic Number System., , , und . IEEE Symposium on Computer Arithmetic, Seite 33-42. IEEE Computer Society, (2011)Under- and Overflow Detection in the Residue Logarithmic Number System., , , und . ARITH, Seite 112-115. IEEE, (2019)Applying Features of IEEE 754 to Sign/Logarithm Arithmetic., , , und . IEEE Trans. Computers, 41 (8): 1040-1050 (1992)