Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11521062 | Neural network training using a data flow graph and dynamic memory management | Vladimir Zolotov, Tung D. Le | 2022-12-06 |
| 11340977 | Predictive analytics for failure detection | Emrah Acar, Rajiv V. Joshi, Tong Li | 2022-05-24 |
| 11327825 | Predictive analytics for failure detection | Emrah Acar, Rajiv V. Joshi, Tong Li | 2022-05-10 |
| 9665538 | Solving satisfiability problems through search | Jinjun Xiong | 2017-05-30 |
| 8640065 | Circuit verification using computational algebraic geometry | Luis A. Lastras-Montano, Alexey Y. Lvov, Viresh Paruthi, Robert J. Shadowen, Barry M. Trager +2 more | 2014-01-28 |
| 6993732 | Design of a pointerless BDD package | — | 2006-01-31 |