Victor Vianu
Victor Vianu
Professor of Computer Science, UC San Diego
Dirección de correo verificada de cs.ucsd.edu
TítuloCitado porAño
Foundations of databases
S Abiteboul, R Hull, V Vianu
Addison-Wesley, 1995
56121995
Data on the Web: from relations to semistructured data and XML
S Abiteboul, P Buneman, D Suciu
Morgan Kaufmann, 2000
22352000
Objectrank: Authority-based keyword search in databases
A Balmin, V Hristidis, Y Papakonstantinou
VLDB 4, 564-575, 2004
6612004
Typechecking for XML transformers
T Milo, D Suciu, V Vianu
Journal of Computer and System Sciences 66 (1), 66-97, 2003
3662003
Datalog extensions for database queries and updates
S Abiteboul, V Vianu
3441988
Regular path queries with constraints
S Abiteboul, V Vianu
Journal of Computer and System Sciences 58 (3), 428-452, 1999
3261999
DTD inference for views of XML data
Y Papakonstantinou, V Vianu
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000
2922000
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
2772009
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
2702004
Generic computation and its complexity
S Abiteboul, V Vianu
Proceedings of the twenty-third annual ACM symposium on Theory of computing …, 1991
2381991
Validating streaming XML documents
L Segoufin, V Vianu
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on …, 2002
2042002
A Web odyssey: from Codd to XML
V Vianu
Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2001
1952001
Representing and querying XML with incomplete information
S Abiteboul, L Segoufin, V Vianu
ACM Transactions on Database Systems (TODS) 31 (1), 208-254, 2006
1922006
Relational transducers for electronic commerce
S Abiteboul, V Vianu, B Fordham, Y Yesha
Journal of Computer and System Sciences 61 (2), 236-269, 2000
1892000
Procedural and declarative database update languages
S Abiteboul, V Vianu
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
1511988
Queries and computation on the Web
S Abiteboul, V Vianu
International Conference on Database Theory, 262-275, 1997
1481997
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
1412001
Fixpoint extensions of first-order logic and Datalog-like languages
S Abiteboul, V Vianu
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 71-79, 1989
1381989
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
1252007
Specification and verification of data-driven web services
A Deutsch, L Sui, V Vianu
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1232004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20