Property |
Value |
dbo:abstract
|
- James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé 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és à Palo Alto. (fr)
- James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé 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és à Palo Alto. (fr)
|
dbo:almaMater
| |
dbo:doctoralAdvisor
| |
dbo:occupation
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6315 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1984 (xsd:integer)
- 1991 (xsd:integer)
- 2005 (xsd:integer)
|
prop-fr:date
|
- September 1980 (fr)
- November 1993 (fr)
- May 2002 (fr)
- September 1980 (fr)
- November 1993 (fr)
- May 2002 (fr)
|
prop-fr:department
|
- Proceedings of PLDI 2002 (fr)
- Proceedings of PLDI 2002 (fr)
|
prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.114500 (xsd:double)
|
prop-fr:fr
|
- HP Labs (fr)
- Olympiades mathématiques des États-Unis (fr)
- Programming Language Design and Implementation (fr)
- HP Labs (fr)
- Olympiades mathématiques des États-Unis (fr)
- Programming Language Design and Implementation (fr)
|
prop-fr:id
|
- BHS (fr)
- LS (fr)
- FLL (fr)
- DNS (fr)
- FSS (fr)
- AOS (fr)
- BHS (fr)
- LS (fr)
- FLL (fr)
- DNS (fr)
- FSS (fr)
- AOS (fr)
|
prop-fr:journal
| |
prop-fr:langue
| |
prop-fr:lienAuteur
|
- Jon Bentley (fr)
- Michael Sipser (fr)
- Charles E. Leiserson (fr)
- Charles P. Thacker (fr)
- Dorothea Blostein (fr)
- Greg Nelson (fr)
- Raymie Stata (fr)
- Susan Owicki (fr)
- Thomas E. Anderson (fr)
- Jon Bentley (fr)
- Michael Sipser (fr)
- Charles E. Leiserson (fr)
- Charles P. Thacker (fr)
- Dorothea Blostein (fr)
- Greg Nelson (fr)
- Raymie Stata (fr)
- Susan Owicki (fr)
- Thomas E. Anderson (fr)
|
prop-fr:mr
|
- 738749 (xsd:integer)
- 1079368 (xsd:integer)
- 2146512 (xsd:integer)
|
prop-fr:nom
|
- Bentley (fr)
- Nelson (fr)
- Saxe (fr)
- Anderson (fr)
- Flanagan (fr)
- Thacker (fr)
- Furst (fr)
- Leiserson (fr)
- Sipser (fr)
- Haken (fr)
- Detlefs (fr)
- Leino (fr)
- Lillibridge (fr)
- Owicki (fr)
- Stata (fr)
- Bentley (fr)
- Nelson (fr)
- Saxe (fr)
- Anderson (fr)
- Flanagan (fr)
- Thacker (fr)
- Furst (fr)
- Leiserson (fr)
- Sipser (fr)
- Haken (fr)
- Detlefs (fr)
- Leino (fr)
- Lillibridge (fr)
- Owicki (fr)
- Stata (fr)
|
prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
|
prop-fr:pages
|
- 5 (xsd:integer)
- 13 (xsd:integer)
- 36 (xsd:integer)
- 234 (xsd:integer)
- 319 (xsd:integer)
- 365 (xsd:integer)
|
prop-fr:prénom
|
- Greg (fr)
- Michael (fr)
- Dorothea (fr)
- David (fr)
- Mark (fr)
- Thomas E. (fr)
- Charles E. (fr)
- James B. (fr)
- Merrick (fr)
- Jon Louis (fr)
- Charles P. (fr)
- Cormac (fr)
- K. Rustan M. (fr)
- Raymie (fr)
- Susan S. (fr)
- Greg (fr)
- Michael (fr)
- Dorothea (fr)
- David (fr)
- Mark (fr)
- Thomas E. (fr)
- Charles E. (fr)
- James B. (fr)
- Merrick (fr)
- Jon Louis (fr)
- Charles P. (fr)
- Cormac (fr)
- K. Rustan M. (fr)
- Raymie (fr)
- Susan S. (fr)
|
prop-fr:titre
|
- A general method for solving divide-and-conquer recurrences (fr)
- Extended static checking for Java (fr)
- Retiming synchronous circuitry (fr)
- Simplify: a theorem prover for program checking (fr)
- Parity, circuits, and the polynomial-time hierarchy (fr)
- High-speed switch scheduling for local-area networks (fr)
- A general method for solving divide-and-conquer recurrences (fr)
- Extended static checking for Java (fr)
- Retiming synchronous circuitry (fr)
- Simplify: a theorem prover for program checking (fr)
- Parity, circuits, and the polynomial-time hierarchy (fr)
- High-speed switch scheduling for local-area networks (fr)
|
prop-fr:trad
|
- United States of America Mathematical Olympiad (fr)
- United States of America Mathematical Olympiad (fr)
|
prop-fr:volume
|
- 6 (xsd:integer)
- 11 (xsd:integer)
- 12 (xsd:integer)
- 17 (xsd:integer)
- 37 (xsd:integer)
- 52 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé 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és à Palo Alto. (fr)
- James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé 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és à Palo Alto. (fr)
|
rdfs:label
|
- James B. Saxe (fr)
- James B. Saxe (en)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |