James B. Saxe
7Patents
7h-index
11Co-inventors
56Inventor score
Filing activity: Mar 28, 1995 → Jan 31, 2007
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7644377B1 | Generating a configuration of a system that satisfies constraints contained in models | Physics | 136 | Active |
| US5631908A | Method and apparatus for generating and implementing smooth schedules for forwarding data flows across cell-based switches | Electricity | 105 | Expired |
| US6343376B1 | System and method for program verification and optimization | Physics | 86 | Expired |
| US6353925B1 | System and method for lexing and parsing program annotations | Physics | 57 | Expired |
| US5835745A | Hardware instruction scheduler for short execution unit latencies | Physics | 43 | Expired |
| US7024661B2 | System and method for verifying computer program correctness and providing recoverable execution trace information | Physics | 17 | Expired |
| US6553362B2 | Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators | Physics | 8 | Expired |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.