Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9619582 | Interactive search querying | Gueorgui Djabarov, Alex B. Harper, Stuart B. Morgan, Michael Pinkerton, John Nicholas Jitkoff +1 more | 2017-04-11 |
| 8918772 | Statically analyzing program correctness for a dynamic programming language | Greg Miller | 2014-12-23 |
| 8838603 | Interactive search querying | Gueorgui Djabarov, Alex B. Harper, Stuart B. Morgan, Michael Pinkerton, John Nicholas Jitkoff +1 more | 2014-09-16 |
| 8407249 | Handling document revision history information in the presence of a multi-user permissions model | Michael Pinkerton, Thomas E. Van Lenten, Amanda Elwell Walker, Greg Miller, Alex B. Harper | 2013-03-26 |
| 8387020 | Verifying that a method has been implemented for a program written in a dynamic programming language | Thomas E. Van Lenten | 2013-02-26 |
| 8204897 | Interactive search querying | Gueorgui Djabarov, Alex B. Harper, Stuart B. Morgan, Michael Pinkerton, John Nicholas Jitkoff +1 more | 2012-06-19 |
| 8019780 | Handling document revision history information in the presence of a multi-user permissions model | Michael Pinkerton, Thomas E. Van Lenten, Amanda Elwell Walker, Greg Miller, Alex B. Harper | 2011-09-13 |