| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Victor Vianu Sté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 Alan Nash , Jeffrey B. Remmel , Victor Vianu: PTIME Queries Revisited. ICDT 2005 : 274-288 Marco 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 Luc Segoufin , Victor Vianu: Views and queries: determinacy and rewriting. PODS 2005 : 49-60 Alin Deutsch , Monica Marcus , Liying Sui , Victor Vianu, Dayou Zhou : A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005 : 539-550 Tova Milo , Victor Vianu: Introduction. J. ACM 52 (2): 245 (2005) Serge 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) Alin Deutsch , Liying Sui , Victor Vianu: Specification and Verification of Data-driven Web Services. PODS 2004 : 71-82 Frank Neven , Thomas Schwentick , Victor Vianu: Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5 (3): 403-435 (2004) Andrey Balmin , Yannis Papakonstantinou , Victor Vianu: Incremental validation of XML documents. ACM Trans. Database Syst. 29 (4): 710-751 (2004) Phokion G. Kolaitis , Victor Vianu: Foreword. J. ACM 51 (1): 1 (2004) Yannis Papakonstantinou , Victor Vianu: Incremental Validation of XML Documents. ICDT 2003 : 47-63 Victor Vianu: XML: From Practice to Theory. SBBD 2003 : 11-25 Victor Vianu: Logic as a Query Language: From Frege to XML. STACS 2003 : 1-12 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4 (3): 315-354 (2003) Tova Milo , Dan Suciu , Victor Vianu: Typechecking for XML transformers. J. Comput. Syst. Sci. 66 (1): 66-97 (2003) Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66 (4): 688-727 (2003) Victor Vianu: A Web odyssey: from codd to XML. SIGMOD Record 32 (2): 68-77 (2003) Luc Segoufin , Victor Vianu: Validating Streaming XML Documents. PODS 2002 : 53-64 Jan Van den Bussche , Victor Vianu: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Springer 2001 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: Typechecking XML Views of Relational Databases. LICS 2001 : 421-430 Frank Neven , Thomas Schwentick , Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001 : 560-572 Victor Vianu: A Web Odyssey: From Codd to XML. PODS 2001 Serge Abiteboul , Luc Segoufin , Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001 Joseph 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) Bart Kuijpers , Victor Vianu: Topological Queries. Constraint Databases 2000 : 231-273 Tova Milo , Dan Suciu , Victor Vianu: Typechecking for XML Transformers. PODS 2000 : 11-22 Yannis Papakonstantinou , Victor Vianu: DTD Inference for Views of XML Data. PODS 2000 : 35-46 Victor Vianu: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 2 : (2000) Victor Vianu: Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digital Review 2 : (2000) Victor Vianu: Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digital Review 2 : (2000) Victor Vianu: Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digital Review 2 : (2000) Serge Abiteboul , Victor Vianu, Brad S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. J. Comput. Syst. Sci. 61 (2): 236-269 (2000) Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. J. Comput. Syst. Sci. 61 (2): 270-301 (2000) 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) 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) Serge Abiteboul , Victor Vianu: Queries and computation on the web. Theor. Comput. Sci. 239 (2): 231-255 (2000) Victor Vianu: Topological Queries in Spatial Databases. CSL 1999 : 1 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. J. Comput. Syst. Sci. 58 (1): 29-53 (1999) Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. J. Comput. Syst. Sci. 58 (3): 428-452 (1999) Serge Abiteboul , Victor Vianu, Bradley S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. PODS 1998 : 179-187 Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998 : 89-98 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 Chaitanya 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 Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: Reflective Relational Machines. Inf. Comput. 143 (2): 110-136 (1998) Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. J. Comput. Syst. Sci. 57 (3): 325-355 (1998) Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. Theor. Comput. Sci. 190 (2): 211-239 (1998) Volker 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 Philippe Picouet , Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997 : 155-172 Serge Abiteboul , Victor Vianu: Queries and Computation on the Web. ICDT 1997 : 262-275 Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. PODS 1997 : 122-133 Victor Vianu: Rule-Based Languages. Ann. Math. Artif. Intell. 19 (1-2): 215-259 (1997) Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44 (1): 30-56 (1997) Philippe Picouet , Victor Vianu: Modélisation Formelle des Bases de Données Actives. BDA 1996 : 311-330 Victor Vianu: Databases and Finite-Model Theory. Descriptive Complexity and Finite Models 1996 : 97-148 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. PODS 1996 : 81-92 Serge Abiteboul , Richard Hull , Victor Vianu: Foundations of Databases. Addison-Wesley 1995 Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. ICDT 1995 : 294-307 Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995 : 126-138 Serge Abiteboul , Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50 (2): 309-335 (1995) Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. J. Comput. Syst. Sci. 51 (2): 149-167 (1995) Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149 (1): 101-128 (1995) Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: The Power of Reflective Relational Machines LICS 1994 : 230-240 Serge Abiteboul , Victor Vianu: Expressive Power of Query Languages. GULP 1993 : 441-468 Serge Abiteboul , Victor Vianu: Computing on Structures. ICALP 1993 : 606-620 Karl Denninghoff , Victor Vianu: Database Method Schemas and Object Creation. PODS 1993 : 265-275 Victor Vianu, Gottfried Vossen : Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Ann. Math. Artif. Intell. 7 (1-4): 257-287 (1993) Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. ICDT 1992 : 113-123 Serge Abiteboul , Kevin J. Compton , Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992 : 23-32 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992 : 156-168 Serge Abiteboul , Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992 : 207-251 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. 95 (1): 1-42 (1992) Stéphane Grumbach , Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991 : 111-122 Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991 : 315-327 Serge Abiteboul , Victor Vianu: Generic Computation and Its Complexity STOC 1991 : 209-219 Karl Denninghoff , Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991 : 221-232 Dino Karabeg , Victor Vianu: Simplification Rules and Complete Axiomatization for Relational Update Transactions. ACM Trans. Database Syst. 16 (3): 439-475 (1991) Serge Abiteboul , Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3 (2-4): 151-186 (1991) Serge Abiteboul , Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43 (1): 62-124 (1991) Stéphane Grumbach , Victor Vianu: Playing Games with Objects. ICDT 1990 : 25-38 Serge Abiteboul , Eric Simon , Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990 : 218-229 Serge Abiteboul , Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41 (2): 181-229 (1990) 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) Dino Karabeg , Victor Vianu: Parallel Update Transactions. Theor. Comput. Sci. 76 (1): 93-114 (1990) Serge Abiteboul , Victor Vianu: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages LICS 1989 : 71-79 Victor Vianu, Gottfried Vossen : Goal-Oriented Concurrency Control. MFDBS 1989 : 398-414 Serge Abiteboul , Victor Vianu: A transaction-based approach to relational database specification. J. ACM 36 (4): 758-789 (1989) Dino Karabeg , Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988 : 307-321 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988 : 353-367 Serge Abiteboul , Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988 : 324-334 Serge Abiteboul , Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988 : 240-250 Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13 (1): 1-22 (1988) Peter Lyngbæk , Victor Vianu: Relational Translations of Semantic Models: A Case Study Based on Iris. IEEE Data Eng. Bull. 11 (2): 13-22 (1988) Serge Abiteboul , Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35 (1): 70-120 (1988) Almira Karabeg , Dino Karabeg , Kostoula Papakonstantinou , Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987 : 254-259 Serge Abiteboul , Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987 : 260-268 Peter Lyngbæk , Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987 : 132-142 Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Inf. 25 (1): 55-84 (1987) Victor Vianu: Dynamic functional dependencies and database aging. J. ACM 34 (1): 28-59 (1987) Serge Abiteboul , Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986 : 235-239 Serge Abiteboul , Victor Vianu: Transactions and Integrity Constraints. PODS 1985 : 193-204 Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984 : 214-220 Serge Abiteboul , Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984 : 46-56 Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983 : 389-399 Tim Connors , Victor Vianu: Tableaux which Define Expression Mappings. XP2 Workshop on Relational Database Theory 1981 Victor Vianu: The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS 1977 : 537-542 1 [ 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 ] [ 64 ] [ 66 ] [ 67 ] [ 70 ] [ 74 ] [ 84 ] [ 101 ] 2 [ 83 ] [ 87 ] [ 91 ] [ 93 ] 3 [ 64 ] 4 [ 98 ] 5 [ 63 ] 6 [ 105 ] 7 [ 59 ] 8 [ 24 ] 9 [ 88 ] 10 [ 72 ] 11 [ 64 ] 12 [ 38 ] 13 [ 2 ] 14 [ 24 ] 15 [ 31 ] [ 41 ] 16 [ 100 ] [ 103 ] [ 105 ] 17 [ 71 ] 18 [ 74 ] 19 [ 66 ] 20 [ 59 ] 21 [ 101 ] 22 [ 27 ] [ 33 ] [ 34 ] [ 46 ] [ 107 ] 23 [ 59 ] 24 [ 71 ] 25 [ 82 ] 26 [ 82 ] 27 [ 101 ] 28 [ 101 ] 29 [ 24 ] [ 50 ] [ 101 ] 30 [ 82 ] 31 [ 72 ] 32 [ 24 ] 33 [ 12 ] 34 [ 12 ] [ 19 ] [ 23 ] [ 30 ] 35 [ 72 ] 36 [ 82 ] [ 97 ] 37 [ 81 ] 38 [ 49 ] [ 60 ] 39 [ 72 ] 40 [ 63 ] 41 [ 10 ] [ 14 ] 42 [ 103 ] 43 [ 64 ] [ 80 ] [ 83 ] [ 87 ] [ 91 ] [ 92 ] [ 93 ] [ 102 ] 44 [ 106 ] 45 [ 83 ] [ 86 ] [ 87 ] [ 91 ] [ 93 ] [ 99 ] 46 [ 71 ] 47 [ 72 ] 48 [ 44 ] [ 51 ] [ 62 ] [ 68 ] 49 [ 12 ] 50 [ 63 ] [ 79 ] [ 96 ] [ 98 ] 51 [ 48 ] [ 53 ] [ 58 ] [ 61 ] 52 [ 106 ] 53 [ 101 ] 54 [ 71 ] 55 [ 86 ] [ 99 ] 56 [ 65 ] [ 73 ] [ 84 ] [ 89 ] [ 104 ] 57 [ 26 ] [ 71 ] 58 [ 72 ] 59 [ 59 ] [ 71 ] 60 [ 51 ] [ 68 ] [ 80 ] [ 83 ] [ 87 ] [ 91 ] [ 92 ] [ 93 ] 61 [ 100 ] [ 103 ] [ 105 ] [ 107 ] 62 [ 101 ] 63 [ 37 ] [ 39 ] [ 45 ] [ 54 ] [ 82 ] [ 101 ] 64 [ 63 ] 65 [ 18 ] [ 21 ] [ 35 ] [ 40 ] 66 [ 59 ] 67 [ 71 ] 68 [ 66 ] [ 74 ] 69 [ 103 ]  ©2006 Association for Computing Machinery |
