Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9158516 | Dual mode evaluation for programs containing recursive computation | — | 2015-10-13 |
| 8819641 | Program state reversing software development tool | — | 2014-08-26 |
| 8402451 | Dual mode evaluation for programs containing recursive computations | — | 2013-03-19 |
| 7735061 | Efficient encoding and access of mathematically precise variable precision numeric types | — | 2010-06-08 |