. . "May 2002"@fr . "6"^^ . "Stata"@fr . "181696825"^^ . . "Thomas E. Anderson"@fr . "Thomas E."@fr . "Raymie Stata"@fr . "James B. Saxe"@en . "K. Rustan M."@fr . "Merrick"@fr . "BHS"@fr . "Charles E."@fr . "November 1993"@fr . "Thacker"@fr . "Charles E. Leiserson"@fr . . . "SIGPLAN Notices"@fr . "James B."@fr . . "Greg Nelson"@fr . "738749"^^ . . . "Michael Sipser"@fr . . . . "Anderson"@fr . . . . . . "Susan Owicki"@fr . "Cormac"@fr . . . . "Haken"@fr . "FSS"@fr . . . "Dorothea"@fr . "Bentley"@fr . "365"^^ . . . "Simplify: a theorem prover for program checking"@fr . "3"^^ . "234"^^ . "David"@fr . "1"^^ . "Lillibridge"@fr . "James Benjamin Saxe est un informaticien th\u00E9oricien am\u00E9ricain, sp\u00E9cialiste en analyse des algorithmes, sp\u00E9cification et v\u00E9rification, et qui a travaill\u00E9 longtemps au Centre de recherche de DEC et ses successeurs, le centre de recherche de Compaq et le centre de recherche de Hewlett-Packard (en), toujours situ\u00E9s \u00E0 Palo Alto."@fr . "Leino"@fr . "Sipser"@fr . "4"^^ . . "Jon Bentley"@fr . . . . . . . "AOS"@fr . "Olympiades math\u00E9matiques des \u00C9tats-Unis"@fr . . "High-speed switch scheduling for local-area networks"@fr . . . "Owicki"@fr . . . . . "1984"^^ . . . . . . "1991"^^ . "James B. Saxe"@fr . "HP Labs"@fr . . . . . "6315"^^ . "United States of America Mathematical Olympiad"@fr . "Nelson"@fr . . "2146512"^^ . "5"^^ . "52"^^ . . "Michael"@fr . . "1079368"^^ . . "Jon Louis"@fr . . "319"^^ . "13"^^ . "2005"^^ . . "Saxe"@fr . "Furst"@fr . "Retiming synchronous circuitry"@fr . "11342868"^^ . . "Charles P. Thacker"@fr . "ACM Transactions on Computer Systems"@fr . . "Susan S."@fr . "Flanagan"@fr . "37"^^ . "Greg"@fr . "Leiserson"@fr . . "Parity, circuits, and the polynomial-time hierarchy"@fr . "Detlefs"@fr . "Mathematical Systems Theory"@fr . . "10.1007"^^ . "FLL"@fr . . . "Raymie"@fr . . "17"^^ . "36"^^ . . "Proceedings of PLDI 2002"@fr . "en"@fr . "DNS"@fr . . "LS"@fr . "Charles P."@fr . "September 1980"@fr . "James Benjamin Saxe est un informaticien th\u00E9oricien am\u00E9ricain, sp\u00E9cialiste en analyse des algorithmes, sp\u00E9cification et v\u00E9rification, et qui a travaill\u00E9 longtemps au Centre de recherche de DEC et ses successeurs, le centre de recherche de Compaq et le centre de recherche de Hewlett-Packard (en), toujours situ\u00E9s \u00E0 Palo Alto."@fr . . "11"^^ . "Extended static checking for Java"@fr . . "12"^^ . "10.1145"^^ . "Mark"@fr . "Programming Language Design and Implementation"@fr . . "A general method for solving divide-and-conquer recurrences"@fr . "Dorothea Blostein"@fr .