!!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.