Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
MP

Mark Proctor — 25 Patents

IBM: 25 patents #4,231 of 70,183Top 7%
London, GB: #163 of 11,041 inventorsTop 2%
Overall (All Time): #158,593 of 4,157,543Top 4%
25 Patents All Time
Mark Proctor has been granted 25 US patents while listed as an inventor at IBM. The first was granted in 2011 and the most recent in March 2024. Mark Proctor ranks #158,593 of 4,157,543 US inventors in our database (top 3.8%). Patent records list Mark Proctor in London, GB.

Patents per Year

Patents granted per year, 2011 to 2024Bar chart with a peak of 6 patents in 2013.peak 62011: 4 patents20112012: 2 patents20122013: 6 patents20132014: 3 patents20142015: 2 patents20152016: 2 patents20162018: 1 patents20182019: 2 patents20192020: 2 patents20202024: 1 patents2024

Issued Patents All Time

Showing 1–25 of 25 patents

Patent #TitleCo-InventorsDateApprox Value ⓘ
11928609 Node sharing for a rule engine coded in a compiled language Luca Molteni 2024-03-12
10817268 Framework for modeling with domain model capabilities Roger Martinez Palleja 2020-10-27
10755186 Pluggable knowledge types in a rule engine Mario Fusco 2020-08-25
10430234 Thread coordination in a rule engine using a state machine Mario Fusco 2019-10-01 $13,422,000
10339454 Building a hybrid reactive rule engine for relational and graph reasoning Mario Fusco 2019-07-02 $65,874,000
10061758 Tabular widget with mergable cells Michael Anstis 2018-08-28 $19,277,000
9361582 Efficient binary protocol marshalling for rule engine sessions Edson Tirelli 2016-06-07 $8,060,000
9286570 Property reactive modifications in a rete network Mario Fusco 2016-03-15 $8,395,000
9213942 Pattern behavior support in a rule engine Edson Tirelli 2015-12-15 $17,959,000
8930297 Using left and right unlinking Edson Tirelli 2015-01-06 $15,990,000
8756049 Simulation and test framework for a rule engine 2014-06-17 $33,653,000
8712949 Multi-dimensional tuple support in rule engines Edson Tirelli 2014-04-29 $7,398,000
8645296 Knowledgebase partitioning Edson Tirelli 2014-02-04 $9,527,000
8600914 Left and right unlinking for a shared knowledge base Edson Tirelli 2013-12-03 $17,567,000
8589322 Reducing churn from excessive unlinking by logically unlinking inputs of a node in a session Edson Tirelli 2013-11-19 $5,243,000
8538905 Lazily enabled truth maintenance in rule engines Edson Tirelli 2013-09-17 $17,647,000
8417659 Multi-result set calculation support in rule engines Edson Tirelli 2013-04-09 $7,653,000
8418135 Method and apparatus to abstract away rule languages Edson Tirelli, Robert Kelly McWhirter 2013-04-09 $7,653,000
8352402 Multiple entry point network for stream support in a rule engine Edson Tirelli 2013-01-08 $26,826,000
8315967 Sequential mode in a Rete rule engine 2012-11-20 $15,788,000
8271419 Efficient binary protocol marshalling for rule engine sessions Edson Tirelli 2012-09-18 $23,029,000
8024281 Alpha node hashing in a rule engine Edson Tirelli 2011-09-20 $68,437,000
7991727 Mechanism to abstract fact types from a rule engine Edson Tirelli 2011-08-02 $15,247,000
7912801 Method and apparatus to define a ruleflow Kris Verlaenen 2011-03-22 $17,653,000
7904402 Pluggable dialects for a rule engine Edson Tirelli 2011-03-08 $12,693,000