Inventor · disambiguated record
Geert Janssen
Also filed as: JANSSEN GEERT
25 granted patents·261 citations·filing 2000–2015
96Inventor score
Top patents by PatentIndex Score
25 records- 0192US7299432B2Method for preserving constraints during sequential reparameterizationIBM·Filed 2005·Granted Nov 20, 2007·29 cites·20 claims
- 0290US6473884B1Method 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
- 0388US10460403B2System and method to reduce human activity damage-induced power outageIBM·Filed 2015·Granted Oct 29, 2019·7 cites·23 claims
- 0487US7367002B2Method and system for parametric reduction of sequential designsIBM·Filed 2005·Granted Apr 29, 2008·16 cites·7 claims
- 0584US6698003B2Framework for multiple-engine based verification tools for integrated circuitsIBM·Filed 2001·Granted Feb 24, 2004·38 cites·28 claims
- 0683US7917874B2Reversing the effects of sequential reparameterization on tracesIBM·Filed 2008·Granted Mar 29, 2011·9 cites·6 claims
- 0783US7765514B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2007·Granted Jul 27, 2010·9 cites·5 claims
- 0883US7370298B2Method for heuristic preservation of critical inputs during sequential reparameterizationIBM·Filed 2005·Granted May 6, 2008·11 cites·7 claims
- 0982US7350166B2Method and system for reversing the effects of sequential reparameterization on tracesIBM·Filed 2005·Granted Mar 25, 2008·9 cites·7 claims
- 1082US7350179B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2005·Granted Mar 25, 2008·9 cites·6 claims
- 1181US7752593B2Method for improved synthesis of binary decision diagrams with inverted edges and quantifiable as well as nonquantifiable variablesIBM·Filed 2007·Granted Jul 6, 2010·8 cites·6 claims
- 1279US7689943B2Parametric reduction of sequential designIBM·Filed 2008·Granted Mar 30, 2010·8 cites·13 claims
- 1375US7913205B2Method and system for reversing the effects of sequential reparameterization on tracesIBM·Filed 2008·Granted Mar 22, 2011·5 cites·7 claims
- 1474US7882470B2Method for heuristic preservation of critical inputs during sequential reparameterizationIBM·Filed 2008·Granted Feb 1, 2011·5 cites·13 claims
- 1570US7340473B2Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2004·Granted Mar 4, 2008·12 cites·8 claims
- 1666US8418093B2Method and system for design simplification through implication-based analysisBAUMGARTNER JASON R·Filed 2009·Granted Apr 9, 2013·3 cites·21 claims
- 1766US7506290B2Method and system for case-splitting on nodes in a symbolic simulation frameworkIBM·Filed 2007·Granted Mar 17, 2009·2 cites·8 claims
- 1865US7363603B2Method and system for case-splitting on nodes in a symbolic simulation frameworkIBM·Filed 2005·Granted Apr 22, 2008·2 cites·8 claims
- 1959US8201117B2Method for scalable derivation of an implication-based reachable state set overapproximationBAUMGARTNER JASON R·Filed 2009·Granted Jun 12, 2012·1 cites·20 claims
- 2058US8171437B2Automated convergence of ternary simulation by saturation of deep gatesBAUMGARTNER JASON R·Filed 2009·Granted May 1, 2012·1 cites·19 claims
- 2153US7853917B2System for building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2007·Granted Dec 14, 2010·0 cites·8 claims
- 2253US7475371B2Method and system for case-splitting on nodes in a symbolic simulation frameworkIBM·Filed 2007·Granted Jan 6, 2009·0 cites·7 claims
- 2352US7836413B2Building binary decision diagrams efficiently in a structural network representation of a digital circuitIBM·Filed 2007·Granted Nov 16, 2010·0 cites·8 claims
- 2449US7788618B2Scalable dependent state element identificationIBM·Filed 2007·Granted Aug 31, 2010·0 cites·20 claims
- 2545US8799837B2Optimizing a netlist circuit representation by leveraging binary decision diagrams to perform rewritingBAUMGARTNER JASON·Filed 2008·Granted Aug 5, 2014·0 cites·28 claims
Join the waitlist — get patent alerts
Get an alert when Geert Janssen files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →