| 10310819 |
Method and apparatus for providing symbolic mode checking of business application requirements |
Ian D. Simmonds, Paul T. Keyser, Mark N. Wegman |
2019-06-04 |
| 10049090 |
Manipulating design models by editing generated reports |
Steven R. Abrams, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth +3 more |
2018-08-14 |
| 8706704 |
Method and system for creating semantic relationships using hyperlinks |
Steven R. Abrams, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth +4 more |
2014-04-22 |
| 8671284 |
Security model for actor-based languages and apparatus, methods, and computer programming products using same |
John H. Field, Salvatore A. Guarnieri, Marco Pistoia |
2014-03-11 |
| 8661264 |
Security model for actor-based languages and apparatus, methods, and computer programming products using same |
John H. Field, Salvatore A. Guarnieri, Marco Pistoia |
2014-02-25 |
| 8656267 |
Method of approximate document generation |
— |
2014-02-18 |
| 8499238 |
Manipulating design models by editing generated reports |
Steven R. Abrams, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson, Tova Roth +3 more |
2013-07-30 |
| 7895219 |
System and method for guided and assisted structuring of unstructured information |
Steve Abrams, Matthew Kaplan, Paul T. Keyser, Douglas N. Kimelman, Eric M. Nelson +6 more |
2011-02-22 |
| 6769113 |
Enterprise process models and enterprise application for information technologies |
Darrell C. Reimer, Ian D. Simmonds, Mark N. Wegman |
2004-07-27 |
| 6732353 |
Method and system for generating enterprise applications of a diversity of information technologies |
Darrell C. Reimer, Ian D. Simmonds, Mark N. Wegman |
2004-05-04 |
