LexDanaLexDanabeta
Inventor

Gradus Janssen

Inventor
Putnam Valley, NY, US

Overview

3→
Patents
2006–2017
Patent span
Physics
Primary field (CPC G)

Patents· 3 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
9,665,538'Solving satisfiability problems through search'20178,640,065'Circuit verification using computational algebraic geometry'20146,993,732'Design of a pointerless BDD package'2006

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2006–2017Patents assigned to IBM (3)· patent assignee history
2006–2017Based in Putnam Valley, NY, US· patent location history
2014Patents assigned to EL-ZEIN ALI (1)· patent assignee history
2014Patents assigned to JANSSEN GRADUS GEERT (1)· patent assignee history
2014Patents assigned to LASTRAS-MONTANO LUIS (1)· patent assignee history
2014Patents assigned to LVOV ALEXEY Y (1)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
IBM32006–2017
EL-ZEIN ALI12014
JANSSEN GRADUS GEERTself12014
LASTRAS-MONTANO LUIS12014
LVOV ALEXEY Y12014
Locations
LocationPatentsSpan
Putnam Valley, New York, US32006–2017