Issued Patents All Time
Showing 25 most recent of 34 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10193951 | Binding CRUD-type protocols in distributed agreement protocols | John P. Shewchuk, William L. Portnoy | 2019-01-29 |
| 9313252 | Binding crud-type protocols in distributed agreement protocols | John P. Shewchuk, William L. Portnoy | 2016-04-12 |
| 9229696 | Common intermediate representation for data scripting language | Donald F. Box, Bradford H. Lovering, John D. Doty, Jeffrey C. Schlimmer, John Lawrence Hamby | 2016-01-05 |
| 8949784 | Type system for declarative data scripting language | Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2015-02-03 |
| 8762942 | Bidirectional type checking for declarative data scripting language | Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2014-06-24 |
| 8763093 | Access control management | Qian Wang, Andrew Layman, John P. Shewchuk, Shiung-Vei Yong, Charles Edgar Passmore +2 more | 2014-06-24 |
| 8473897 | Common intermediate representation for data scripting language | Donald F. Box, Bradford H. Lovering, John D. Doty, Jeffrey C. Schlimmer, John Lawrence Hamby | 2013-06-25 |
| 8413119 | Semantic subtyping for declarative data scripting language by calling a prover | Gavin Mark Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more | 2013-04-02 |
| 8321833 | Compact syntax for data scripting language | Bradford H. Lovering, Donald F. Box, Giovanni M. Della-Libera, Jeffrey S. Pinkston, Jeffrey C. Schlimmer +2 more | 2012-11-27 |
| 8296744 | Tree-based directed graph programming structures for a declarative programming language | John Lawrence Hamby, Bradford H. Lovering, Donald F. Box | 2012-10-23 |
| 8135794 | Availability and scalability in a messaging system in a manner transparent to the application | Rodney Limprecht, Richard D. Hill, Hany E. Ramadan, Shy Cohen | 2012-03-13 |
| 7949787 | Open content model Web service messaging | Donald F. Box, Christopher G. Kaler, Steven Lucco, John P. Shewchuk, Luis Felipe Cabrera +6 more | 2011-05-24 |
| 7912973 | Message exchange protocol extension negotiation | Max Feingold, James E. Johnson, John D. Doty, Michael Ray Clark | 2011-03-22 |
| 7873832 | Mechanism for secure participation in a transaction by a third party | Max Feingold, Christopher G. Kaler, James E. Johnson | 2011-01-18 |
| 7853695 | Using expressive session information to represent communication sessions in a distributed system | Christopher G. Kaler, John P. Shewchuk | 2010-12-14 |
| 7801999 | Binding heterogeneous transports to a message contract | Jeffrey C. Schlimmer | 2010-09-21 |
| 7761584 | Generalized protocol mapping | Satish R. Thatte | 2010-07-20 |
| 7702924 | End-to-end reliable messaging with complete acknowledgement | Christopher G. Kaler, Luis Felipe Cabrera, Patrick James Helland, Steven Lucco, John P. Shewchuk | 2010-04-20 |
| 7693952 | Availability and scalability in a messaging system in a manner transparent to the application | Rodney Limprecht, Richard D. Hill, Hany E. Ramadan, Shy Cohen | 2010-04-06 |
| 7676580 | Message delivery with configurable assurances and features between two endpoints | Richard D. Hill, Rodney Limprecht, Hany E. Ramadan, Shy Cohen | 2010-03-09 |
| 7664723 | Symbolic computation using an inverted match | — | 2010-02-16 |
| 7664484 | Pooling groups of wireless communication users | William Marsh, James E. Dutton | 2010-02-16 |
| 7627759 | End-to-end reliable messaging with complete acknowledgement | Christopher G. Kaler, Luis Felipe Cabrera, Patrick James Helland, Steven Lucco, John P. Shewchuk | 2009-12-01 |
| 7627541 | Transformation of modular finite state transducers | Steven Lucco, Giovanni M. Della-Libera | 2009-12-01 |
| 7624075 | Transformation of modular finite state transducers | Steven Lucco, Giovanni M. Della-Libera | 2009-11-24 |