![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Victor Vianu 83 Luc Segoufin , Victor Vianu: Validating Streaming XML Documents. PODS 2002 : 53-64 82 Jan Van den Bussche , Victor Vianu: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Springer 2001 81 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: Typechecking XML Views of Relational Databases. LICS 2001 : 421-430 80 Frank Neven , Thomas Schwentick , Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001 : 560-572 79 Victor Vianu: A Web Odyssey: From Codd to XML. PODS 2001 78 Serge Abiteboul , Luc Segoufin , Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001 77 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001 76 Bart Kuijpers , Victor Vianu: Topological Queries. Constraint Databases 2000 : 231-273 75 Tova Milo , Dan Suciu , Victor Vianu: Typechecking for XML Transformers. PODS 2000 : 11-22 74 Yannis Papakonstantinou , Victor Vianu: DTD Inference for Views of XML Data. PODS 2000 : 35-46 73 Victor Vianu: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 2 : (2000) 72 Victor Vianu: Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digital Review 2 : (2000) 71 Victor Vianu: Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digital Review 2 : (2000) 70 Victor Vianu: Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digital Review 2 : (2000) 69 Serge Abiteboul , Victor Vianu, Brad S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. JCSS 61 (2): 236-269 (2000) 68 Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. JCSS 61 (2): 270-301 (2000) 67 Stefano 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) 66 Kenneth 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) 65 Serge Abiteboul , Victor Vianu: Queries and computation on the web. TCS 239 (2): 231-255 (2000) 64 Victor Vianu: Topological Queries in Spatial Databases. CSL 1999 : 1 63 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. JCSS 58 (1): 29-53 (1999) 62 Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. JCSS 58 (3): 428-452 (1999) 61 Serge Abiteboul , Victor Vianu, Bradley S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. PODS 1998 : 179-187 60 Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998 : 89-98 59 Serge Abiteboul , Bernd Amann , Sophie Cluet , Tova Milo , Victor Vianu: Active Views for Electronic Commerce. Proc. 14ème Journées Bases de Données Avancées, BDA 1998 : 405-424 58 C. 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 57 Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: Reflective Relational Machines. Information and Computation 143 (2): 110-136 (1998) 56 Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. JCSS 57 (3): 325-355 (1998) 55 Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. TCS 190 (2): 211-239 (1998) 54 Philippe Picouet , Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997 : 155-172 53 Serge Abiteboul , Victor Vianu: Queries and Computation on the Web. ICDT 1997 : 262-275 52 Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. PODS 1997 : 122-133 51 Victor Vianu: Rule-Based Languages. Annals of Mathematics and Artificial Intelligence 19 (1-2): 215-259 (1997) 50 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint logics, relational machines, and computational complexity. JACM 44 (1): 30-56 (1997) 49 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. PODS 1996 : 81-92 48 Serge Abiteboul , Richard Hull , Victor Vianu: Foundations of Databases. Addison-Wesley 1995 47 Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. ICDT 1995 : 294-307 46 Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995 : 126-138 45 Serge Abiteboul , Victor Vianu: Computing with First-Order Logic. JCSS 50 (2): 309-335 (1995) 44 Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. JCSS 51 (2): 149-167 (1995) 43 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. TCS 149 (1): 101-128 (1995) 42 Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: The Power of Reflective Relational Machines. LICS 1994 : 230-240 41 Serge Abiteboul , Victor Vianu: Computing on Structures. ICALP 1993 : 606-620 40 Karl Denninghoff , Victor Vianu: Database Method Schemas and Object Creation. PODS 1993 : 265-275 39 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. ICDT 1992 : 113-123 38 Serge Abiteboul , Kevin J. Compton , Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992 : 23-32 37 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992 : 156-168 36 Serge Abiteboul , Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992 : 207-251 35 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. TCS 95 (1): 1-42 (1992) 34 Stéphane Grumbach , Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991 : 111-122 33 Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991 : 315-327 32 Serge Abiteboul , Victor Vianu: Generic Computation and Its Complexity. STOC 1991 : 209-219 31 Karl Denninghoff , Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991 : 221-232 30 Serge Abiteboul , Victor Vianu: Non-Determinism in Logic-Based Languages. Annals of Mathematics and Artificial Intelligence 3 (2-4): 0- (1991) 29 Serge Abiteboul , Victor Vianu: Datalog Extensions for Database Queries and Updates. JCSS 43 (1): 62-124 (1991) 28 Dino Karabeg , Victor Vianu: Simplification Rules and Complete Axiomatization for Relational Update Transactions. TODS 16 (3): 439-475 (1991) 27 Stéphane Grumbach , Victor Vianu: Playing Games with Objects. ICDT 1990 : 25-38 26 Serge Abiteboul , Eric Simon , Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990 : 218-229 25 Serge Abiteboul , Victor Vianu: Procedural Languages for Database Queries and Updates. JCSS 41 (2): 181-229 (1990) 24 Serge 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) 23 Dino Karabeg , Victor Vianu: Parallel Update Transactions. TCS 76 (1): 93-114 (1990) 22 Serge Abiteboul , Victor Vianu: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages. LICS 1989 : 71-79 21 Victor Vianu, Gottfried Vossen : Goal-Oriented Concurrency Control. MFDBS 1989 : 398-414 20 Serge Abiteboul , Victor Vianu: A transaction-based approach to relational database specification. JACM 36 (4): 758-789 (1989) 19 Dino Karabeg , Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988 : 307-321 18 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988 : 353-367 17 Serge Abiteboul , Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988 : 324-334 16 Serge Abiteboul , Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988 : 240-250 15 Peter Lyngbæk , Victor Vianu: Relational Translations of Semantic Models: A Case Study Based on Iris. Data Engineering Bulletin 11 (2): 13-22 (1988) 14 Serge Abiteboul , Victor Vianu: Equivalence and optimization of relational transactions. JACM 35 (1): 70-120 (1988) 13 Victor Vianu: A Dynamic Framework for Object Projection Views. TODS 13 (1): 1-22 (1988) 12 Almira Karabeg , Dino Karabeg , Kostoula Papakonstantinou , Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987 : 254-259 11 Serge Abiteboul , Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987 : 260-268 10 Peter Lyngbæk , Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987 : 132-142 9 Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Informatica 25 (1): 55-84 (1987) 8 Victor Vianu: Dynamic functional dependencies and database aging. JACM 34 (1): 28-59 (1987) 7 Serge Abiteboul , Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986 : 235-239 6 Serge Abiteboul , Victor Vianu: Transactions and Integrity Constraints. PODS 1985 : 193-204 5 Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984 : 214-220 4 Serge Abiteboul , Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984 : 46-56 3 Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983 : 389-399 2 Tim Connors , Victor Vianu: Tableaux which Define Expression Mappings. XP1 Workshop on Database Theory 1981 1 Victor Vianu: The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS 1977 : 537-542 ![]() DiSC'02 © 2003 Association for Computing Machinery |