Issued Patents All Time
Showing 25 most recent of 30 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11287302 | Method and device for measuring volume of contents of a vessel or pipe using circuit oscillator | — | 2022-03-29 |
| 9718897 | Process for the polymerization or copolymerization of an alpha olefin | Willie Charles Burton | 2017-08-01 |
| 9718898 | Homogeneous polymerization catalyst for alpha olefins | Willie Charles Burton | 2017-08-01 |
| 9659075 | Providing high availability in an active/active appliance cluster | Neal J. Alewine, Johnson Chiang, Jeffrey CH Liu, Hao-Ting Shih, Ying Wang | 2017-05-23 |
| 9342575 | Providing high availability in an active/active appliance cluster | Neal J. Alewine, Johnson Chiang, Jeffrey CH Liu, Hao-Ting Shih, Ying Wang | 2016-05-17 |
| 9223457 | Visualization of information using landmasses | Donna Eng Dillenberger, Sandra K. Johnson, Joan LaVerne Mitchell | 2015-12-29 |
| 9047162 | Dynamic software version selection | Simon J. Webb | 2015-06-02 |
| 8813023 | Visualization of complex systems using buildings | Donna N. Dillenberger, Sandra K. Johnson, Sharad Mishra, Joan LaVerne Mitchell, Benjamin J. Stoor | 2014-08-19 |
| 8595715 | Dynamic software version selection | Simon J. Webb | 2013-11-26 |
| 8413112 | Visualization of information using landmasses | Donna N. Dillenberger, Sandra K. Johnson, Joan LaVerne Mitchell | 2013-04-02 |
| 8381184 | Dynamic test coverage | Sandra K. Johnson, Sharad Mishra, Joan LaVerne Mitchell, Anil Kumar Thiramdas | 2013-02-19 |
| 8369521 | Smart card based encryption key and password generation and management | — | 2013-02-05 |
| 8271253 | Symbolic depth-first searches using control flow information for improved reachability analysis | — | 2012-09-18 |
| 8171438 | Verification of a program partitioned according to the control flow information of the program | — | 2012-05-01 |
| 8140578 | Multilevel hierarchical associations between entities in a knowledge system | Sandra K. Johnson, Grant D. Miller, Joan LaVerne Mitchell | 2012-03-20 |
| 8001100 | Leveraging multilevel hierarchical associations to find cross-boundary issues | Sampath K. Chilukuri, Sandra K. Johnson, Darbha V. Kumar, Garadi Shashidhar Hemanth Kumar, Sharad Mishra +4 more | 2011-08-16 |
| 7945598 | Methodology for the automatic capture of process information in federated knowledge systems | Sandra K. Johnson, Joan LaVerne Mitchell | 2011-05-17 |
| 7788646 | Method for optimizing integrated circuit device design and service | — | 2010-08-31 |
| 7783662 | Federated information management | Sandra K. Johnson, Joan LaVerne Mitchell | 2010-08-24 |
| 7308657 | Method for generating hints for program analysis | — | 2007-12-11 |
| 7246331 | Method for optimizing integrated circuit device design and service | — | 2007-07-17 |
| 6658603 | Method and apparatus for efficiently generating and implementing engine error codes and verifying the correctness of the implementation of the engine error codes | — | 2003-12-02 |
| 6489410 | Supported catalyst composition for polymerization of olefins | Michael J. Carney | 2002-12-03 |
| 6432863 | Halogenated supports and supported activators | — | 2002-08-13 |
| 6403518 | Supported catalyst composition derived from halogenated supports and support activators | — | 2002-06-11 |