Follow
Victor Vianu
Victor Vianu
Professor of Computer Science, UC San Diego
Verified email at cs.ucsd.edu
Title
Cited by
Cited by
Year
Foundations of databases
S Abiteboul, R Hull, V Vianu
Addison-Wesley, 1995
67581995
Typechecking for XML transformers
T Milo, D Suciu, V Vianu
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000
4122000
Datalog extensions for database queries and updates
S Abiteboul, V Vianu
Journal of Computer and System Sciences 43 (1), 62-124, 1991
3621991
Regular path queries with constraints
S Abiteboul, V Vianu
Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1997
3611997
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
3552004
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
3092009
DTD inference for views of XML data
Y Papakonstantinou, V Vianu
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000
3082000
Generic computation and its complexity
S Abiteboul, V Vianu
Proceedings of the twenty-third annual ACM symposium on Theory of Computing …, 1991
2571991
A Web odyssey: from Codd to XML
V Vianu
Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2001
2142001
Validating streaming XML documents
L Segoufin, V Vianu
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on …, 2002
2062002
Representing and querying XML with incomplete information
S Abiteboul, L Segoufin, V Vianu
ACM Transactions on Database Systems (TODS) 31 (1), 208-254, 2006
2042006
Relational transducers for electronic commerce
S Abiteboul, V Vianu, B Fordham, Y Yesha
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
2001998
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
1692001
Procedural and declarative database update languages
S Abiteboul, V Vianu
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles …, 1988
1571988
Queries and computation on the Web
S Abiteboul, V Vianu
Database Theory—ICDT'97: 6th International Conference Delphi, Greece …, 1997
1541997
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
1471989
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
1442007
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
1422016
Incremental validation of XML documents
A Balmin, Y Papakonstantinou, V Vianu
ACM Transactions on Database Systems (TODS) 29 (4), 710-751, 2004
1352004
Artifact systems with data dependencies and arithmetic
E Damaggio, A Deutsch, V Vianu
ACM Transactions on Database Systems (TODS) 37 (3), 1-36, 2012
1342012
The system can't perform the operation now. Try again later.
Articles 1–20