Issued Patents All Time
Showing 26–39 of 39 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10163361 | Behavior shaping using a construction toy | Cong Chen, Kanji Uchino | 2018-12-25 |
| 10139991 | Lightweight virtual environment | Sanam Mirzazad Barijough | 2018-11-27 |
| 10102768 | Behavior variability and complexity modeling using a construction toy | Cong Chen, Kanji Uchino | 2018-10-16 |
| 9979680 | Smart notification scheduling and modality selection | Cong Chen, Kanji Uchino | 2018-05-22 |
| 9864743 | Textual emotion detection | Ramya Malur Srinivasan | 2018-01-09 |
| 9686288 | Method and apparatus for constructing security policies for web content instrumentation against browser-based attacks | Haruka Kikuchi, Dachuan Yu | 2017-06-20 |
| 9501049 | Dynamic environment adaptation | Rajalakshmi Balakrishnan | 2016-11-22 |
| 9300869 | Reduction of spatial resolution for temporal resolution | David L. Marvit, Jawahar Jain, Stergios Stergiou | 2016-03-29 |
| 9295414 | Adaptive interruptions personalized for a user | — | 2016-03-29 |
| 8468499 | Directed testing for property violations | Dinakar Dhurjati, Hiroshi Inamura | 2013-06-18 |
| 8452720 | System and methods for optimizing user interaction in web-related activites | Dong Zhou, Hiroshi Inamura | 2013-05-28 |
| 8302080 | Automated test input generation for web applications | Gary Michael Wassermann, Dachuan Yu, Dinakar Dhurjati, Hiroshi Inamura | 2012-10-30 |
| 7730455 | Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints | Nayeem Islam, David Espinosa, Peter Lee, George C. Necula | 2010-06-01 |
| 7574695 | Performing checks on the resource usage of computer programs | Nayeem Islam, David Espinosa, George C. Necula, Peter Lee | 2009-08-11 |