Florian Krohm
4Patents
4h-index
6Co-inventors
39Inventor score
Filing activity: Aug 28, 1997 → Sep 24, 2003
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6035107A | Method for performing functional comparison of combinational circuits | Physics | 61 | Expired |
| US6473884B1 | Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysis | Physics | 42 | Expired |
| US7089542B2 | Method and apparatus for finding errors in software programs using satisfiability of constraints | Physics | 28 | Expired |
| US7168009B2 | Method and system for identifying errors in computer software | Physics | 16 | Expired |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.