Misplaced Pages

The following pages link to Gerard J. Holzmann

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Ralph Merkle (links | edit)
• Robert Tarjan (links | edit)
• Adi Shamir (links | edit)
• Ron Rivest (links | edit)
• Daniel Sleator (links | edit)
• Claude Chappe (links | edit)
• Vladimir Vapnik (links | edit)
• Leonard Adleman (links | edit)
• Michael O. Rabin (links | edit)
• Model checking (links | edit)
• Martin Hellman (links | edit)
• Whitfield Diffie (links | edit)
• Volker Strassen (links | edit)
• Narendra Karmarkar (links | edit)
• SPIN model checker (links | edit)
• Vismon (links | edit)
• Charles E. Leiserson (links | edit)
• Bruno Buchberger (links | edit)
• Abraham Lempel (links | edit)
• Jacob Ziv (links | edit)
• Scott Shenker (links | edit)
• Harlan Mills (links | edit)
• Paris Kanellakis Award (links | edit)
• Paris Kanellakis (links | edit)
• Partial order reduction (links | edit)
• Robert M. Solovay (links | edit)
• Andrei Broder (links | edit)
• Phillip Rogaway (links | edit)
• Gerard Holzmann (redirect page) (links | edit)
  • List of computer scientists (links | edit)
  • Spin (links | edit)
  • Rendezvous (Plan 9) (links | edit)
  • Digital darkroom (links | edit)
  • NASA Exceptional Engineering Achievement Medal (links | edit)
  • ACM Software System Award (links | edit)
  • T.H. Tse (links | edit)
• Mihir Bellare (links | edit)
• Yoav Freund (links | edit)
• Randal Bryant (links | edit)
• Michael Luby (links | edit)
• Promela (links | edit)
• Moni Naor (links | edit)
• Willem van der Poel (links | edit)
• Moshe Vardi (links | edit)
• Michael Burrows (links | edit)
• Avrim Blum (links | edit)
• Robert Schapire (links | edit)
• Eugene Myers (links | edit)
• Edmund M. Clarke (links | edit)
• E. Allen Emerson (links | edit)
• Kurt Mehlhorn (links | edit)
• Gary Miller (computer scientist) (links | edit)
• Piotr Indyk (links | edit)
• Eli Upfal (links | edit)
• Cynthia Dwork (links | edit)
• Irit Dinur (links | edit)
• List of the Delft University of Technology Alumni (links | edit)