Victor Vianu Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Serge Abiteboul [4] [6] [7] [11] [13] [16] [17] [20] [22] [24] [25] [26] [28] [29] [32] [36] [37] [38] [39] [42] [43] [44] [46] [48] [51] [55] [57] [58] [63] [66] [67] [68] [72] [76] [88] [105] [113] [120] [123] [124] [136] [141]
2Noga Alon [87] [91] [95] [97]
3Bernd Amann [67]
4Andrey Balmin [102]
5Chaitanya K. Baru (Chaitan Baru) [64]
6Pierre Bourhis [136]
7Marco Brambilla [109]
8Alexander Brodsky [60]
9Peter Buneman [24]
10Jan Van den Bussche [92] [122]
11Stefano Ceri [74]
12Sophie Cluet [67]
13Kevin J. Compton [38]
14Tim Connors [2]
15Elio Damaggio [137] [138]
16Claude Delobel [24]
17Karl Denninghoff [31] [41]
18Alin Deutsch [104] [107] [109] [114] [115] [116] [119] [126] [137] [138]
19Christos Faloutsos [73]
20Bradley S. Fordham [66] [76]
21Volker Gaede [60]
22Georg Gottlob [84] [85]
23Sheila A. Greibach [105]
24Stéphane Grumbach [27] [33] [34] [47] [111]
25Dirk Van Gucht [125]
26Oliver Günther [60]
27Alon Y. Halevy (Alon Y. Levy) [73]
28Joseph Y. Halpern [86]
29Robert Harper [86]
30Michael A. Harrison [105]
31Ellis Horowitz [105]
32Richard Hull [24] [51] [105] [126] [138]
33Neil Immerman [86]
34Leonid A. Kalinichenko [74]
35Paris C. Kanellakis [24]
36Almira Karabeg [12]
37Dino Karabeg [12] [19] [23] [30]
38Masaru Kitsuregawa [74]
39Phokion G. Kolaitis [86] [101]
40Bart Kuijpers [83]
41Leonid Libkin [121]
42Sérgio Lifschitz [50] [61]
43Hongjun Lu [74]
44Bertram Ludäscher [64]
45Peter Lyngbæk [10] [14]
46Monica Marcus [107]
47Tova Milo [67] [82] [87] [91] [95] [96] [97] [106]
48Alan Nash [110] [117] [131]
49Frank Neven [87] [90] [91] [95] [97] [103]
50Patrick E. O'Neil [73]
51Z. Meral Özsoyoglu [74]
52Christos H. Papadimitriou [44] [52] [63] [69] [71]
53Kostoula Papakonstantinou [12]
54Yannis Papakonstantinou [64] [81] [100] [102]
55Fabio Patrizi [126]
56Philippe Picouet [49] [54] [59] [62]
57Jeffrey B. Remmel [110]
58Daniel J. Rosenkrantz [105]
59Kenneth A. Ross [73]
60Thomas Schwentick [90] [103]
61Luc Segoufin [65] [75] [88] [93] [108] [113] [117] [120] [123] [124] [131]
62Pierre Senellart [141]
63Eric Simon [26] [73]
64Richard T. Snodgrass [74]
65Divesh Srivastava [60] [73]
66Dan Suciu [52] [69] [82] [87] [91] [95] [96] [97] [112]
67Liying Sui [104] [107] [109] [111] [114] [115] [116]
68Jeffrey D. Ullman [105]
69Moshe Y. Vardi [37] [39] [46] [55] [86] [105]
70Pavel Velikhov [64]
71Gottfried Vossen [18] [21] [35] [40]
72Mark Wallace (Mark G. Wallace) [60]
73Gerhard Weikum [73]
74Yelena Yesha [66] [76]
75Dayou Zhou [107] [114] [115]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page