Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7685566 | Structured message process calculus | Allen L. Brown, Cosimo Laneve | 2010-03-23 |
| 7503033 | Model for business workflow processes | Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews | 2009-03-10 |
| 7467206 | Reputation system for web services | George M. Moore | 2008-12-16 |
| 7467371 | Binding for business workflow processes | Marc Levy, Brian C. Beckman, Anthony D. Andrews, Bimal Mehta, Mitra Kanchan | 2008-12-16 |
| 7409671 | Model for business workflow processes | Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews | 2008-08-05 |
| 7380166 | Compensation framework for long running transactions | Satish R. Thatte, Marc Levy, Bimal Mehta, Johannes Klein, Anthony D. Andrews | 2008-05-27 |
| 7376663 | XML-based representation of mobile process calculi | — | 2008-05-20 |
| 7376547 | Systems and methods that facilitate quantum computer simulation | — | 2008-05-20 |
| 7184967 | System and method utilizing a graphical user interface of a business process workflow scheduling program | Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews, Terry J. Myerson | 2007-02-27 |
| 6918053 | Compensation framework for long running transactions | Satish R. Thatte, Marc Levy, Bimal Mehta, Johannes Klein, Anthony D. Andrews | 2005-07-12 |
| 6625602 | Method and system for hierarchical transactions and compensation | Amit Mital, Marc Levy, Brian C. Beckman, Anthony D. Andrews, Bimal Mehta | 2003-09-23 |
| 6516322 | XML-based representation of mobile process calculi | — | 2003-02-04 |