Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8756220 | Modifying search result ranking based on corpus search statistics | John Provine, Alexander L. Vasserman | 2014-06-17 |
| 8738350 | Mixed concurrent and serial logic simulation of hardware designs | Keith A. Whisnant, Giacinto Paolo Saggese | 2014-05-27 |
| 8359309 | Modifying search result ranking based on corpus search statistics | John Provine, Alexander L. Vasserman | 2013-01-22 |
| 8156457 | Concurrent simulation of hardware designs with behavioral characteristics | Giacinto Paolo Saggese, Keith A. Whisnant | 2012-04-10 |