Concepedia

Mark Proctor

MP

Statistics

Publications

3

Citations

215

H-Index

3

Active since

2002

Affiliations

Red Hat (United States)(Current)

Mark Proctor is an author at Red Hat (United States) specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2002–2010

3

Publications

3

A new representation and crossover operator for search-based optimization of software modularization

Mark Harman, Robert M. Hierons, Mark Proctor · 2002 · 147 citations

A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information

Davide Sottara, Paola Mello, Mark Proctor · IEEE Transactions on Knowledge and Data Engineering · 2010 · 50 citations

, , +20

Relational Declarative Programming with JBoss Drools

Mark Proctor · 2007 · 18 citations

, , +13

1–3 of 3