Inventor · disambiguated record
Shmuel Sagiv
Also filed as: SAGIV SHMUEL
4 granted patents·208 citations·filing 1995–2010
79Inventor score
Technology areasG06F
Top patents by PatentIndex Score
4 records- 0185US6301699B1Method for detecting buffer overflow for computer securityCOREKT SECURITY SYSTEMS INC·Filed 1999·Granted Oct 9, 2001·176 cites·7 claims
- 0279US8656330B1Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and softwareKUEHLMANN ANDREAS·Filed 2010·Granted Feb 18, 2014·6 cites·15 claims
- 0370US8862439B1General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and softwareKUEHLMANN ANDREAS·Filed 2010·Granted Oct 14, 2014·3 cites·20 claims
- 0445US5555412AComplier and method for alias checking in a complierIBM·Filed 1995·Granted Sep 10, 1996·23 cites·21 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →