Publications

4 results for Victor Vianu

Automatic verification of database-centric systems
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2014
- SIGMOD Record
Automatic verification of data-centric business processes
- - Alin Deutsch
  - Richard Hull
  - et al.
- 2009
- ICDT 2009
Incremental validation of XML documents
- - Andrey Balmin
  - Yannis Papakonstantinou
  - et al.
- 2004
- ACM TODS
Computing with infinitary logic
- - Serge Abiteboul
  - Moshe Y. Vardi
  - et al.
- 1995
- Theoretical Computer Science