Ilan Beer
8Patents
5h-index
21Co-inventors
63Inventor score
Filing activity: Jul 29, 1998 → Mar 27, 2020
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6192505A | Method and system for reducing state space variables prior to symbolic model checking | Physics | 31 | Expired |
| US7146605B2 | Automatic abstraction of software source | Physics | 15 | Expired |
| US6691078B1 | Target design model behavior explorer | Physics | 14 | Expired |
| US10819968B2 | Neural network based patch blending for immersive video | Electricity | 13 | Active |
| US6715107B2 | Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest | Physics | 6 | Expired |
| US7188061B2 | Simulation monitors based on temporal formulas | Physics | 3 | Expired |
| US11250616B2 | View-dependent carving of reconstructed data from segmentation masks | Physics | 0 | Active |
| US8949766B2 | Detecting corresponding paths in combinationally equivalent circuit designs | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.