Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12361751 | Training method for expression transfer model, expression transfer method and apparatus | Yuxuan Yan, Youcheng Ben, Qiang Li, Yang Ding, Ruixue SHEN +3 more | 2025-07-15 |
| 12112573 | Asymmetric facial expression recognition | Michael Leong Hou Tay, Wanchun Ma, Shuo Cheng, Linjie Luo | 2024-10-08 |
| 11803996 | Neural network architecture for face tracking | Wanchun Ma, Shuo Cheng, Michael Leong Hou Tay, Linjie Luo | 2023-10-31 |
| 11494666 | Systems and methods for online content recommendation | Nadav Golbandi | 2022-11-08 |
| 10929162 | Virtual machine container for applications | Haichuan Wang, Wei Tang, Fei Yang, Kai-Ting Amy Wang, Man Pok Ho | 2021-02-23 |
| 8769499 | Universal causality graphs for bug detection in concurrent programs | Vineet Kahlon | 2014-07-01 |
| 8612940 | Lock removal for concurrent programs | Vineet Kahlon | 2013-12-17 |
| 8595708 | Systems and methods for concurrency analysis | Nishant Sinha | 2013-11-26 |
| 8589126 | System and method for model checking by interleaving stateless and state-based methods | Malay Ganai, Weihong Li | 2013-11-19 |
| 8561029 | Precise thread-modular summarization of concurrent programs | Nishant Sinha | 2013-10-15 |
| 8381226 | System and method for monotonic partial order reduction | Vineet Kahlon, Aarti Gupta | 2013-02-19 |
| 8359578 | Symbolic reduction of dynamic executions of concurrent programs | Aarti Gupta, Swarat Chaudhuri, Yu Yang | 2013-01-22 |
| 8200474 | Dynamic model checking with property driven pruning to detect race conditions | Aarti Gupta | 2012-06-12 |
| 8176496 | Partial order reduction using guarded independence relations | Zijian YANG, Vineet Kahlon, Aarti Gupta | 2012-05-08 |
| 7926039 | Reachability analysis for program verification | Zijiang Yang, Aarti Gupta | 2011-04-12 |
| 7693690 | Disjunctive image computation for sequential systems | Aarti Gupta, Zijiang Yang, Franjo Ivancic | 2010-04-06 |
| D276215 | Packaging container for a racket string | — | 1984-11-06 |