Issued Patents All Time
Showing 1–19 of 19 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11960469 | Heterogeneous integration with distributed ledger blockchain services | Patrick J. D. Santos | 2024-04-16 |
| 11700304 | Confirmation of service levels via distributed ledgers | Patrick J. D. Santos | 2023-07-11 |
| 11410162 | Anonymous distributed consensus regarding the verification of protocols | Pamela E. Bell, David B. Ezell, Patrick J. D. Santos | 2022-08-09 |
| 10633466 | Low density polyethylene of high clarity, film made therefrom and a process for producing such film | Maged G. Botros, Stephen M. Imfeld | 2020-04-28 |
| 10331679 | Method and apparatus for providing a recommendation for learning about an interest of a user | Bryan Strassner, Michael J. Lemen, Trevor Lovett, Douglas McCullough, Matthew McEuen | 2019-06-25 |
| 9275146 | Expressing and executing semantic queries within a relational database | Stuart Michael Bowers, Thomas E. Jackson, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust | 2016-03-01 |
| 8751433 | Efficient probabilistic reasoning over semantic data | Stuart Michael Bowers, Thomas E. Jackson, Silvia C. Vega, Chris Demetrios Karkanias, David G. Campbell +1 more | 2014-06-10 |
| 8407242 | Temporal binding for semantic queries | Thomas E. Jackson, Stuart Michael Bowers, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust | 2013-03-26 |
| 8204903 | Expressing and executing semantic queries within a relational database | Stuart Michael Bowers, Thomas E. Jackson, Chris Demetrios Karkanias, David G. Campbell, Brian S. Aust | 2012-06-19 |
| 8156472 | Process language for microprocessors with finite resources | L. Gregory Meredith, David Richter, George M. Moore | 2012-04-10 |
| 7925966 | Grouping and nesting hierarchical namespaces | Christopher G. Kaler, Robert G. Atkinson, Steven Lucco | 2011-04-12 |
| 7685566 | Structured message process calculus | Lucius Gregory Meredith, Cosimo Laneve | 2010-03-23 |
| 7613997 | Grouping and nesting hierarchical namespaces | Christopher G. Kaler, Robert G. Atkinson, Steven Lucco | 2009-11-03 |
| 7543266 | Lock-free state merging in parallelized constraint satisfaction problem solvers | — | 2009-06-02 |
| 6993714 | Grouping and nesting hierarchical namespaces | Christopher G. Kaler, Robert G. Atkinson, Steven Lucco | 2006-01-31 |
| 5557720 | Method of determining whether a document tree is weakly valid | Sidney W. Marshall | 1996-09-17 |
| 5491628 | Method and apparatus for document transformation based on attribute grammars and attribute couplings | Toshiro Wakayama, Suryanarayana M. Mantha, An-Ming Feng | 1996-02-13 |
| 5438512 | Method and apparatus for specifying layout processing of structured documents | Suryanarayana M. Mantha, Toshiro Wakayama | 1995-08-01 |
| D321052 | Multiple embalming injector | Jesse L. Colodner | 1991-10-22 |