DBLife: Victor Vianu

2013
133	Invited Article Foreword. Victor Vianu. J. ACM (60): 5 (2013). Web SearchBibTeXDownload
2012
132	Comparing workflow specification languages: A matter of views. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ACM Trans. Database Syst. (37): 10 (2012). Web SearchBibTeXDownload
131	Artifact systems with data dependencies and arithmetic. Elio Damaggio, Alin Deutsch, Victor Vianu. ACM Trans. Database Syst. (37): 22 (2012). Web SearchBibTeXDownload
130	Highly expressive query languages for unordered data trees. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ICDT 2012, 46-60. Web SearchBibTeXDownload
129	Invited Article Foreword. Victor Vianu. J. ACM (59): 15 (2012). Web SearchBibTeXDownload
128	Invited article foreword. Victor Vianu. J. ACM (59): 4 (2012). Web SearchBibTeXDownload
127	The ERC webdam on foundations of web data management. Serge Abiteboul, Pierre Senellart, Victor Vianu. WWW (Companion Volume) 2012, 211-214. Web SearchBibTeXDownload
2011
126	Automatic Verification of Data-Centric Business Processes. Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu. BPM 2011, 3-16. Web SearchBibTeXDownload
125	Artifact systems with data dependencies and arithmetic. Elio Damaggio, Alin Deutsch, Victor Vianu. ICDT 2011, 66-77. Web SearchBibTeXDownload
124	Comparing workflow specification languages: a matter of views. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ICDT 2011, 78-89. Web SearchBibTeXDownload
123	Invited articles foreword. Victor Vianu. J. ACM (58): 16 (2011). Web SearchBibTeXDownload
122	Invited Articles Foreword. Victor Vianu. J. ACM (58): 22 (2011). Web SearchBibTeXDownload
121	Invited Article Foreword. Victor Vianu. J. ACM (58): 29 (2011). Web SearchBibTeXDownload
120	Introduction to JACM invited article. Victor Vianu. J. ACM (58): 12 (2011). Web SearchBibTeXDownload
2010
119	Views and queries: Determinacy and rewriting. Alan Nash, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (35) (2010). Web SearchBibTeXDownload
118	JACM at the start of a new decade. Victor Vianu. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload
117	Invited articles section foreword. Victor Vianu. J. ACM (58): 1 (2010). Web SearchBibTeXDownload
116	Editorial: JACM at the start of a new decade. Victor Vianu. J. ACM (57) (2010). Web SearchBibTeXDownload
2009
115	Static analysis of active XML systems. Serge Abiteboul, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (34) (2009). Cited by 10Web SearchBibTeXDownload
114	Computationally Complete Relational Query Languages. Victor Vianu, Dirk Van Gucht. Encyclopedia of Database Systems 2009, 406-411. Web SearchBibTeXDownload
113	Automatic verification of database-driven systems: a new frontier. Victor Vianu. ICDT 2009, 1-13. Cited by 3Web SearchBibTeXDownload
112	Automatic verification of data-centric business processes. Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu. ICDT 2009, 252-267. Cited by 15Web SearchBibTeXDownload
111	Modeling and Verifying Active XML Artifacts. Serge Abiteboul, Luc Segoufin, Victor Vianu. IEEE Data Eng. Bull. (32): 10-15 (2009). Web SearchBibTeXDownload
110	Introduction to PODS 2006 special section. Victor Vianu, Jan Van den Bussche. J. ACM (56) (2009). Web SearchBibTeXDownload
109	Introduction to PODS 2007 special section. Leonid Libkin, Victor Vianu. J. ACM (56) (2009). Web SearchBibTeXDownload
2008
108	WAVE: Automatic Verification of Data-Driven Web Services. Alin Deutsch, Victor Vianu. IEEE Data Eng. Bull. (31): 35-39 (2008). Web SearchBibTeXDownload
107	Static analysis of active XML systems. Serge Abiteboul, Luc Segoufin, Victor Vianu. PODS 2008, 221-230. Cited by 10Web SearchBibTeXDownload
106	Database theory column. Victor Vianu. SIGACT News (39): 77-79 (2008). Cited by 2Web SearchBibTeXDownload
2007
105	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. Alan Nash, Luc Segoufin, Victor Vianu. ICDT 2007, 59-73. Cited by 13Web SearchBibTeXDownload
104	Specification and verification of data-driven Web applications. Alin Deutsch, Liying Sui, Victor Vianu. J. Comput. Syst. Sci. (73): 442-474 (2007). Cited by 13Web SearchBibTeXDownload
2006
103	Representing and querying XML with incomplete information. Serge Abiteboul, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (31): 208-254 (2006). Cited by 87Web SearchBibTeXDownload
102	Verification of communicating data-driven web services. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. PODS 2006, 90-99. Cited by 29Web SearchBibTeXDownload
101	A system for specification and verification of interactive, data-driven web applications. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. SIGMOD Conference 2006, 772-774. Cited by 15Web SearchBibTeXDownload
2005
100	PTIME Queries Revisited. Alan Nash, Jeffrey B. Remmel, Victor Vianu. ICDT 2005, 274-288. Cited by 4Web SearchBibTeXDownload
99	The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu. ICWE 2005, 557-568. Cited by 14Web SearchBibTeXDownload
98	Views and queries: determinacy and rewriting. Luc Segoufin, Victor Vianu. PODS 2005, 49-60. Cited by 18Web SearchBibTeXDownload
97	A Verifier for Interactive, Data-Driven Web Applications. Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou. SIGMOD Conference 2005, 539-550. Cited by 28Web SearchBibTeXDownload
96	In memory of Seymour Ginsburg 1928 - 2004. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi. SIGMOD Record (34): 5-12 (2005). Web SearchBibTeXDownload
2004
95	Finite state machines for strings over infinite alphabets. Frank Neven, Thomas Schwentick, Victor Vianu. ACM Trans. Comput. Log. (5): 403-435 (2004). Cited by 61Web SearchBibTeXDownload
94	Incremental validation of XML documents. Andrey Balmin, Yannis Papakonstantinou, Victor Vianu. ACM Trans. Database Syst. (29): 710-751 (2004). Cited by 48Web SearchBibTeXDownload
93	Specification and Verification of Data-driven Web Services. Alin Deutsch, Liying Sui, Victor Vianu. PODS 2004, 71-82. Cited by 77Web SearchBibTeXDownload
2003
92	Typechecking XML views of relational databases. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. ACM Trans. Comput. Log. (4): 315-354 (2003). Cited by 48Web SearchBibTeXDownload
91	Incremental Validation of XML Documents. Yannis Papakonstantinou, Victor Vianu. ICDT 2003, 47-63. Cited by 66Web SearchBibTeXDownload
90	Typechecking for XML transformers. Tova Milo, Dan Suciu, Victor Vianu. J. Comput. Syst. Sci. (66): 66-97 (2003). Cited by 245Web SearchBibTeXDownload
89	XML with data values: typechecking revisited. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. J. Comput. Syst. Sci. (66): 688-727 (2003). Web SearchBibTeXDownload
88	XML: From Practice to Theory. Victor Vianu. SBBD 2003, 11-25. Web SearchBibTeX
87	A Web odyssey: from codd to XML. Victor Vianu. SIGMOD Record (32): 68-77 (2003). Web SearchBibTeXDownload
86	Logic as a Query Language: From Frege to XML. Victor Vianu. STACS 2003, 1-12. Cited by 2Web SearchBibTeXDownload
2002
85	Validating Streaming XML Documents. Luc Segoufin, Victor Vianu. PODS 2002, 53-64. Cited by 110Web SearchBibTeXDownload
2001
84	On the unusual effectiveness of logic in computer science. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu. Bulletin of Symbolic Logic (7): 213-236 (2001). Cited by 68Web SearchBibTeXDownload
83	Typechecking XML Views of Relational Databases. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. LICS 2001, 421-430. Web SearchBibTeXDownload
82	Towards Regular Languages over Infinite Alphabets. Frank Neven, Thomas Schwentick, Victor Vianu. MFCS 2001, 560-572. Cited by 31Web SearchBibTeXDownload
81	A Web Odyssey: From Codd to XML. Victor Vianu. PODS 2001. Cited by 134Web SearchBibTeXDownload
80	XML with Data Values: Typechecking Revisited. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. PODS 2001. Cited by 96Web SearchBibTeXDownload
79	Representing and Querying XML with Incomplete Information. Serge Abiteboul, Luc Segoufin, Victor Vianu. PODS 2001. Cited by 2Web SearchBibTeXDownload
2000
78	Review - Hypothetical Datalog: Complexity and Expressibility. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX
77	Review - Exact and Approximate Aggregation in Constraint Query. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX
76	Review - On Instance-Completeness for Database Query Languages involving Object Creation. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX
75	Review - Computable Queries for Relational Data Bases. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX
74	Topological Queries. Bart Kuijpers, Victor Vianu. Constraint Databases 2000, 231-273. Cited by 4Web SearchBibTeX
73	Relational Transducers for Electronic Commerce. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha. J. Comput. Syst. Sci. (61): 236-269 (2000). Cited by 87Web SearchBibTeXDownload
72	Querying Spatial Databases via Topological Invariants. Luc Segoufin, Victor Vianu. J. Comput. Syst. Sci. (61): 270-301 (2000). Cited by 41Web SearchBibTeXDownload
71	Typechecking for XML Transformers. Tova Milo, Dan Suciu, Victor Vianu. PODS 2000, 11-22. Web SearchBibTeXDownload
70	DTD Inference for Views of XML Data. Yannis Papakonstantinou, Victor Vianu. PODS 2000, 35-46. Cited by 182Web SearchBibTeXDownload
69	Reminiscences on Influential Papers. Kenneth A. Ross, Amr El Abbadi, Sophie Cluet, Kaladhar Voruganti, Guy M. Lohman, Moshe Y. Vardi, Gultekin Özsoyoglu, Gerhard Weikum, Philip S. Yu, Timos K. Sellis, Patrick Valduriez. SIGMOD Record (29): 52-65 (2000). Web SearchBibTeXDownload
68	SIGMOD Sister Societies. Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu. SIGMOD Record (29): 4-15 (2000). Cited by 3Web SearchBibTeXDownload
67	Queries and computation on the web. Serge Abiteboul, Victor Vianu. Theor. Comput. Sci. (239): 231-255 (2000). Cited by 136Web SearchBibTeXDownload
1999
66	Topological Queries in Spatial Databases. Christos H. Papadimitriou, Dan Suciu, Victor Vianu. CSL 1999, 1. Cited by 97Web SearchBibTeXDownload
65	Regular Path Queries with Constraints. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (58): 428-452 (1999). Cited by 226Web SearchBibTeXDownload
1998
64	Active Views for Electronic Commerce. Serge Abiteboul, Bernd Amann, Sophie Cluet, Anat Eyal, Laurent Mignet, Tova Milo. BDA 1998, 405-424. Cited by 112Web SearchBibTeX
63	Reflective Relational Machines. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu. Inf. Comput. (143): 110-136 (1998). Cited by 13Web SearchBibTeXDownload
62	Semantics and Expressiveness Issues in Active Databases. Philippe Picouet, Victor Vianu. J. Comput. Syst. Sci. (57): 325-355 (1998). Cited by 36Web SearchBibTeXDownload
61	Querying Spatial Databases via Topological Invariants. Luc Segoufin, Victor Vianu. PODS 1998, 89-98. Cited by 41Web SearchBibTeXDownload
60	Relational Transducers for Electronic Commerce. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha. PODS 1998, 179-187. Cited by 87Web SearchBibTeXDownload
59	Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. Chaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel Velikhov, Victor Vianu. QL 1998. Cited by 29Web SearchBibTeXDownload
58	A Probabilistic View of Datalog Parallelization. Sérgio Lifschitz, Victor Vianu. Theor. Comput. Sci. (190): 211-239 (1998). Cited by 9Web SearchBibTeXDownload
1997
57	Rule-Based Languages. Victor Vianu. Ann. Math. Artif. Intell. (19): 215-259 (1997). Cited by 25Web SearchBibTeXDownload
56	Queries and Computation on the Web. Serge Abiteboul, Victor Vianu. ICDT 1997, 262-275. Cited by 3Web SearchBibTeXDownload
55	Expressiveness and Complexity of Active Databases. Philippe Picouet, Victor Vianu. ICDT 1997, 155-172. Cited by 14Web SearchBibTeXDownload
54	Fixpoint logics, relational machines, and computational complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. J. ACM (44): 30-56 (1997). Cited by 93Web SearchBibTeXDownload
53	Regular Path Queries with Constraints. Serge Abiteboul, Victor Vianu. PODS 1997, 122-133. Cited by 226Web SearchBibTeXDownload
1996
52	Modélisation Formelle des Bases de Données Actives. Philippe Picouet, Victor Vianu. BDA 1996, 311-330. Web SearchBibTeX
51	Databases and Finite-Model Theory. Victor Vianu. Descriptive Complexity and Finite Models 1996, 97-148. Cited by 15Web SearchBibTeX
50	Topological Queries in Spatial Databases. Christos H. Papadimitriou, Dan Suciu, Victor Vianu. PODS 1996, 81-92. Cited by 97Web SearchBibTeXDownload
1995
49	A Probabilistic View of Datalog Parallelization. Sérgio Lifschitz, Victor Vianu. ICDT 1995, 294-307. Cited by 9Web SearchBibTeXDownload
48	Computing with First-Order Logic. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (50): 309-335 (1995). Cited by 76Web SearchBibTeXDownload
47	Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. J. Comput. Syst. Sci. (51): 149-167 (1995). Cited by 66Web SearchBibTeXDownload
46	Semantics and Expressiveness Issues in Active Databases. Philippe Picouet, Victor Vianu. PODS 1995, 126-138. Cited by 36Web SearchBibTeXDownload
45	Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Theor. Comput. Sci. (149): 101-128 (1995). Cited by 27Web SearchBibTeXDownload
1994
44	The Power of Reflective Relational Machines. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu. LICS 1994, 230-240. Cited by 21Web SearchBibTeXDownload
1993
43	Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Victor Vianu, Gottfried Vossen. Ann. Math. Artif. Intell. (7): 257-287 (1993). Cited by 3Web SearchBibTeXDownload
42	Expressive Power of Query Languages. Leonid Libkin, Victor Vianu. GULP 1993, 441-468. Cited by 3Web SearchBibTeX
41	Computing on Structures. Serge Abiteboul, Victor Vianu. ICALP 1993, 606-620. Cited by 5Web SearchBibTeXDownload
40	Database Method Schemas and Object Creation. Karl Denninghoff, Victor Vianu. PODS 1993, 265-275. Cited by 18Web SearchBibTeXDownload
1992
39	Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. ICDT 1992, 113-123. Cited by 27Web SearchBibTeXDownload
38	Queries Are Easier Than You Thought (Probably). Serge Abiteboul, Kevin J. Compton, Victor Vianu. PODS 1992, 23-32. Cited by 16Web SearchBibTeXDownload
37	Fixpoint Logics, Relational Machines, and Computational Complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Structure in Complexity Theory Conference 1992, 156-168. Web SearchBibTeXDownload
36	Conceptual Level Concurrency Control of Relational Update Transactions. Victor Vianu, Gottfried Vossen. Theor. Comput. Sci. (95): 1-42 (1992). Cited by 12Web SearchBibTeXDownload
35	Expressive Power of Query Languages. Leonid Libkin, Victor Vianu. Theoretical Studies in Computer Science 1992, 207-251. Cited by 3Web SearchBibTeX
1991
34	Simplification Rules and Complete Axiomatization for Relational Update Transactions. Dino Karabeg, Victor Vianu. ACM Trans. Database Syst. (16): 439-475 (1991). Cited by 12Web SearchBibTeXDownload
33	Non-Determinism in Logic-Based Languages. Serge Abiteboul, Victor Vianu. Ann. Math. Artif. Intell. (3): 151-186 (1991). Cited by 44Web SearchBibTeXDownload
32	Expressiveness and Complexity of Restricted Languages for Complex Objects. Stéphane Grumbach, Victor Vianu. DBPL 1991, 111-122. Cited by 12Web SearchBibTeX
31	Datalog Extensions for Database Queries and Updates. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (43): 62-124 (1991). Cited by 262Web SearchBibTeXDownload
30	Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. PODS 1991, 315-327. Cited by 66Web SearchBibTeXDownload
29	Generic Computation and Its Complexity. Serge Abiteboul, Victor Vianu. STOC 1991, 209-219. Cited by 197Web SearchBibTeXDownload
28	The Power of Methods With Parallel Semantics. Karl Denninghoff, Victor Vianu. VLDB 1991, 221-232. Cited by 21Web SearchBibTeXDownload
1990
27	Playing Games with Objects. Stéphane Grumbach, Victor Vianu. ICDT 1990, 25-38. Web SearchBibTeXDownload
26	Procedural Languages for Database Queries and Updates. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (41): 181-229 (1990). Cited by 94Web SearchBibTeXDownload
25	Non-Deterministic Languages to Express Deterministic Transformations. Serge Abiteboul, Eric Simon, Victor Vianu. PODS 1990, 218-229. Cited by 99Web SearchBibTeXDownload
24	New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu. SIGMOD Record (19): 41-48 (1990). Cited by 6Web SearchBibTeXDownload
23	Parallel Update Transactions. Dino Karabeg, Victor Vianu. Theor. Comput. Sci. (76): 93-114 (1990). Web SearchBibTeXDownload
1989
22	A transaction-based approach to relational database specification. Serge Abiteboul, Victor Vianu. J. ACM (36): 758-789 (1989). Cited by 34Web SearchBibTeXDownload
21	Fixpoint Extensions of First-Order Logic and Datalog-Like Languages. Serge Abiteboul, Victor Vianu. LICS 1989, 71-79. Cited by 103Web SearchBibTeXDownload
20	Goal-Oriented Concurrency Control. Victor Vianu, Gottfried Vossen. MFDBS 1989, 398-414. Cited by 1Web SearchBibTeXDownload
1988
19	A Dynamic Framework for Object Projection Views. Victor Vianu. ACM Trans. Database Syst. (13): 1-22 (1988). Cited by 5Web SearchBibTeXDownload
18	Conceptual Level Concurrency Control of Relational Update Transactions. Victor Vianu, Gottfried Vossen. ICDT 1988, 353-367. Cited by 12Web SearchBibTeXDownload
17	Parallel Update Transactions (Extended Abstract). Dino Karabeg, Victor Vianu. ICDT 1988, 307-321. Web SearchBibTeXDownload
16	Relational Translations of Semantic Models: A Case Study Based on Iris. Peter Lyngbæk, Victor Vianu. IEEE Data Eng. Bull. (11): 13-22 (1988). Web SearchBibTeXDownload
15	Equivalence and optimization of relational transactions. Serge Abiteboul, Victor Vianu. J. ACM (35): 70-120 (1988). Cited by 64Web SearchBibTeXDownload
14	The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. Serge Abiteboul, Victor Vianu. JCDKB 1988, 324-334. Cited by 6Web SearchBibTeX
13	Procedural and Declarative Database Update Languages. Serge Abiteboul, Victor Vianu. PODS 1988, 240-250. Cited by 129Web SearchBibTeXDownload
1987
12	Database Survivability Under Dynamic Constraints. Victor Vianu. Acta Inf. (25): 55-84 (1987). Cited by 5Web SearchBibTeXDownload
11	Dynamic functional dependencies and database aging. Victor Vianu. J. ACM (34): 28-59 (1987). Cited by 52Web SearchBibTeXDownload
10	Axiomatization and Simplification Rules for Relational Transactions. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu. PODS 1987, 254-259. Cited by 6Web SearchBibTeXDownload
9	A Transcation Language Complete for Database Update and Specification. Serge Abiteboul, Victor Vianu. PODS 1987, 260-268. Cited by 67Web SearchBibTeXDownload
8	Mapping a Semantic Database Model to the Relational Model. Peter Lyngbæk, Victor Vianu. SIGMOD Conference 1987, 132-142. Cited by 59Web SearchBibTeXDownload
1986
7	Deciding Properties of Transactional Schemas. Serge Abiteboul, Victor Vianu. PODS 1986, 235-239. Cited by 10Web SearchBibTeXDownload
1985
6	Transactions and Integrity Constraints. Serge Abiteboul, Victor Vianu. PODS 1985, 193-204. Web SearchBibTeXDownload
1984
5	Object Projection Views in the Dynamic Relational Model. Victor Vianu. PODS 1984, 214-220. Cited by 2Web SearchBibTeXDownload
4	Transactions in Relational Databases (Preliminary Report). Serge Abiteboul, Victor Vianu. VLDB 1984, 46-56. Cited by 1Web SearchBibTeXDownload
1983
3	Dynamic Constraints and Database Evolution. Victor Vianu. PODS 1983, 389-399. Cited by 18Web SearchBibTeXDownload
1981
2	Tableaux which Define Expression Mappings. Tim Connors, Victor Vianu. XP2 Workshop on Relational Database Theory 1981. Cited by 1Web SearchBibTeX
1977
1	The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. Victor Vianu. MFCS 1977, 537-542. Web SearchBibTeXDownload

2013

133

Invited Article Foreword. Victor Vianu. J. ACM (60): 5 (2013). Web SearchBibTeXDownload

2012

132

Comparing workflow specification languages: A matter of views. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ACM Trans. Database Syst. (37): 10 (2012). Web SearchBibTeXDownload

131

Artifact systems with data dependencies and arithmetic. Elio Damaggio, Alin Deutsch, Victor Vianu. ACM Trans. Database Syst. (37): 22 (2012). Web SearchBibTeXDownload

130

Highly expressive query languages for unordered data trees. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ICDT 2012, 46-60. Web SearchBibTeXDownload

129

Invited Article Foreword. Victor Vianu. J. ACM (59): 15 (2012). Web SearchBibTeXDownload

128

Invited article foreword. Victor Vianu. J. ACM (59): 4 (2012). Web SearchBibTeXDownload

127

The ERC webdam on foundations of web data management. Serge Abiteboul, Pierre Senellart, Victor Vianu. WWW (Companion Volume) 2012, 211-214. Web SearchBibTeXDownload

2011

126

Automatic Verification of Data-Centric Business Processes. Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu. BPM 2011, 3-16. Web SearchBibTeXDownload

125

Artifact systems with data dependencies and arithmetic. Elio Damaggio, Alin Deutsch, Victor Vianu. ICDT 2011, 66-77. Web SearchBibTeXDownload

124

Comparing workflow specification languages: a matter of views. Serge Abiteboul, Pierre Bourhis, Victor Vianu. ICDT 2011, 78-89. Web SearchBibTeXDownload

123

Invited articles foreword. Victor Vianu. J. ACM (58): 16 (2011). Web SearchBibTeXDownload

122

Invited Articles Foreword. Victor Vianu. J. ACM (58): 22 (2011). Web SearchBibTeXDownload

121

Invited Article Foreword. Victor Vianu. J. ACM (58): 29 (2011). Web SearchBibTeXDownload

120

Introduction to JACM invited article. Victor Vianu. J. ACM (58): 12 (2011). Web SearchBibTeXDownload

2010

119

Views and queries: Determinacy and rewriting. Alan Nash, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (35) (2010). Web SearchBibTeXDownload

118

JACM at the start of a new decade. Victor Vianu. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload

117

Invited articles section foreword. Victor Vianu. J. ACM (58): 1 (2010). Web SearchBibTeXDownload

116

Editorial: JACM at the start of a new decade. Victor Vianu. J. ACM (57) (2010). Web SearchBibTeXDownload

2009

115

Static analysis of active XML systems. Serge Abiteboul, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (34) (2009). Cited by 10Web SearchBibTeXDownload

114

Computationally Complete Relational Query Languages. Victor Vianu, Dirk Van Gucht. Encyclopedia of Database Systems 2009, 406-411. Web SearchBibTeXDownload

113

Automatic verification of database-driven systems: a new frontier. Victor Vianu. ICDT 2009, 1-13. Cited by 3Web SearchBibTeXDownload

112

Automatic verification of data-centric business processes. Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu. ICDT 2009, 252-267. Cited by 15Web SearchBibTeXDownload

111

Modeling and Verifying Active XML Artifacts. Serge Abiteboul, Luc Segoufin, Victor Vianu. IEEE Data Eng. Bull. (32): 10-15 (2009). Web SearchBibTeXDownload

110

Introduction to PODS 2006 special section. Victor Vianu, Jan Van den Bussche. J. ACM (56) (2009). Web SearchBibTeXDownload

109

Introduction to PODS 2007 special section. Leonid Libkin, Victor Vianu. J. ACM (56) (2009). Web SearchBibTeXDownload

2008

108

WAVE: Automatic Verification of Data-Driven Web Services. Alin Deutsch, Victor Vianu. IEEE Data Eng. Bull. (31): 35-39 (2008). Web SearchBibTeXDownload

107

Static analysis of active XML systems. Serge Abiteboul, Luc Segoufin, Victor Vianu. PODS 2008, 221-230. Cited by 10Web SearchBibTeXDownload

106

Database theory column. Victor Vianu. SIGACT News (39): 77-79 (2008). Cited by 2Web SearchBibTeXDownload

2007

105

Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. Alan Nash, Luc Segoufin, Victor Vianu. ICDT 2007, 59-73. Cited by 13Web SearchBibTeXDownload

104

Specification and verification of data-driven Web applications. Alin Deutsch, Liying Sui, Victor Vianu. J. Comput. Syst. Sci. (73): 442-474 (2007). Cited by 13Web SearchBibTeXDownload

2006

103

Representing and querying XML with incomplete information. Serge Abiteboul, Luc Segoufin, Victor Vianu. ACM Trans. Database Syst. (31): 208-254 (2006). Cited by 87Web SearchBibTeXDownload

102

Verification of communicating data-driven web services. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. PODS 2006, 90-99. Cited by 29Web SearchBibTeXDownload

101

A system for specification and verification of interactive, data-driven web applications. Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. SIGMOD Conference 2006, 772-774. Cited by 15Web SearchBibTeXDownload

2005

100

PTIME Queries Revisited. Alan Nash, Jeffrey B. Remmel, Victor Vianu. ICDT 2005, 274-288. Cited by 4Web SearchBibTeXDownload

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu. ICWE 2005, 557-568. Cited by 14Web SearchBibTeXDownload

Views and queries: determinacy and rewriting. Luc Segoufin, Victor Vianu. PODS 2005, 49-60. Cited by 18Web SearchBibTeXDownload

A Verifier for Interactive, Data-Driven Web Applications. Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou. SIGMOD Conference 2005, 539-550. Cited by 28Web SearchBibTeXDownload

In memory of Seymour Ginsburg 1928 - 2004. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi. SIGMOD Record (34): 5-12 (2005). Web SearchBibTeXDownload

2004

Finite state machines for strings over infinite alphabets. Frank Neven, Thomas Schwentick, Victor Vianu. ACM Trans. Comput. Log. (5): 403-435 (2004). Cited by 61Web SearchBibTeXDownload

Incremental validation of XML documents. Andrey Balmin, Yannis Papakonstantinou, Victor Vianu. ACM Trans. Database Syst. (29): 710-751 (2004). Cited by 48Web SearchBibTeXDownload

Specification and Verification of Data-driven Web Services. Alin Deutsch, Liying Sui, Victor Vianu. PODS 2004, 71-82. Cited by 77Web SearchBibTeXDownload

2003

Typechecking XML views of relational databases. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. ACM Trans. Comput. Log. (4): 315-354 (2003). Cited by 48Web SearchBibTeXDownload

Incremental Validation of XML Documents. Yannis Papakonstantinou, Victor Vianu. ICDT 2003, 47-63. Cited by 66Web SearchBibTeXDownload

Typechecking for XML transformers. Tova Milo, Dan Suciu, Victor Vianu. J. Comput. Syst. Sci. (66): 66-97 (2003). Cited by 245Web SearchBibTeXDownload

XML with data values: typechecking revisited. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. J. Comput. Syst. Sci. (66): 688-727 (2003). Web SearchBibTeXDownload

XML: From Practice to Theory. Victor Vianu. SBBD 2003, 11-25. Web SearchBibTeX

A Web odyssey: from codd to XML. Victor Vianu. SIGMOD Record (32): 68-77 (2003). Web SearchBibTeXDownload

Logic as a Query Language: From Frege to XML. Victor Vianu. STACS 2003, 1-12. Cited by 2Web SearchBibTeXDownload

2002

Validating Streaming XML Documents. Luc Segoufin, Victor Vianu. PODS 2002, 53-64. Cited by 110Web SearchBibTeXDownload

2001

On the unusual effectiveness of logic in computer science. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu. Bulletin of Symbolic Logic (7): 213-236 (2001). Cited by 68Web SearchBibTeXDownload

Typechecking XML Views of Relational Databases. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. LICS 2001, 421-430. Web SearchBibTeXDownload

Towards Regular Languages over Infinite Alphabets. Frank Neven, Thomas Schwentick, Victor Vianu. MFCS 2001, 560-572. Cited by 31Web SearchBibTeXDownload

A Web Odyssey: From Codd to XML. Victor Vianu. PODS 2001. Cited by 134Web SearchBibTeXDownload

XML with Data Values: Typechecking Revisited. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu. PODS 2001. Cited by 96Web SearchBibTeXDownload

Representing and Querying XML with Incomplete Information. Serge Abiteboul, Luc Segoufin, Victor Vianu. PODS 2001. Cited by 2Web SearchBibTeXDownload

2000

Review - Hypothetical Datalog: Complexity and Expressibility. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX

Review - Exact and Approximate Aggregation in Constraint Query. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX

Review - On Instance-Completeness for Database Query Languages involving Object Creation. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX

Review - Computable Queries for Relational Data Bases. Victor Vianu. ACM SIGMOD Digital Review (2) (2000). Web SearchBibTeX

Topological Queries. Bart Kuijpers, Victor Vianu. Constraint Databases 2000, 231-273. Cited by 4Web SearchBibTeX

Relational Transducers for Electronic Commerce. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha. J. Comput. Syst. Sci. (61): 236-269 (2000). Cited by 87Web SearchBibTeXDownload

Querying Spatial Databases via Topological Invariants. Luc Segoufin, Victor Vianu. J. Comput. Syst. Sci. (61): 270-301 (2000). Cited by 41Web SearchBibTeXDownload

Typechecking for XML Transformers. Tova Milo, Dan Suciu, Victor Vianu. PODS 2000, 11-22. Web SearchBibTeXDownload

DTD Inference for Views of XML Data. Yannis Papakonstantinou, Victor Vianu. PODS 2000, 35-46. Cited by 182Web SearchBibTeXDownload

Reminiscences on Influential Papers. Kenneth A. Ross, Amr El Abbadi, Sophie Cluet, Kaladhar Voruganti, Guy M. Lohman, Moshe Y. Vardi, Gultekin Özsoyoglu, Gerhard Weikum, Philip S. Yu, Timos K. Sellis, Patrick Valduriez. SIGMOD Record (29): 52-65 (2000). Web SearchBibTeXDownload

SIGMOD Sister Societies. Stefano Ceri, Leonid A. Kalinichenko, Masaru Kitsuregawa, Hongjun Lu, Z. Meral Özsoyoglu, Richard T. Snodgrass, Victor Vianu. SIGMOD Record (29): 4-15 (2000). Cited by 3Web SearchBibTeXDownload

Queries and computation on the web. Serge Abiteboul, Victor Vianu. Theor. Comput. Sci. (239): 231-255 (2000). Cited by 136Web SearchBibTeXDownload

1999

Topological Queries in Spatial Databases. Christos H. Papadimitriou, Dan Suciu, Victor Vianu. CSL 1999, 1. Cited by 97Web SearchBibTeXDownload

Regular Path Queries with Constraints. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (58): 428-452 (1999). Cited by 226Web SearchBibTeXDownload

1998

Active Views for Electronic Commerce. Serge Abiteboul, Bernd Amann, Sophie Cluet, Anat Eyal, Laurent Mignet, Tova Milo. BDA 1998, 405-424. Cited by 112Web SearchBibTeX

Reflective Relational Machines. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu. Inf. Comput. (143): 110-136 (1998). Cited by 13Web SearchBibTeXDownload

Semantics and Expressiveness Issues in Active Databases. Philippe Picouet, Victor Vianu. J. Comput. Syst. Sci. (57): 325-355 (1998). Cited by 36Web SearchBibTeXDownload

Querying Spatial Databases via Topological Invariants. Luc Segoufin, Victor Vianu. PODS 1998, 89-98. Cited by 41Web SearchBibTeXDownload

Relational Transducers for Electronic Commerce. Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha. PODS 1998, 179-187. Cited by 87Web SearchBibTeXDownload

Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. Chaitanya K. Baru, Bertram Ludäscher, Yannis Papakonstantinou, Pavel Velikhov, Victor Vianu. QL 1998. Cited by 29Web SearchBibTeXDownload

A Probabilistic View of Datalog Parallelization. Sérgio Lifschitz, Victor Vianu. Theor. Comput. Sci. (190): 211-239 (1998). Cited by 9Web SearchBibTeXDownload

1997

Rule-Based Languages. Victor Vianu. Ann. Math. Artif. Intell. (19): 215-259 (1997). Cited by 25Web SearchBibTeXDownload

Queries and Computation on the Web. Serge Abiteboul, Victor Vianu. ICDT 1997, 262-275. Cited by 3Web SearchBibTeXDownload

Expressiveness and Complexity of Active Databases. Philippe Picouet, Victor Vianu. ICDT 1997, 155-172. Cited by 14Web SearchBibTeXDownload

Fixpoint logics, relational machines, and computational complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. J. ACM (44): 30-56 (1997). Cited by 93Web SearchBibTeXDownload

Regular Path Queries with Constraints. Serge Abiteboul, Victor Vianu. PODS 1997, 122-133. Cited by 226Web SearchBibTeXDownload

1996

Modélisation Formelle des Bases de Données Actives. Philippe Picouet, Victor Vianu. BDA 1996, 311-330. Web SearchBibTeX

Databases and Finite-Model Theory. Victor Vianu. Descriptive Complexity and Finite Models 1996, 97-148. Cited by 15Web SearchBibTeX

Topological Queries in Spatial Databases. Christos H. Papadimitriou, Dan Suciu, Victor Vianu. PODS 1996, 81-92. Cited by 97Web SearchBibTeXDownload

1995

A Probabilistic View of Datalog Parallelization. Sérgio Lifschitz, Victor Vianu. ICDT 1995, 294-307. Cited by 9Web SearchBibTeXDownload

Computing with First-Order Logic. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (50): 309-335 (1995). Cited by 76Web SearchBibTeXDownload

Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. J. Comput. Syst. Sci. (51): 149-167 (1995). Cited by 66Web SearchBibTeXDownload

Semantics and Expressiveness Issues in Active Databases. Philippe Picouet, Victor Vianu. PODS 1995, 126-138. Cited by 36Web SearchBibTeXDownload

Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Theor. Comput. Sci. (149): 101-128 (1995). Cited by 27Web SearchBibTeXDownload

1994

The Power of Reflective Relational Machines. Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu. LICS 1994, 230-240. Cited by 21Web SearchBibTeXDownload

1993

Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Victor Vianu, Gottfried Vossen. Ann. Math. Artif. Intell. (7): 257-287 (1993). Cited by 3Web SearchBibTeXDownload

Expressive Power of Query Languages. Leonid Libkin, Victor Vianu. GULP 1993, 441-468. Cited by 3Web SearchBibTeX

Computing on Structures. Serge Abiteboul, Victor Vianu. ICALP 1993, 606-620. Cited by 5Web SearchBibTeXDownload

Database Method Schemas and Object Creation. Karl Denninghoff, Victor Vianu. PODS 1993, 265-275. Cited by 18Web SearchBibTeXDownload

1992

Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. ICDT 1992, 113-123. Cited by 27Web SearchBibTeXDownload

Queries Are Easier Than You Thought (Probably). Serge Abiteboul, Kevin J. Compton, Victor Vianu. PODS 1992, 23-32. Cited by 16Web SearchBibTeXDownload

Fixpoint Logics, Relational Machines, and Computational Complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Structure in Complexity Theory Conference 1992, 156-168. Web SearchBibTeXDownload

Conceptual Level Concurrency Control of Relational Update Transactions. Victor Vianu, Gottfried Vossen. Theor. Comput. Sci. (95): 1-42 (1992). Cited by 12Web SearchBibTeXDownload

Expressive Power of Query Languages. Leonid Libkin, Victor Vianu. Theoretical Studies in Computer Science 1992, 207-251. Cited by 3Web SearchBibTeX

1991

Simplification Rules and Complete Axiomatization for Relational Update Transactions. Dino Karabeg, Victor Vianu. ACM Trans. Database Syst. (16): 439-475 (1991). Cited by 12Web SearchBibTeXDownload

Non-Determinism in Logic-Based Languages. Serge Abiteboul, Victor Vianu. Ann. Math. Artif. Intell. (3): 151-186 (1991). Cited by 44Web SearchBibTeXDownload

Expressiveness and Complexity of Restricted Languages for Complex Objects. Stéphane Grumbach, Victor Vianu. DBPL 1991, 111-122. Cited by 12Web SearchBibTeX

Datalog Extensions for Database Queries and Updates. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (43): 62-124 (1991). Cited by 262Web SearchBibTeXDownload

Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. PODS 1991, 315-327. Cited by 66Web SearchBibTeXDownload

Generic Computation and Its Complexity. Serge Abiteboul, Victor Vianu. STOC 1991, 209-219. Cited by 197Web SearchBibTeXDownload

The Power of Methods With Parallel Semantics. Karl Denninghoff, Victor Vianu. VLDB 1991, 221-232. Cited by 21Web SearchBibTeXDownload

1990

Playing Games with Objects. Stéphane Grumbach, Victor Vianu. ICDT 1990, 25-38. Web SearchBibTeXDownload

Procedural Languages for Database Queries and Updates. Serge Abiteboul, Victor Vianu. J. Comput. Syst. Sci. (41): 181-229 (1990). Cited by 94Web SearchBibTeXDownload

Non-Deterministic Languages to Express Deterministic Transformations. Serge Abiteboul, Eric Simon, Victor Vianu. PODS 1990, 218-229. Cited by 99Web SearchBibTeXDownload

New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu. SIGMOD Record (19): 41-48 (1990). Cited by 6Web SearchBibTeXDownload

Parallel Update Transactions. Dino Karabeg, Victor Vianu. Theor. Comput. Sci. (76): 93-114 (1990). Web SearchBibTeXDownload

1989

A transaction-based approach to relational database specification. Serge Abiteboul, Victor Vianu. J. ACM (36): 758-789 (1989). Cited by 34Web SearchBibTeXDownload

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages. Serge Abiteboul, Victor Vianu. LICS 1989, 71-79. Cited by 103Web SearchBibTeXDownload

Goal-Oriented Concurrency Control. Victor Vianu, Gottfried Vossen. MFDBS 1989, 398-414. Cited by 1Web SearchBibTeXDownload

1988

A Dynamic Framework for Object Projection Views. Victor Vianu. ACM Trans. Database Syst. (13): 1-22 (1988). Cited by 5Web SearchBibTeXDownload

Conceptual Level Concurrency Control of Relational Update Transactions. Victor Vianu, Gottfried Vossen. ICDT 1988, 353-367. Cited by 12Web SearchBibTeXDownload

Parallel Update Transactions (Extended Abstract). Dino Karabeg, Victor Vianu. ICDT 1988, 307-321. Web SearchBibTeXDownload

Relational Translations of Semantic Models: A Case Study Based on Iris. Peter Lyngbæk, Victor Vianu. IEEE Data Eng. Bull. (11): 13-22 (1988). Web SearchBibTeXDownload

Equivalence and optimization of relational transactions. Serge Abiteboul, Victor Vianu. J. ACM (35): 70-120 (1988). Cited by 64Web SearchBibTeXDownload

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. Serge Abiteboul, Victor Vianu. JCDKB 1988, 324-334. Cited by 6Web SearchBibTeX

Procedural and Declarative Database Update Languages. Serge Abiteboul, Victor Vianu. PODS 1988, 240-250. Cited by 129Web SearchBibTeXDownload

1987

Database Survivability Under Dynamic Constraints. Victor Vianu. Acta Inf. (25): 55-84 (1987). Cited by 5Web SearchBibTeXDownload

Dynamic functional dependencies and database aging. Victor Vianu. J. ACM (34): 28-59 (1987). Cited by 52Web SearchBibTeXDownload

Axiomatization and Simplification Rules for Relational Transactions. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu. PODS 1987, 254-259. Cited by 6Web SearchBibTeXDownload

A Transcation Language Complete for Database Update and Specification. Serge Abiteboul, Victor Vianu. PODS 1987, 260-268. Cited by 67Web SearchBibTeXDownload

Mapping a Semantic Database Model to the Relational Model. Peter Lyngbæk, Victor Vianu. SIGMOD Conference 1987, 132-142. Cited by 59Web SearchBibTeXDownload

1986

Deciding Properties of Transactional Schemas. Serge Abiteboul, Victor Vianu. PODS 1986, 235-239. Cited by 10Web SearchBibTeXDownload

1985

Transactions and Integrity Constraints. Serge Abiteboul, Victor Vianu. PODS 1985, 193-204. Web SearchBibTeXDownload

1984

Object Projection Views in the Dynamic Relational Model. Victor Vianu. PODS 1984, 214-220. Cited by 2Web SearchBibTeXDownload

Transactions in Relational Databases (Preliminary Report). Serge Abiteboul, Victor Vianu. VLDB 1984, 46-56. Cited by 1Web SearchBibTeXDownload

1983

Dynamic Constraints and Database Evolution. Victor Vianu. PODS 1983, 389-399. Cited by 18Web SearchBibTeXDownload

1981

Tableaux which Define Expression Mappings. Tim Connors, Victor Vianu. XP2 Workshop on Relational Database Theory 1981. Cited by 1Web SearchBibTeX

1977

The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. Victor Vianu. MFCS 1977, 537-542. Web SearchBibTeXDownload

Professor
http://dl.acm.org/author_page.cfm?id=81100303884
Department of Computer Science and Engineering
University of California, San Diego
USA
Papers cited 7,193 times
H-Index of 36

Victor Vianu

Related People

Related Topics

Services

Related Organizations

Tutorials

1.	^ The ACM SIGMOD/PODS Conference: Providence, Rhode Island, USA, 2009 - Organization: PODS Program Committee - Retrieved 2009-11-21 - details Original context from http://www.sigmod09.org/org_pods_pc.shtml ...w Tan (UC Santa Cruz) Balder ten Cate (University of Amsterdam) Dirk Van Gucht (Indiana University) Victor Vianu (UC San Diego) ...
2.	^ The ACM SIGMOD/PODS Conference: Vancouver, 2008 - Program: Overview - Retrieved 2009-11-21 - details Original context from http://www.sigmod08.org/program_glance.shtml ...e Abiteboul (INRIA-Saclay & Universite Paris Sud), Luc Segoufin (INRIA & LSV - ENS Cachan), Victor Vianu (UC San Diego) Complexity and Composition of Synthesized Web Services Wenfei Fan (University of Edi...
3.	^ VLDB 2004 Program Committee Members - Retrieved 2011-07-02 - details Original context from http://www.cs.toronto.edu/vldb04/protected/eProceedings/org/committee.html ...vid Toman, University of Waterloo, Canada Alejandro Vaisman, Universidad de Buenos Aires, Argentina Victor Vianu , Univ. California, San Diego, USA Limsoon Wong, Institute for Infocomm Research, Singapore ...
4.	^ SIGMOD/PODS 2003 Conference - Retrieved 2011-03-19 - details Original context from http://db.ucsd.edu/SIGMODPODS03/PODSorg.html ...iversity of Athens Dan Suciu University of Washington Jan Van den Bussche University of Limburg LUC Victor Vianu University of California, San Diego Gerhard Weikum University of the Saarland Mihalis Yannakakis Av...
5.	^ ACM SIGMOD/PODS 2007 Conference - Retrieved 2010-12-11 - details Original context from http://sigmod07.riit.tsinghua.edu.cn/podsKeynotes.shtml ...ing; data mining; workflows; and DNA computing. He chaired the program committee of ICDT 2001 (with Victor Vianu ) and of PODS 2006, and currently he serves as chair of the ICDT council (International Conference o...
6.	^ SIGMOD/PODS 2003 Conference - Retrieved 2011-03-19 - details Original context from http://db.ucsd.edu/SIGMODPODS03/PODSpapers.html ... Chair: Victor Vianu ...