Inventor

GINZBURG MARK

IL4 patents

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

GEIST DANIEL

2 patents

US8108195B2Jan 31, 2012

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL2 citations57

US8489380B2Jul 16, 2013

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL0 citations44

IBM

1 patent

US7835898B2Nov 16, 2010

Satisfiability (SAT) based bounded model checkers

IBM5 citations70

POINTGRAB LTD

1 patent

US10205891B2Feb 12, 2019

Method and system for detecting occupancy in a space

POINTGRAB LTD2 citations67