Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10203846 | System and method for non-deterministically providing denominated virtual currencies in a virtual space | Weiwei Geng, Matthew Curtis, Michael C. Caldarone, Stephanie K. Schultz, Kellen Christopher Smalley | 2019-02-12 |
| 8166464 | Analysis and detection of soft hang responsiveness program errors | Haoxiang Lin, Xi Wang, Zhenyu Guo, Zheng Zhang | 2012-04-24 |
| 8121824 | Predicate checking for distributed systems | Wei Lin, Zheng Zhang | 2012-02-21 |
| 8117155 | Collection-based object replication | Wei-Ge Chen, Dan Teodosiu, Cristian G. Teodorescu, Zheng Zhang | 2012-02-14 |
| 7984332 | Distributed system checker | Junfeng Yang, Lintao Zhang, Lidong Zhou, Zhenyu Guo, Jian Tang +1 more | 2011-07-19 |
| 7933759 | Predicate checking for distributed systems | Wei Lin, Zheng Zhang | 2011-04-26 |
| 7925487 | Replaying distributed systems | Wei Lin, Zheng Zhang | 2011-04-12 |
| 7747742 | Online predicate checking for distributed systems | Zheng Zhang, Jian Tang, Zhenyu Guo, Ming-Chuan Wu | 2010-06-29 |
| 7673069 | Strong routing consistency protocol in structured peer-to-peer overlays | Wei-Ge Chen | 2010-03-02 |