Chao Wang
17Patents
4h-index
28Co-inventors
60Inventor score
Filing activity: Jul 13, 1981 → Apr 11, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| USD276215S | Packaging container for a racket string | General | 24 | Expired |
| US8359578B2 | Symbolic reduction of dynamic executions of concurrent programs | Physics | 6 | Active |
| US7926039B2 | Reachability analysis for program verification | Physics | 6 | Active |
| US8381226B2 | System and method for monotonic partial order reduction | Physics | 4 | Active |
| US8612940B2 | Lock removal for concurrent programs | Physics | 2 | Active |
| US8176496B2 | Partial order reduction using guarded independence relations | Physics | 2 | Active |
| US8561029B2 | Precise thread-modular summarization of concurrent programs | Physics | 2 | Active |
| US8200474B2 | Dynamic model checking with property driven pruning to detect race conditions | Physics | 2 | Active |
| US8589126B2 | System and method for model checking by interleaving stateless and state-based methods | Physics | 1 | Active |
| US7693690B2 | Disjunctive image computation for sequential systems | Physics | 1 | Active |
| US11494666B2 | Systems and methods for online content recommendation | Physics | 1 | Active |
| US8769499B2 | Universal causality graphs for bug detection in concurrent programs | Physics | 1 | Active |
| US12112573B2 | Asymmetric facial expression recognition | Physics | 0 | Active |
| US11803996B2 | Neural network architecture for face tracking | Physics | 0 | Active |
| US8595708B2 | Systems and methods for concurrency analysis | Physics | 0 | Active |
| US12361751B2 | Training method for expression transfer model, expression transfer method and apparatus | Emerging Cross-Sectional Technologies | 0 | Active |
| US10929162B2 | Virtual machine container for applications | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.