Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6986126 | Method and apparatus for detecting violations of type rules in a computer program | Nicolai Kosche, David D. Pagan | 2006-01-10 |
| 6718542 | Disambiguating memory references based upon user-specified programming constraints | Nicolai Kosche, Milton E. Barber, Peter C. Damron, Sidney J. Hummert | 2004-04-06 |
| D450785 | Truck | — | 2001-11-20 |
| 5835918 | Method-management system and process based on a single master message file | Kathryn Walker, Robert Mori | 1998-11-10 |
| 5822588 | System and method for checking the use of synchronization locks in a multi-threaded target program | Nicholas Asher Sterling, Steven R. Kleiman, Charles Fineman, Keith H. Bierman | 1998-10-13 |