P

Inventor

HALL MARK L

US5 patents
⚠️ This page may combine multiple inventors who share the name “HALL MARK L”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MICROSOFT CORP

3 patents
US6374368B1Apr 16, 2002

Weakest precondition analysis

MICROSOFT CORP23 citations90
US7730465B2Jun 1, 2010

Mixed types

MICROSOFT CORP27 citations88
US7496889B2Feb 24, 2009

Whitespace keywords

MICROSOFT CORP8 citations79

INGERSOLL DRESSER PUMP CO

1 patent
US5779005AJul 14, 1998

Constant flow cascade lubrication system

INGERSOLL DRESSER PUMP CO51 citations86

MICROSOFT TECHNOLOGY LICENSING LLC

1 patent
US9672020B2Jun 6, 2017

Selectively loading precompiled header(s) and/or portion(s) thereof

MICROSOFT TECHNOLOGY LICENSING LLC0 citations39