Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7904401 | Scaleable ontology reasoning to explain inferences made by a tableau reasoner | Julian Timothy Dolby, Aditya A. Kalyanpur, Achille B. Fokoue-Nkoutche, Li Ma, Edith Schonberg +1 more | 2011-03-08 |
| 7860816 | Method and apparatus for safe ontology reasoning | Achille B. Fokoue-Nkoutche, Genady Grabarnik, Nagui Halim, Edith Schonberg, Larisa Shwartz +1 more | 2010-12-28 |
| 7237236 | Method and apparatus for automatically determining optimum placement of privileged code locations in existing code | Lawrence Koved, Anthony Joseph Nadalin, Marco Pistoia | 2007-06-26 |
| 7219341 | Code analysis for selective runtime data processing | Ann Eleanor Dalton, David Granshaw, Matt R. Hogstrom, Lawrence Koved, Bert Vincent Laonipon +2 more | 2007-05-15 |
| 7076804 | Automated program resource identification and association | Lawrence Koved, Marco Pistoia | 2006-07-11 |