Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9736183 | Verifying access-control policies with arithmetic quantifier-free form constraints | Sanjai Narain | 2017-08-15 |
| 8826366 | Verifying access-control policies with arithmetic quantifier-free form constraints | Sanjai Narain | 2014-09-02 |
| 8805770 | Router route reconfiguration planning | Sanjai Narain | 2014-08-12 |
| 8724508 | Automated policy generation for mobile communication networks | Cho-Yu Jason Chiang, Yitzchak Gottlieb, Ritu Chadha, Shih-Wei Li | 2014-05-13 |
| 8554796 | Query-based semantic analysis of ad hoc configuration languages for networks | Sanjai Narain | 2013-10-08 |
| 8315966 | Scalable and interactive method of generating and modifying network configurations to enforce compliance with high-level requirements | Sanjai Narain, Vikram Kaul, Rajesh Talpade | 2012-11-20 |
| 8023423 | Automated policy generation for mobile communication networks | Cho-Yu Jason Chiang, Yitzchak Gottlieb, Ritu Chadha, Shih-Wei Li | 2011-09-20 |
| D265866 | Jewelry box | — | 1982-08-24 |
| D260934 | Railroad restaurant | — | 1981-09-22 |
| 4286358 | Paper clip | — | 1981-09-01 |
| D259740 | Railroad restaurant | — | 1981-06-30 |
| D259281 | Railroad restaurant | — | 1981-05-19 |
| D257638 | Railroad restaurant | — | 1980-12-16 |