Robert B. Jones

Follow

Person

Hillsboro, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Decisions with big data
- Patent number 11,501,042
- Issue date Nov 15, 2022
- IMAGARS LLC
- Baldur Andrew Steingrimsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic symbolic indexing methods for formal verification on a sy...
- Patent number 7,310,790
- Issue date Dec 18, 2007
- Intel Corporation
- Thomas F. Melham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic simulation using input space decomposition via Boolean fun...
- Patent number 6,539,345
- Issue date Mar 25, 2003
- Intel Corporation
- Robert B. Jones
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Decisions with Big Data
- Publication number 20190087529
- Publication date Mar 21, 2019
- Imagars LLC
- Baldur Andrew Steingrimsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic symbolic indexing methods for formal verification on a sy...
- Publication number 20040107409
- Publication date Jun 3, 2004
- Thomas F. Melham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parametric representation methods for formal verification on a symb...
- Publication number 20040107174
- Publication date Jun 3, 2004
- Robert B. Jones
- G06 - COMPUTING CALCULATING COUNTING