The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. - Victor Vianu (MFCS, 1977)

Tableaux which Define Expression Mappings. - Tim Connors; Victor Vianu (XP2 Workshop on Relational Database Theory, 1981)

Dynamic Constraints and Database Evolution. - Victor Vianu (PODS, 1983)

Object Projection Views in the Dynamic Relational Model. - Victor Vianu (PODS, 1984)

Transactions in Relational Databases (Preliminary Report). - Serge Abiteboul; Victor Vianu (VLDB, 1984)

Transactions and Integrity Constraints. - Serge Abiteboul; Victor Vianu (PODS, 1985)

Deciding Properties of Transactional Schemas. - Serge Abiteboul; Victor Vianu (PODS, 1986)

A Transcation Language Complete for Database Update and Specification. - Serge Abiteboul; Victor Vianu (PODS, 1987)

Axiomatization and Simplification Rules for Relational Transactions. - Almira Karabeg; Dino Karabeg; Kostoula Papakonstantinou; Victor Vianu (PODS, 1987)

Mapping a Semantic Database Model to the Relational Model. - Peter Lyngbæk; Victor Vianu (SIGMOD Conference, 1987)

Dynamic functional dependencies and database aging. - Victor Vianu (J. ACM, 1987)

Parallel Update Transactions (Extended Abstract). - Dino Karabeg; Victor Vianu (ICDT, 1988)

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. - Serge Abiteboul; Victor Vianu (JCDKB, 1988)

Procedural and Declarative Database Update Languages. - Serge Abiteboul; Victor Vianu (PODS, 1988)

Database Survivability Under Dynamic Constraints. - Victor Vianu (Acta Informatica, 1988)

Relational Translations of Semantic Models: A Case Study Based on Iris. - Peter Lyngbæk; Victor Vianu (IEEE Data Eng. Bull., 1988)

Equivalence and optimization of relational transactions. - Serge Abiteboul; Victor Vianu (J. ACM, 1988)

A Dynamic Framework for Object Projection Views. - Victor Vianu (ACM Trans. Database Syst., 1988)

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages - Serge Abiteboul; Victor Vianu (LICS, 1989)

Goal-Oriented Concurrency Control. - Victor Vianu; Gottfried Vossen (MFDBS, 1989)

A transaction-based approach to relational database specification. - Serge Abiteboul; Victor Vianu (J. ACM, 1989)

Playing Games with Objects. - Stéphane Grumbach; Victor Vianu (ICDT, 1990)

Non-Deterministic Languages to Express Deterministic Transformations. - Serge Abiteboul; Eric Simon; Victor Vianu (PODS, 1990)

Procedural Languages for Database Queries and Updates. - Serge Abiteboul; Victor Vianu (J. Comput. Syst. Sci., 1990)

New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. - Serge Abiteboul; Peter Buneman; Claude Delobel; Richard Hull 001; Paris C. Kanellakis; Victor Vianu (SIGMOD Rec., 1990)

Parallel Update Transactions. - Dino Karabeg; Victor Vianu (Theor. Comput. Sci., 1990)

Expressiveness and Complexity of Restricted Languages for Complex Objects. - Stéphane Grumbach; Victor Vianu (DBPL, 1991)

Generic Computation and Its Complexity - Serge Abiteboul; Victor Vianu (STOC, 1991)

The Power of Methods With Parallel Semantics. - Karl Denninghoff; Victor Vianu (VLDB, 1991)

Non-Determinism in Logic-Based Languages. - Serge Abiteboul; Victor Vianu (Ann. Math. Artif. Intell., 1991)

Datalog Extensions for Database Queries and Updates. - Serge Abiteboul; Victor Vianu (J. Comput. Syst. Sci., 1991)

Simplification Rules and Complete Axiomatization for Relational Update Transactions. - Dino Karabeg; Victor Vianu (ACM Trans. Database Syst., 1991)

Queries Are Easier Than You Thought (Probably). - Serge Abiteboul; Kevin J. Compton; Victor Vianu (PODS, 1992)

Conceptual Level Concurrency Control of Relational Update Transactions. - Victor Vianu; Gottfried Vossen (Theor. Comput. Sci., 1992)

Expressive Power of Query Languages. - Serge Abiteboul; Victor Vianu (GULP, 1993)

Computing on Structures. - Serge Abiteboul; Victor Vianu (ICALP, 1993)

Database Method Schemas and Object Creation. - Karl Denninghoff; Victor Vianu (PODS, 1993)

Static and Dynamic Aspects of Goal-Oriented Concurrency Control. - Victor Vianu; Gottfried Vossen (Ann. Math. Artif. Intell., 1993)

The Power of Reflective Relational Machines - Serge Abiteboul; Christos H. Papadimitriou; Victor Vianu (LICS, 1994)

Foundations of Databases. - Serge Abiteboul; Richard Hull 001; Victor Vianu (Addison-Wesley, 1995)

Computing with First-Order Logic. - Serge Abiteboul; Victor Vianu (J. Comput. Syst. Sci., 1995)

Tractable Query Languages for Complex Object Databases. - Stéphane Grumbach; Victor Vianu (J. Comput. Syst. Sci., 1995)

Computing with Infinitary Logic. - Serge Abiteboul; Moshe Y. Vardi; Victor Vianu (Theor. Comput. Sci., 1995)

Modélisation Formelle des Bases de Données Actives. - Philippe Picouet; Victor Vianu (BDA, 1996)

Databases and Finite-Model Theory. - Victor Vianu (Descriptive Complexity and Finite Models, 1996)

Expressiveness and Complexity of Active Databases. - Philippe Picouet; Victor Vianu (ICDT, 1997)

Rule-Based Languages. - Victor Vianu (Ann. Math. Artif. Intell., 1997)

Fixpoint logics, relational machines, and computational complexity. - Serge Abiteboul; Moshe Y. Vardi; Victor Vianu (J. ACM, 1997)

Active Views for Electronic Commerce. - Serge Abiteboul; Bernd Amann; Sophie Cluet; Tova Milo; Victor Vianu (BDA, 1998)

Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. - Chaitanya K. Baru; Bertram Ludäscher; Yannis Papakonstantinou; Pavel E. Velikhov; Victor Vianu (QL, 1998)

Reflective Relational Machines. - Serge Abiteboul; Christos H. Papadimitriou; Victor Vianu (Inf. Comput., 1998)

Semantics and Expressiveness Issues in Active Databases. - Philippe Picouet; Victor Vianu (J. Comput. Syst. Sci., 1998)

A Probabilistic View of Datalog Parallelization. - Sérgio Lifschitz; Victor Vianu (Theor. Comput. Sci., 1998)

Topological Queries in Spatial Databases. - Victor Vianu (CSL, 1999)

Regular Path Queries with Constraints. - Serge Abiteboul; Victor Vianu (J. Comput. Syst. Sci., 1999)

Topological Queries in Spatial Databases. - Christos H. Papadimitriou; Dan Suciu; Victor Vianu (J. Comput. Syst. Sci., 1999)

Finite and Infinite in Logic. - Victor Vianu (Finite Versus Infinite, 2000)

Topological Queries. - Bart Kuijpers; Victor Vianu (Constraint Databases, 2000)

DTD Inference for Views of XML Data. - Yannis Papakonstantinou; Victor Vianu (PODS, 2000)

Review - Computable Queries for Relational Data Bases. - Victor Vianu (ACM SIGMOD Digit. Rev., 2000)

Review - Hypothetical Datalog: Complexity and Expressibility. - Victor Vianu (ACM SIGMOD Digit. Rev., 2000)

Review - On Instance-Completeness for Database Query Languages involving Object Creation. - Victor Vianu (ACM SIGMOD Digit. Rev., 2000)

Review - Exact and Approximate Aggregation in Constraint Query. - Victor Vianu (ACM SIGMOD Digit. Rev., 2000)

Relational Transducers for Electronic Commerce. - Serge Abiteboul; Victor Vianu; Bradley S. Fordham; Yelena Yesha (J. Comput. Syst. Sci., 2000)

Querying Spatial Databases via Topological Invariants. - Luc Segoufin; Victor Vianu (J. Comput. Syst. Sci., 2000)

SIGMOD Sister Societies. - Stefano Ceri; Leonid A. Kalinichenko; Masaru Kitsuregawa; Hongjun Lu; Z. Meral Özsoyoglu; Richard T. Snodgrass; Victor Vianu (SIGMOD Rec., 2000)

Reminiscences on Influential Papers. - Kenneth A. Ross; Christos Faloutsos; Alon Y. Levy; Patrick E. O'Neil; Eric Simon; Divesh Srivastava; Victor Vianu; Gerhard Weikum (SIGMOD Rec., 2000)

Queries and computation on the web. - Serge Abiteboul; Victor Vianu (Theor. Comput. Sci., 2000)

Towards Regular Languages over Infinite Alphabets. - Frank Neven; Thomas Schwentick; Victor Vianu (MFCS, 2001)

On the unusual effectiveness of logic in computer science. - Joseph Y. Halpern; Robert Harper 001; Neil Immerman; Phokion G. Kolaitis; Moshe Y. Vardi; Victor Vianu (Bull. Symb. Log., 2001)

Validating Streaming XML Documents. - Luc Segoufin; Victor Vianu (PODS, 2002)

Incremental Validation of XML Documents. - Yannis Papakonstantinou; Victor Vianu (ICDT, 2003)

XML: From Practice to Theory. - Victor Vianu (SBBD, 2003)

Logic as a Query Language: From Frege to XML. - Victor Vianu (STACS, 2003)

XML with data values: typechecking revisited. - Noga Alon; Tova Milo; Frank Neven; Dan Suciu; Victor Vianu (J. Comput. Syst. Sci., 2003)

Typechecking for XML transformers. - Tova Milo; Dan Suciu; Victor Vianu (J. Comput. Syst. Sci., 2003)

A Web odyssey: from codd to XML. - Victor Vianu (SIGMOD Rec., 2003)

Typechecking XML views of relational databases. - Noga Alon; Tova Milo; Frank Neven; Dan Suciu; Victor Vianu (ACM Trans. Comput. Log., 2003)

Specification and Verification of Data-driven Web Services. - Alin Deutsch; Liying Sui; Victor Vianu (PODS, 2004)

Foreword. - Phokion G. Kolaitis; Victor Vianu (J. ACM, 2004)

Finite state machines for strings over infinite alphabets. - Frank Neven; Thomas Schwentick; Victor Vianu (ACM Trans. Comput. Log., 2004)

Incremental validation of XML documents. - Andrey Balmin; Yannis Papakonstantinou; Victor Vianu (ACM Trans. Database Syst., 2004)

PTIME Queries Revisited. - Alan Nash; Jeffrey B. Remmel; Victor Vianu (ICDT, 2005)

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae. - Marco Brambilla 001; Alin Deutsch; Liying Sui; Victor Vianu (ICWE, 2005)

Views and queries: determinacy and rewriting. - Luc Segoufin; Victor Vianu (PODS, 2005)

A Verifier for Interactive, Data-Driven Web Applications. - Alin Deutsch; Monica Marcus; Liying Sui; Victor Vianu; Dayou Zhou (SIGMOD Conference, 2005)

Introduction. - Tova Milo; Victor Vianu (J. ACM, 2005)

In memory of Seymour Ginsburg 1928 - 2004. - Serge Abiteboul; Richard Hull 001; Victor Vianu; Sheila A. Greibach; Michael A. Harrison; Ellis Horowitz; Daniel J. Rosenkrantz; Jeffrey D. Ullman; Moshe Y. Vardi (SIGMOD Rec., 2005)

Verification of communicating data-driven web services. - Alin Deutsch; Liying Sui; Victor Vianu; Dayou Zhou (PODS, 2006)

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

Introduction. - Dan Suciu; Victor Vianu (J. ACM, 2006)

Representing and querying XML with incomplete information. - Serge Abiteboul; Luc Segoufin; Victor Vianu (ACM Trans. Database Syst., 2006)

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

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

08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. - Anca Muscholl; Ramaswamy Ramanujam; Michaël Rusinowitch; Thomas Schwentick; Victor Vianu (Beyond the Finite: New Challenges in Verification and Semistructured Data, 2008)

08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. - Anca Muscholl; Ramaswamy Ramanujam; Michaël Rusinowitch; Thomas Schwentick; Victor Vianu (Beyond the Finite: New Challenges in Verification and Semistructured Data, 2008)

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

Database theory column. - Victor Vianu (SIGACT News, 2008)

Automatic verification of data-centric business processes. - Alin Deutsch; Richard Hull 001; Fabio Patrizi; Victor Vianu (ICDT, 2009)

Automatic verification of database-driven systems: a new frontier. - Victor Vianu (ICDT, 2009)

Modeling and Verifying Active XML Artifacts. - Serge Abiteboul; Luc Segoufin; Victor Vianu (IEEE Data Eng. Bull., 2009)

Introduction to PODS 2007 special section. - Leonid Libkin; Victor Vianu (J. ACM, 2009)

Introduction to PODS 2006 special section. - Victor Vianu; Jan Van den Bussche (J. ACM, 2009)

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

Computationally Complete Relational Query Languages. - Victor Vianu; Dirk Van Gucht (Encyclopedia of Database Systems, 2009)

JACM at the start of a new decade. - Victor Vianu (Commun. ACM, 2010)

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

Invited articles section foreword. - Victor Vianu (J. ACM, 2010)

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

Automatic Verification of Data-Centric Business Processes. - Elio Damaggio; Alin Deutsch; Richard Hull 001; Victor Vianu (BPM, 2011)

Introduction to JACM invited article. - Victor Vianu (J. ACM, 2011)

Invited articles foreword. - Victor Vianu (J. ACM, 2011)

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

Invited article foreword. - Victor Vianu (J. ACM, 2012)

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

Artifact systems with data dependencies and arithmetic. - Elio Damaggio; Alin Deutsch; Victor Vianu (ACM Trans. Database Syst., 2012)

Models for Data-Centric Workflows. - Serge Abiteboul; Victor Vianu (In Search of Elegance in the Theory and Practice of Computation, 2013)

Collaborative data-driven workflows: think global, act local. - Serge Abiteboul; Victor Vianu (PODS, 2013)

What is a flagship publication? - Moshe Y. Vardi; Victor Vianu (Commun. ACM, 2013)

Editorial: JACM redux. - Victor Vianu (J. ACM, 2013)

Deduction with Contradictions in Datalog. - Serge Abiteboul; Daniel Deutch; Victor Vianu (ICDT, 2014)

Foreword to Invited Articles Section. - Victor Vianu (J. ACM, 2014)

Automatic Verification of Database-Centric Systems. - Alin Deutsch; Richard Hull 001; Victor Vianu (SIGMOD Rec., 2014)

Analysis of Data-Centric Workfows. - Victor Vianu (AMW, 2015)

Highly Expressive Query Languages for Unordered Data Trees. - Serge Abiteboul; Pierre Bourhis; Victor Vianu (Theory Comput. Syst., 2015)

A Formal Study of Collaborative Access Control in Distributed Datalog. - Serge Abiteboul; Pierre Bourhis; Victor Vianu (ICDT, 2016)

Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. - Richard Hull 001; Vishal S. Batra; Yi-Min Chen; Alin Deutsch; Fenno F. Terry Heath III; Victor Vianu (ICSOC, 2016)

Research Directions for Principles of Data Management (Abridged). - Serge Abiteboul; Marcelo Arenas; Pablo Barceló; Meghyn Bienvenu; Diego Calvanese; Claire David; Richard Hull 001; Eyke Hüllermeier; Benny Kimelfeld; Leonid Libkin; Wim Martens; Tova Milo; et al. (SIGMOD Rec., 2016)

A Spin-based Verifier for Artifact Systems. - Yuliang Li 001; Alin Deutsch; Victor Vianu (CoRR, 2017)

Process-centric views of data-driven business artifacts. - Adrien Koutsos; Victor Vianu (J. Comput. Syst. Sci., 2017)

VERIFAS: A Practical Verifier for Artifact Systems. - Yuliang Li 001; Alin Deutsch; Victor Vianu (Proc. VLDB Endow., 2017)

Explanations and Transparency in Collaborative Workflows. - Serge Abiteboul; Pierre Bourhis; Victor Vianu (PODS, 2018)

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). - Serge Abiteboul; Marcelo Arenas; Pablo Barceló; Meghyn Bienvenu; Diego Calvanese; Claire David; Richard Hull 001; Eyke Hüllermeier; Benny Kimelfeld; Leonid Libkin; Wim Martens; Tova Milo; et al. (Dagstuhl Manifestos, 2018)

Automatic verification of database-centric systems. - Alin Deutsch; Richard Hull 001; Yuliang Li 001; Victor Vianu (ACM SIGLOG News, 2018)

Computationally Complete Relational Query Languages. - Victor Vianu; Dirk Van Gucht (Encyclopedia of Database Systems (2nd ed.), 2018)

2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. - Jianwen Su; Dirk Van Gucht; Victor Vianu (PODS, 2019)

Verification of Hierarchical Artifact Systems. - Alin Deutsch; Yuliang Li 001; Victor Vianu (ACM Trans. Database Syst., 2019)

Projection Views of Register Automata. - Luc Segoufin; Victor Vianu (PODS, 2020)

Datalog Unchained. - Victor Vianu (PODS, 2021)

Database Education at UC San Diego. - Arun Kumar 001; Alin Deutsch; Amarnath Gupta; Yannis Papakonstantinou; Babak Salimi; Victor Vianu (SIGMOD Rec., 2022)