| 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 |
