Victor Vianu

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

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

Victor Vianu: Invited article foreword. J. ACM 59(2): 9 (2012)

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

Victor Vianu: Invited Article Foreword. J. ACM 59(4): 20 (2012)

Victor Vianu: Invited article foreword. J. ACM 59(5): 26 (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4) (2009)

Victor Vianu: Automatic verification of database-driven systems: a new frontier. ICDT 2009: 1-13

Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu: Automatic verification of data-centric business processes. ICDT 2009: 252-267

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

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

Victor Vianu: Database theory column. SIGACT News 39(1): 77-79 (2008)

Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. PODS 2008: 221-230

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

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

Dan Suciu, Victor Vianu: Introduction. J. ACM 53(2): 207 (2006)

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

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou: Verification of communicating data-driven web services. PODS 2006: 90-99

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

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)

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

Stéphane Grumbach, Liying Sui, Victor Vianu (Eds.): Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings. Lecture Notes in Computer Science 3818, Springer 2005, isbn 3-540-30767-2

Phokion G. Kolaitis, Victor Vianu: Foreword. J. ACM 51(1): 1 (2004)

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)

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

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)

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)

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

Luc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64

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)

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

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

Victor Vianu: A Web Odyssey: From Codd to XML. PODS 2001

Jan Van den Bussche, Victor Vianu (Eds.): Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Lecture Notes in Computer Science 1973, Springer 2001, isbn 3-540-41456-8

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

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

Serge Abiteboul, Victor Vianu, Bradley 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)

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, Georg Gottlob (Eds.): Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA. ACM 2000, isbn 1-58113-214-X

Victor Vianu, Georg Gottlob (Eds.): Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA. ACM 2000, isbn 1-58113-214-X

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

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

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)

Victor Vianu: Topological Queries in Spatial Databases. CSL 1999: 1

Victor Vianu, Christos H. Papadimitriou (Eds.): 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, isbn 1-58113-062-7

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)

Serge Abiteboul, Bernd Amann, Sophie Cluet, Tova Milo, Victor Vianu: Active Views for Electronic Commerce. BDA 1998: 405-424

Luc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98

Serge Abiteboul, Victor Vianu, Bradley S. Fordham, Yelena Yesha: Relational Transducers for Electronic Commerce. PODS 1998: 179-187

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

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: 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

Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace (Eds.): 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. Lecture Notes in Computer Science 1191, Springer 1997, isbn 3-540-62501-1

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, isbn 0-201-53771-0

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)

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, Christos H. Papadimitriou, Victor Vianu: The Power of Reflective Relational Machines. LICS 1994: 230-240

Victor Vianu (Ed.): Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA. ACM Press 1994, isbn 0-89791-642-5

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, 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: Conceptual Level Concurrency Control of Relational Update Transactions. Theor. Comput. Sci. 95(1): 1-42 (1992)

Serge Abiteboul, Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992: 207-251

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

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, 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)

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

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

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)

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: A transaction-based approach to relational database specification. J. ACM 36(4): 758-789 (1989)

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

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)

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

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: 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)

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

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