Victor Vianu - Selected publications#

S. Abiteboul and V. Vianu: Data-Driven Collaborative Workflows: Think Global, Act Local.
ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, 2013: 91-102.

S. Abiteboul, P. Bourhis, V. Vianu: Comparing workflow specification languages: A matter of views.
Int'l. Conf. on Database Theory, 2011. Full paper in ACM Trans. Database Syst. 37(2): 10 (2012).

E. Damaggio, A. Deutsch, V. Vianu: Artifact systems with data dependencies and arithmetic.
Int'l. Conf. on Database Theory, 2011. Full paper (invited) in ACM Trans. Database Syst. 37(3): 22 (2012).

A. Nash, L. Segoufin, V. Vianu: Views and queries: Determinacy and rewriting.
ACM Trans. Database Syst. 35(3) (2010).

S. Abiteboul, L. Segoufin, V. Vianu: Static analysis of Active XML systems.
ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, 2008:221-230.
Full paper (invited) in ACM Transactions on Database Systems, 34(4) (2009).

A. Deutsch, L. Sui, V. Vianu: Specification and verification of data-driven Web applications.
ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, 2004: 71-82.
Full paper (invited) in J. Comput. Syst. Sci. 73(3): 442-474 (2007).

T. Milo, D. Suciu, and V. Vianu: Typechecking for XML Transformers.
ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database
Systems, 2000: 11-22. Full paper (invited) J. of Computer and System Sciences, 66(1): 66-97 (2003).
Recipient of the PODS Alberto O. Mendelzon Test of Time Award, 2010.

S. Abiteboul, M. Vardi, and V. Vianu: Fixpoint Logics, Relational Machines, and
Computational Complexity, Journal of the ACM, 44(1):30-56 (1997)

S. Abiteboul and V. Vianu: Computing with First-Order Logic, invited to special issue
of Journal of Computer and Systems Science, 50,2:309-335 (1995).

S. Abiteboul, R. Hull and V. Vianu: Foundations of Databases, Addison-Wesley, 1995.
Winner of the "Outstanding Academic Book of 1995" award from CHOICE magazine.