Michael Barnett
22Patents
10h-index
40Co-inventors
75Inventor score
Filing activity: Feb 22, 1991 → Dec 16, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7013264B2 | System and method for matching a textual input to a lexical knowledge based and for utilizing results of that match | Emerging Cross-Sectional Technologies | 110 | Expired |
| US6871174B1 | System and method for matching a textual input to a lexical knowledge base and for utilizing results of that match | Emerging Cross-Sectional Technologies | 97 | Expired |
| US7216338B2 | Conformance execution of non-deterministic specifications for components | Physics | 36 | Expired |
| US9697262B2 | Analytical data processing engine | Physics | 33 | Active |
| US5167473A | Unidirectional insert lock | Emerging Cross-Sectional Technologies | 16 | Expired |
| US7747985B2 | Conformance testing of multi-threaded and distributed software systems | Physics | 15 | Active |
| US6557728B1 | Musical toothpaste tube closure | Performing Operations; Transporting | 13 | Expired |
| US7933815B2 | System and method for obtaining technical support services over a network | Physics | 13 | Active |
| US7958489B2 | Out of band data augmentation | Physics | 10 | Active |
| US7926037B2 | Hiding irrelevant facts in verification conditions | Physics | 10 | Active |
| US8250524B2 | Contract programming for code error reduction | Physics | 8 | Active |
| US7500149B2 | Generating finite state machines for software systems with asynchronous callbacks | Physics | 6 | Active |
| US8782607B2 | Contract failure behavior with escalation policy | Physics | 5 | Active |
| US7337388B2 | Tool-based iterative document management | Emerging Cross-Sectional Technologies | 4 | Expired |
| US7493544B2 | Extending test sequences to accepting states | Physics | 2 | Active |
| USD341082S | Paint container groove protector | General | 1 | Expired |
| US9286039B2 | Operating system support for contracts | Physics | 0 | Active |
| US11557015B2 | System and method of data transfer in-band in video via optically encoded images | Electricity | 0 | Active |
| US10949427B2 | Stream data processing on multiple application timelines | Physics | 0 | Active |
| US12417509B2 | System and method of controlling equipment based on data transferred in-band in video via optically encoded images | Electricity | 0 | Active |
| US11093218B2 | Dynamic pattern matching code generation | Physics | 0 | Active |
| US11787144B2 | System and method for cutting sheets for use in the production of boxes | Performing Operations; Transporting | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.