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

LSS: A system for production logic synthesis., , , , und . IBM Journal of Research and Development, 44 (1): 157-166 (2000)LSS: A System for Production Logic Synthesis., , , , und . IBM Journal of Research and Development, 28 (5): 537-545 (1984)Using Machine Descriptions in Program Verification., , und . Jerusalem Conference on Information Technology, Seite 515-522. (1978)Logic Synthesis Through Local Transformations., , , und . IBM Journal of Research and Development, 25 (4): 272-280 (1981)Verification of Protocols Using Symbolic Execution., und . Computer Networks, (1978)A Problem-Reduction Approach to Proving Simulation Between Programs., und . IEEE Trans. Software Eng., 2 (2): 87-96 (1976)Resolution Strategies as Decision Procedures.. J. ACM, 23 (3): 398-417 (1976)Were the good old days all that good?: EDA then and now., , , , , , , und . DAC, Seite 543. ACM, (2004)A new look at logic synthesis., und . DAC, Seite 543-549. ACM/IEEE, (1980)Global Flow Analysis in Automatic Logic Design., , und . IEEE Trans. Computers, 35 (1): 77-81 (1986)