Publications

3 results at ICDT 2009

The average-case complexity of counting distinct elements
- - David P. Woodruff
- 2009
- ICDT 2009
Automatic construction of simple artifact-based business processes
- - Christian Fritz
  - Richard Hull
  - et al.
- 2009
- ICDT 2009
Automatic verification of data-centric business processes
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2009
- ICDT 2009