Issued Patents 2023
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11849047 | Certifying authenticity of data modifications | Hiroaki Nakamura | 2023-12-19 |
| 11790263 | Program synthesis using annotations based on enumeration patterns | Futoshi Iwama, Shin Saito | 2023-10-17 |