Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12346653 | System, method, and apparatus for snapshot sharding | Alexander W. Deneui, Glenn Jaume, Hariharan Sivaramakrishnan, Helena G. Jaramillo, John Z. Li +17 more | 2025-07-01 |
| 12288024 | System, method, and apparatus for a unified document surface | Alexander W. Deneui, Glenn Jaume, Hariharan Sivaramakrishnan, Helena G. Jaramillo, John Z. Li +17 more | 2025-04-29 |
| 12106039 | System, method, and apparatus for publication and external interfacing for a unified document surface | Alexander W. Deneui, Glenn Jaume, Hariharan Sivaramakrishnan, Helena G. Jaramillo, John Z. Li +17 more | 2024-10-01 |
| 8671396 | Dynamic interface reduction for software model checking | Ming-Chuan Wu, Yi Yang, Gang Hu, Lintao Zhang, Lidong Zhou +1 more | 2014-03-11 |