Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9779082 | Portable self-describing representations of measurements | — | 2017-10-03 |
| 9276888 | System and method of supporting constructive discourse on computers and mobile devices | — | 2016-03-01 |
| 8909722 | System and method of supporting constructive discourse on computers and mobile devices | — | 2014-12-09 |
| 8438229 | System and method of supporting constructive discourse on computers and mobile devices | — | 2013-05-07 |
| 8121998 | Method for automatically enabling traceability of engineering calculations | Christopher Baril, Frederick R. Mueller, Jeremy Lew, Jonathan G. Bell, Leopold Travis | 2012-02-21 |
| 7752299 | Segmentation and processing of continuous data streams using transactional semantics | Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louis Krawitz, Michael James Beckerle +2 more | 2010-07-06 |
| 7392320 | Segmentation and processing of continuous data streams using transactional semantics | Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louis Krawitz, Michael James Beckerle +2 more | 2008-06-24 |
| 6801938 | Segmentation and processing of continuous data streams using transactional semantics | Lawrence A. Bookman, David Albert Blair, Steven Rosenthal, Robert Louise Krawitz, Michael James Beckerle +2 more | 2004-10-05 |
| 6330008 | Apparatuses and methods for monitoring performance of parallel computing | Daniel W. Kohn, Michael James Beckerle, Jeffrey D. Ives | 2001-12-11 |
| 5771392 | Encoding method to enable vectors and matrices to be elements of vectors and matrices | — | 1998-06-23 |
| 5526475 | Method for live symbolic calculations in a mathematical document editor | — | 1996-06-11 |
| 5469538 | Mathematical document editor and method performing live symbolic calculations for use with an electronic book | — | 1995-11-21 |