| 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 |
$2,171,000 |
| 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 |
$3,602,000 |
| 9223457 |
Visualization of information using landmasses |
Donna Eng Dillenberger, Sandra K. Johnson, Joan LaVerne Mitchell |
2015-12-29 |
$4,224,000 |
| 9047162 |
Dynamic software version selection |
Simon J. Webb |
2015-06-02 |
$4,815,000 |
| 8813023 |
Visualization of complex systems using buildings |
Donna N. Dillenberger, Sandra K. Johnson, Sharad Mishra, Joan LaVerne Mitchell, Benjamin J. Stoor |
2014-08-19 |
$3,895,000 |
| 8595715 |
Dynamic software version selection |
Simon J. Webb |
2013-11-26 |
$4,812,000 |
| 8413112 |
Visualization of information using landmasses |
Donna N. Dillenberger, Sandra K. Johnson, Joan LaVerne Mitchell |
2013-04-02 |
$8,535,000 |
| 8381184 |
Dynamic test coverage |
Sandra K. Johnson, Sharad Mishra, Joan LaVerne Mitchell, Anil Kumar Thiramdas |
2013-02-19 |
$3,959,000 |
| 8369521 |
Smart card based encryption key and password generation and management |
— |
2013-02-05 |
$27,889,000 |
| 8271253 |
Symbolic depth-first searches using control flow information for improved reachability analysis |
— |
2012-09-18 |
$5,189,000 |
| 8171438 |
Verification of a program partitioned according to the control flow information of the program |
— |
2012-05-01 |
$7,417,000 |
| 8140578 |
Multilevel hierarchical associations between entities in a knowledge system |
Sandra K. Johnson, Grant D. Miller, Joan LaVerne Mitchell |
2012-03-20 |
$2,170,000 |
| 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 |
$4,692,000 |
| 7945598 |
Methodology for the automatic capture of process information in federated knowledge systems |
Sandra K. Johnson, Joan LaVerne Mitchell |
2011-05-17 |
$5,524,000 |
| 7788646 |
Method for optimizing integrated circuit device design and service |
— |
2010-08-31 |
$3,369,000 |
| 7783662 |
Federated information management |
Sandra K. Johnson, Joan LaVerne Mitchell |
2010-08-24 |
$3,306,000 |
| 7308657 |
Method for generating hints for program analysis |
— |
2007-12-11 |
$7,826,000 |
| 7246331 |
Method for optimizing integrated circuit device design and service |
— |
2007-07-17 |
$18,864,000 |
| 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 |
$4,756,000 |
| 6489410 |
Supported catalyst composition for polymerization of olefins |
Michael J. Carney |
2002-12-03 |
$3,492,000 |
| 6432863 |
Halogenated supports and supported activators |
— |
2002-08-13 |
$2,511,000 |
| 6403518 |
Supported catalyst composition derived from halogenated supports and support activators |
— |
2002-06-11 |
$1,063,000 |
