Thomas J. Ball
26Patents
15h-index
36Co-inventors
81Inventor score
Filing activity: Oct 3, 1994 → Jun 29, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6366933B1 | Method and apparatus for tracking and viewing changes on the web | Physics | 480 | Expired |
| US6600736B1 | Method of providing transfer capability on web-based interactive voice response services | Electricity | 386 | Expired |
| US6701294B1 | User interface for translating natural language inquiries into database queries and data presentations | Physics | 372 | Expired |
| US7584455B2 | Predicate-based test coverage and generation | Physics | 271 | Active |
| US6240391A | Method and apparatus for assembling and presenting structured voicemail messages | Electricity | 172 | Expired |
| US6459774B1 | Structured voicemail messages | Emerging Cross-Sectional Technologies | 129 | Expired |
| US6596030B2 | Identifying changes in on-line data repositories | Physics | 117 | Expired |
| US5860071A | Querying and navigating changes in web repositories | Emerging Cross-Sectional Technologies | 74 | Expired |
| US6393107B1 | Method and apparatus for creating and sending structured voicemail messages | Emerging Cross-Sectional Technologies | 43 | Expired |
| US8627287B2 | Prioritizing quality improvements to source code | Physics | 34 | Active |
| US6529863B1 | Method and apparatus for providing interactive services with multiple interfaces | Physics | 31 | Expired |
| US6904590B2 | Methods for enhancing program analysis | Physics | 20 | Expired |
| US6609089B1 | Method and apparatus for providing interactive services with multiple interfaces | Physics | 20 | Expired |
| US6125375A | Apparatus for visualizing program slices | Physics | 20 | Expired |
| US5793369A | Apparatus for visualizing program slices | Physics | 18 | Expired |
| US7058925B2 | System and method for generating a predicate abstraction of a program | Physics | 15 | Expired |
| US8402444B2 | Program analysis through predicate abstraction and refinement | Physics | 11 | Active |
| US7757219B2 | Method for enhancing program analysis | Physics | 9 | Active |
| US7587707B2 | Predicate abstraction via symbolic decision procedures | Physics | 6 | Expired |
| US6222847A | Apparatus and method for retrieving data from a network site | Physics | 6 | Expired |
| US8185874B2 | Automatic and systematic detection of race conditions and atomicity violations | Physics | 5 | Active |
| US7657867B2 | System and method for generating a predicate abstraction of a program | Physics | 3 | Active |
| US8595707B2 | Processing predicates including pointer information | Physics | 1 | Active |
| US12376228B2 | Electronic prototyping | Electricity | 0 | Active |
| US12308586B2 | Electronic prototyping interoperability | Electricity | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.