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

Low-power realization of FIR filters on programmable DSPs., , und . IEEE Trans. Very Large Scale Integr. Syst., 6 (4): 546-553 (1998)A Methodology for Designing Optimal Self-Checking Sequential Circuits., , und . ITC, Seite 283-291. IEEE Computer Society, (1991)Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)., , und . ASIAN, Volume 1023 von Lecture Notes in Computer Science, Seite 103-110. Springer, (1995)Improving Prolog Performance by Inductive Proof Generalizations., und . KBCS, Volume 444 von Lecture Notes in Computer Science, Seite 243-253. Springer, (1989)Improved Register Usage for Functional Programs through Multiple Function Versions., , und . J. Funct. Log. Program., (1998)A methodology for the design of SFS/SCD circuits for a class of unordered codes., , und . J. Electron. Test., 2 (3): 261-277 (1991)Reasoning About Game Equilibria Using Temporal Logic.. FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 506-517. Springer, (2004)A Decision Method for Temporal Logic Based on Resolution.. FSTTCS, Volume 206 von Lecture Notes in Computer Science, Seite 272-289. Springer, (1985)Low power realization of FIR filters using multirate architectures., , und . VLSI Design, Seite 370-375. IEEE Computer Society, (1996)State Assignment for Optimal Design of Monitored Self-Checking Sequential Circuits., , und . VLSI Design, Seite 15-20. IEEE Computer Society, (1993)