Issued Patents All Time
Showing 26–49 of 49 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| D932183 | Precision rifle case | — | 2021-10-05 |
| D927742 | LED license plate light housing | — | 2021-08-10 |
| D927029 | LED license plate light housing | — | 2021-08-03 |
| D922792 | Collapsible rifle rack | — | 2021-06-22 |
| D922791 | Wall-mount rifle rack | — | 2021-06-22 |
| D922091 | Folding rifle and pistol rack | — | 2021-06-15 |
| D911703 | Handgun case | — | 2021-03-02 |
| 10867360 | Electric battery recharging unit controlled by a seasonality detection unit of a futures margin modeling system | Jennifer Weng, Nikhil Joshi, Guo Chen, Siwen Yang, Xiaowen Xu +2 more | 2020-12-15 |
| D893180 | Rifle case | — | 2020-08-18 |
| 10643278 | Futures margin modeling system | Jennifer Weng, Nikhil Joshi, Guo Chen, Siwen Yang | 2020-05-05 |
| 10611025 | Method an device for evaluating performance of industrial control loops based on full loop reconstruction simulations | Jiandong Wang | 2020-04-07 |
| 9970420 | Dual horsehead block and tackle pumping unit | Yi Wang, Jin Wang | 2018-05-15 |
| 8955582 | Beamless mechanic-reversing long stroke pumping unit | Yi Wang, Jin Wang | 2015-02-17 |
| 8666907 | Rule-based automated return authorization | Weinan Wang, Aaron D. Kujat, Zhiyu Zhang, Stephen Joseph Sherbert | 2014-03-04 |
| 8131532 | Software verification using range analysis | Srihari Cadambi, Aleksandr Zaks, Franjo Ivancic, Ilya SHLYAKHTER, Malay Ganai +2 more | 2012-03-06 |
| 7926039 | Reachability analysis for program verification | Chao Wang, Aarti Gupta | 2011-04-12 |
| 7742907 | Iterative abstraction using SAT-based BMC with proof analysis | Aarti Gupta, Malay Ganai, Pranav Ashar | 2010-06-22 |
| 7711525 | Efficient approaches for bounded model checking | Malay Ganai, Lintao Zhang, Aarti Gupta, Pranav Ashar | 2010-05-04 |
| 7693690 | Disjunctive image computation for sequential systems | Chao Wang, Aarti Gupta, Franjo Ivancic | 2010-04-06 |
| 7346486 | System and method for modeling, abstraction, and analysis of software | Franjo Ivancic, Pranav Ashar, Malay Ganai, Aarti Gupta | 2008-03-18 |
| 7203917 | Efficient distributed SAT and SAT-based distributed bounded model checking | Malay Ganai, Aarti Gupta, Pranav Ashar | 2007-04-10 |
| 6728665 | SAT-based image computation with application in reachability analysis | Aarti Gupta, Pranav Ashar | 2004-04-27 |
| 6651234 | Partition-based decision heuristics for SAT and image computation using SAT and BDDs | Aarti Gupta, Pranav Ashar, Sharad Malik | 2003-11-18 |
| 6496961 | Dynamic detection and removal of inactive clauses in SAT with application in image computation | Aarti Gupta, Anubhav Gupta, Pranav Ashar | 2002-12-17 |