William S. Harris JR.

Person

Madison, AL, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automated table transformations from examples
- Patent number 10,108,597
- Issue date Oct 23, 2018
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated table transformations from examples
- Patent number 9,430,459
- Issue date Aug 30, 2016
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated table transformations from examples
- Patent number 8,484,550
- Issue date Jul 9, 2013
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program verification through symbolic enumeration of control path p...
- Patent number 8,402,440
- Issue date Mar 19, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
POWER SUPPLY UNIT
- Publication number 20190310697
- Publication date Oct 10, 2019
- Microsoft Technology Licensing, LLC
- Shaun L. Harris
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES
- Publication number 20160350276
- Publication date Dec 1, 2016
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES
- Publication number 20130275847
- Publication date Oct 17, 2013
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES
- Publication number 20120198322
- Publication date Aug 2, 2012
- Microsoft Corporation
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...
- Publication number 20100005454
- Publication date Jan 7, 2010
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Thermoluminescent reader system
- Publication number 20060131498
- Publication date Jun 22, 2006
- James T. Flournoy
- G01 - MEASURING TESTING
Information Patent Application
Thermoluminescent reader module
- Publication number 20060131499
- Publication date Jun 22, 2006
- William S. Harris
- G01 - MEASURING TESTING

William S. Harris JR.

Person

Patents Grantslast 30 patents

Automated table transformations from examples

Automated table transformations from examples

Automated table transformations from examples

Program verification through symbolic enumeration of control path p...

Patents Applicationslast 30 patents

POWER SUPPLY UNIT

AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES

AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES

AUTOMATED TABLE TRANSFORMATIONS FROM EXAMPLES

PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...

Thermoluminescent reader system

Thermoluminescent reader module