Inventor · disambiguated record
Florian Krohm
Also filed as: KROHM FLORIAN · KROHM FLORIAN KARL
4 granted patents·242 citations·filing 1997–2003
82Inventor score
Technology areasG06F
Files withIBM4
Top patents by PatentIndex Score
4 records- 0190US6473884B1Method and system for equivalence-checking combinatorial circuits using interative binary-decision-diagram sweeping and structural satisfiability analysisIBM·Filed 2000·Granted Oct 29, 2002·77 cites·21 claims
- 0285US7089542B2Method and apparatus for finding errors in software programs using satisfiability of constraintsIBM·Filed 2002·Granted Aug 8, 2006·49 cites·21 claims
- 0379US7168009B2Method and system for identifying errors in computer softwareIBM·Filed 2003·Granted Jan 23, 2007·30 cites·19 claims
- 0478US6035107AMethod for performing functional comparison of combinational circuitsIBM·Filed 1997·Granted Mar 7, 2000·86 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →