| Foundations of databases S Abiteboul, R Hull, V Vianu Addison-Wesley, 1995 | 6694 | 1995 |
| Typechecking for XML transformers T Milo, D Suciu, V Vianu Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000 | 409 | 2000 |
| Datalog extensions for database queries and updates S Abiteboul, V Vianu Journal of Computer and System Sciences 43 (1), 62-124, 1991 | 366 | 1991 |
| Regular path queries with constraints S Abiteboul, V Vianu Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1997 | 358 | 1997 |
| Finite state machines for strings over infinite alphabets F Neven, T Schwentick, V Vianu ACM Transactions on Computational Logic (TOCL) 5 (3), 403-435, 2004 | 351 | 2004 |
| Automatic verification of data-centric business processes A Deutsch, R Hull, F Patrizi, V Vianu Proceedings of the 12th international Conference on Database Theory, 252-267, 2009 | 312 | 2009 |
| DTD inference for views of XML data Y Papakonstantinou, V Vianu Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000 | 310 | 2000 |
| Generic computation and its complexity S Abiteboul, V Vianu Proceedings of the twenty-third annual ACM symposium on Theory of Computing …, 1991 | 257 | 1991 |
| A Web odyssey: from Codd to XML V Vianu Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2001 | 211 | 2001 |
| Validating streaming XML documents L Segoufin, V Vianu Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on …, 2002 | 208 | 2002 |
| Representing and querying XML with incomplete information S Abiteboul, L Segoufin, V Vianu ACM Transactions on Database Systems (TODS) 31 (1), 208-254, 2006 | 205 | 2006 |
| Relational transducers for electronic commerce S Abiteboul, V Vianu, B Fordham, Y Yesha Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 199 | 1998 |
| On the unusual effectiveness of logic in computer science JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu Bulletin of Symbolic Logic 7 (2), 213-236, 2001 | 166 | 2001 |
| Procedural and declarative database update languages S Abiteboul, V Vianu Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles …, 1988 | 162 | 1988 |
| Queries and computation on the Web S Abiteboul, V Vianu Database Theory—ICDT'97: 6th International Conference Delphi, Greece …, 1997 | 154 | 1997 |
| Fixpoint extensions of first-order logic and Datalog-like languages S Abiteboul, V Vianu Proceedings. Fourth Annual Symposium on Logic in Computer Science, 71, 72 …, 1989 | 147 | 1989 |
| Specification and verification of data-driven web applications A Deutsch, L Sui, V Vianu Journal of Computer and System Sciences 73 (3), 442-474, 2007 | 142 | 2007 |
| Incremental validation of XML documents A Balmin, Y Papakonstantinou, V Vianu ACM Transactions on Database Systems (TODS) 29 (4), 710-751, 2004 | 135 | 2004 |
| Fixpoint logics, relational machines, and computational complexity S Abiteboul, MY Vardi, V Vianu Journal of the ACM (JACM) 44 (1), 30-56, 1997 | 134 | 1997 |
| Towards a shared ledger business collaboration language based on data-aware processes R Hull, VS Batra, YM Chen, A Deutsch, FFT Heath III, V Vianu Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff …, 2016 | 132 | 2016 |
Serge AbiteboulINRIA SaclayVerified email at inria.fr
