Richard Hull
Author Details
- Affiliation: IBM TJ Watson Research Lab, USA
- Email: hull@us.ibm.com
ICDT Contributions by Richard Hull
- Automatic Construction of Simple Artifact-based Business Processes
Christian Fritz, Richard Hull, and Jianwen Su - Automatic Verification of Data-Centric Business Processes
Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu