Inventor · disambiguated record
Nathan Robert Albert Keynes
Also filed as: KEYNES NATHAN · KEYNES NATHAN ROBERT ALBERT
11 granted patents·69 citations·filing 2009–2020
85Inventor score
Top patents by PatentIndex Score
11 records- 0193US8516443B2Context-sensitive analysis framework using value flowsLI LIAN·Filed 2011·Granted Aug 20, 2013·51 cites·15 claims
- 0277US8893102B2Method and system for performing backward-driven path-sensitive dataflow analysisKEYNES NATHAN ROBERT ALBERT·Filed 2011·Granted Nov 18, 2014·8 cites·14 claims
- 0368US11159381B2Verification of software-defined networking (SDN) policies for specific topologiesORACLE INT CORP·Filed 2019·Granted Oct 26, 2021·2 cites·18 claims
- 0466US11030304B2Buffer overflow detection based on a synthesis of assertions from templates and k-inductionORACLE INT CORP·Filed 2018·Granted Jun 8, 2021·1 cites·17 claims
- 0566US8302086B2System and method for overflow detection using symbolic analysisLI LIAN·Filed 2009·Granted Oct 30, 2012·4 cites·20 claims
- 0665US8473927B2Points-to analysis using value flowLI LIAN·Filed 2011·Granted Jun 25, 2013·2 cites·19 claims
- 0758US8578343B2System and method for overflow detection using partial evaluationsSCHOLZ BERNHARD F·Filed 2010·Granted Nov 5, 2013·1 cites·17 claims
- 0851US10620660B2Efficient timestamp solution for analyzing concurrent software systemsORACLE INT CORP·Filed 2018·Granted Apr 14, 2020·0 cites·20 claims
- 0950US10719425B2Happens-before-based dynamic concurrency analysis for actor-based programsORACLE INT CORP·Filed 2018·Granted Jul 21, 2020·0 cites·19 claims
- 1044US10949336B2Path-sensitive static analysisORACLE INT CORP·Filed 2019·Granted Mar 16, 2021·0 cites·19 claims
- 1143US11204746B2Encoding dependencies in call graphsORACLE INT CORP·Filed 2020·Granted Dec 21, 2021·0 cites·18 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →