Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8156472 | Process language for microprocessors with finite resources | Allen L. Brown, David Richter, George M. Moore | 2012-04-10 |
| 7702749 | Type checking for safe interoperability among web processes | Steve Bjorg, David Richter | 2010-04-20 |
| 7216335 | Operational semantics rules for governing evolution of processes and queries as processes | Steve Bjorg, David Richter | 2007-05-08 |
| 7117487 | Structural equivalence of expressions containing processes and queries | Steve Bjorg, David Richter | 2006-10-03 |
| 7055142 | Permutation nuances of the integration of processes and queries as processes at queues | Steve Bjorg, David Richter | 2006-05-30 |