Issued Patents 2019
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503853 | Formal verification using cached search path information to verify previously proved/disproved properties | Arunava Saha, Manish Pandey, Ashvin M. Dsouza, Per M. Bjesse | 2019-12-10 |
| 10367691 | Multi platform static semantic consistency checking of network configurations | Atri Indiresan, Aniket Ghule, Mariam Zaim | 2019-07-30 |
| 10345626 | Graded index single crystal active waveguide in glass | Volkmar Dierolf, Keith J. Veenhuizen | 2019-07-09 |
| 10325054 | Invariant sharing to speed up formal verification | Per M. Bjesse, Carl Preston Pixley | 2019-06-18 |
| 10324313 | Graded index single crystal active waveguide in glass | Volkmar Dierolf, Keith J. Veenhuizen | 2019-06-18 |
| 10294582 | Methods of growing single crystals using solid-solid transformation of a glass | Dmytro Savytskyy, Volkmar Dierolf | 2019-05-21 |
| 10218728 | Anomaly detection for web document revision | Lakshmi Narasimhan | 2019-02-26 |