Autor der Publikation

The Greenblatt chess program.

, , und . AFIPS Fall Joint Computing Conference, Volume 31 von AFIPS Conference Proceedings, Seite 801-810. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)

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

Verification of Concurrent Systems: Function and Timing., und . PSTV, Seite 401-409. North-Holland, (1982)Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet., und . ACSAC, Seite 405-417. IEEE Computer Society, (2008)The Greenblatt chess program., , und . AFIPS Fall Joint Computing Conference, Volume 31 von AFIPS Conference Proceedings, Seite 801-810. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)Precise Information Flow Analysis by Program Verification., und . S&P, Seite 74-80. IEEE Computer Society, (1982)A Proposal for a Verification-Based Virus Filter., und . S&P, Seite 319-324. IEEE Computer Society, (1989)Learning to Network.. IEEE Ann. Hist. Comput., 41 (2): 42-47 (2019)A multiprocessor description language., , und . AFIPS National Computer Conference, Volume 50 von AFIPS Conference Proceedings, Seite 19-25. AFIPS Press, (1981)Snuper computer: a computer in instrumentation automaton., , , und . AFIPS Spring Joint Computing Conference, Volume 30 von AFIPS Conference Proceedings, Seite 645-656. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)SDVS: A system for verifying microcode correctness., , und . MICRO, Seite 246-255. ACM/IEEE, (1984)SDVS: a system for verifying microcode correctness., , und . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 7-14 (1985)