Victor Vianu Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
123Electronic 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
122Electronic 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
121Electronic 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
120Electronic 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)
119Electronic 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)
118Electronic 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)
117Electronic 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
116Electronic 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
115Electronic 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)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: Database theory column. SIGACT News 39(1): 77-79 (2008)
2007
113Electronic 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
112Electronic 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
111Electronic 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
110Electronic 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
109Electronic 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)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Suciu, Victor Vianu: Introduction. J. ACM 53(2): 207 (2006)
2005
107no 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Nash, Jeffrey B. Remmel, Victor Vianu: PTIME Queries Revisited. ICDT 2005: 274-288
105Electronic 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Segoufin, Victor Vianu: Views and queries: determinacy and rewriting. PODS 2005: 49-60
103Electronic 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
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTova Milo, Victor Vianu: Introduction. J. ACM 52(2): 245 (2005)
101Electronic 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
100Electronic 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
99Electronic 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)
98Electronic 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)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Victor Vianu: Foreword. J. ACM 51(1): 1 (2004)
2003
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Papakonstantinou, Victor Vianu: Incremental Validation of XML Documents. ICDT 2003: 47-63
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: XML: From Practice to Theory. SBBD 2003: 11-25
94Electronic 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
93Electronic 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)
92Electronic 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)
91Electronic 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)
90Electronic 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
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64
2001
88no 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
87no EE 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
86Electronic 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: A Web Odyssey: From Codd to XML. PODS 2001
84Electronic 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
83Electronic 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
82Electronic 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
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Kuijpers, Victor Vianu: Topological Queries. Constraint Databases 2000: 231-273
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTova Milo, Dan Suciu, Victor Vianu: Typechecking for XML Transformers. PODS 2000: 11-22
79Electronic 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
78Electronic 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)
77Electronic 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)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digital Review 2: (2000)
75Electronic 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)
74no EE 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)
73no EE 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)
72Electronic 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)
71Electronic 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)
70Electronic 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: Topological Queries in Spatial Databases. CSL 1999: 1
68no EE 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)
67no EE 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
66no 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
65Electronic 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98
63Electronic 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
62no EE 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)
61no EE 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)
60Electronic 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
59no 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
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Picouet, Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997: 155-172
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Victor Vianu: Queries and Computation on the Web. ICDT 1997: 262-275
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Victor Vianu: Regular Path Queries with Constraints. PODS 1997: 122-133
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Vianu: Rule-Based Languages. Ann. Math. Artif. Intell. 19(1-2): 215-259 (1997)
54Electronic 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
53no 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
52no 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
51Electronic 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995
49Electronic 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
48Electronic 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
47no EE 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)
46no EE 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)
45Electronic 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
44no EE 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
40no EE 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
35no EE 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
32no EE 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)
29no EE 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)
28no EE 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
25no EE 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)
23no EE 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
22no EE 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
9no EE 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] [45] [47] [50] [54] [56] [57] [62] [65] [66] [67] [70] [74] [84] [101] [109] [116] [119] [120]
2Noga Alon [83] [87] [91] [93]
3Bernd Amann [66]
4Andrey Balmin [98]
5Chaitanya K. Baru (Chaitan Baru) [63]
6Marco Brambilla [105]
7Alexander Brodsky [59]
8Peter Buneman [24]
9Jan Van den Bussche [88] [118]
10Stefano Ceri [72]
11Sophie Cluet [66]
12Kevin J. Compton [38]
13Tim Connors [2]
14Claude Delobel [24]
15Karl Denninghoff [31] [41]
16Alin Deutsch [100] [103] [105] [110] [111] [112] [115] [122]
17Christos Faloutsos [71]
18Bradley S. Fordham [65] [74]
19Volker Gaede [59]
20Sheila A. Greibach [101]
21Stéphane Grumbach [27] [33] [34] [46] [107]
22Dirk Van Gucht [121]
23Oliver Günther [59]
24Alon Y. Halevy (Alon Y. Levy) [71]
25Joseph Y. Halpern [82]
26Robert Harper [82]
27Michael A. Harrison [101]
28Ellis Horowitz [101]
29Richard Hull [24] [50] [101] [122]
30Neil Immerman [82]
31Leonid A. Kalinichenko [72]
32Paris C. Kanellakis [24]
33Almira Karabeg [12]
34Dino Karabeg [12] [19] [23] [30]
35Masaru Kitsuregawa [72]
36Phokion G. Kolaitis [82] [97]
37Bart Kuijpers [81]
38Leonid Libkin [117]
39Sérgio Lifschitz [49] [60]
40Hongjun Lu [72]
41Bertram Ludäscher [63]
42Peter Lyngbæk [10] [14]
43Monica Marcus [103]
44Tova Milo [66] [80] [83] [87] [91] [92] [93] [102]
45Alan Nash [106] [113]
46Frank Neven [83] [86] [87] [91] [93] [99]
47Patrick E. O'Neil [71]
48Z. Meral Özsoyoglu [72]
49Christos H. Papadimitriou [44] [51] [62] [68]
50Kostoula Papakonstantinou [12]
51Yannis Papakonstantinou [63] [79] [96] [98]
52Fabio Patrizi [122]
53Philippe Picouet [48] [53] [58] [61]
54Jeffrey B. Remmel [106]
55Daniel J. Rosenkrantz [101]
56Kenneth A. Ross [71]
57Thomas Schwentick [86] [99]
58Luc Segoufin [64] [73] [84] [89] [104] [109] [113] [116] [119] [120]
59Eric Simon [26] [71]
60Richard T. Snodgrass [72]
61Divesh Srivastava [59] [71]
62Dan Suciu [51] [68] [80] [83] [87] [91] [92] [93] [108]
63Liying Sui [100] [103] [105] [107] [110] [111] [112]
64Jeffrey D. Ullman [101]
65Moshe Y. Vardi [37] [39] [45] [54] [82] [101]
66Pavel Velikhov [63]
67Gottfried Vossen [18] [21] [35] [40]
68Mark Wallace [59]
69Gerhard Weikum [71]
70Yelena Yesha [65] [74]
71Dayou Zhou [103] [110] [111]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)