Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12073452 | Method of providing recommendations in an online listing platform | Vadim Evgenevich Kovalev | 2024-08-27 |
| 6295515 | Static partial order reduction | Robert P. Kurshan, Marius Minea, Doron A. Peled, Husnu Yenigun | 2001-09-25 |
| 6209120 | Verifying hardware in its software context and vice-versa | Robert P. Kurshan, Marius Minea, Doron A. Peled, Husnu Yenigun | 2001-03-27 |