Publications

6 results for Alin Deutsch

Automatic verification of database-centric systems
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2014
- SIGMOD Record
Policy-aware sender anonymity in location based services
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2010
- ICDE 2010
Automatic verification of data-centric business processes
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2009
- ICDT 2009
The chase revisited
- - Alin Deutsch
  - Alan Nash
  - et al.
- 2008
- SIGMOD/PODS 2008
Rewriting queries using views with access patterns under integrity constraints
- - Alin Deutsch
  - Bertram Ludäscher
  - et al.
- 2007
- Theoretical Computer Science
Query reformulation with constraints
- - Alin Deutsch
  - Lucian Popa
  - et al.
- 2006
- SIGMOD Record