Victor Vianu

According to our database1, Victor Vianu
  • authored at least 172 papers between 1977 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Process-centric views of data-driven business artifacts.
J. Comput. Syst. Sci., 2017

A Spin-based Verifier for Artifact Systems.
CoRR, 2017

VERIFAS: A Practical Verifier for Artifact Systems.
CoRR, 2017

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR, 2017

2016
Research Directions for Principles of Data Management (Abridged).
SIGMOD Record, 2016

Verification of Hierarchical Artifact Systems.
CoRR, 2016

Verification of Hierarchical Artifact Systems.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Formal Study of Collaborative Access Control in Distributed Datalog.
Proceedings of the 19th International Conference on Database Theory, 2016

2015
Highly Expressive Query Languages for Unordered Data Trees.
Theory Comput. Syst., 2015

Invited Article Foreword.
J. ACM, 2015

Invited Article Foreword.
J. ACM, 2015

Invited Articles Foreword.
J. ACM, 2015

Process-Centric Views of Data-Driven Business Artifacts.
Proceedings of the 18th International Conference on Database Theory, 2015

Analysis of Data-Centric Workfows.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Automatic Verification of Database-Centric Systems.
SIGMOD Record, 2014

Invited Article Foreword.
J. ACM, 2014

Invited article foreword.
J. ACM, 2014

Invited Articles Foreword.
J. ACM, 2014

Foreword to Invited Articles Section.
J. ACM, 2014

Deduction with Contradictions in Datalog.
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

2013
Invited article foreword.
J. ACM, 2013

Editorial: JACM redux.
J. ACM, 2013

Invited articles foreword.
J. ACM, 2013

Invited Article Foreword.
J. ACM, 2013

Invited article foreword.
J. ACM, 2013

Invited Article Foreword.
J. ACM, 2013

What is a flagship publication?
Commun. ACM, 2013

Collaborative data-driven workflows: think global, act local.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Models for Data-Centric Workflows.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
Artifact systems with data dependencies and arithmetic.
ACM Trans. Database Syst., 2012

Comparing workflow specification languages: A matter of views.
ACM Trans. Database Syst., 2012

Invited article foreword.
J. ACM, 2012

Invited Article Foreword.
J. ACM, 2012

Invited Article Foreword.
J. ACM, 2012

Invited article foreword.
J. ACM, 2012

Invited article foreword.
J. ACM, 2012

The ERC webdam on foundations of web data management.
Proceedings of the 21st World Wide Web Conference, 2012

Highly expressive query languages for unordered data trees.
Proceedings of the 15th International Conference on Database Theory, 2012

2011
Invited Article Foreword.
J. ACM, 2011

Invited Articles Foreword.
J. ACM, 2011

Invited articles foreword.
J. ACM, 2011

Introduction to JACM invited article.
J. ACM, 2011

Artifact systems with data dependencies and arithmetic.
Proceedings of the Database Theory, 2011

Comparing workflow specification languages: a matter of views.
Proceedings of the Database Theory, 2011

Automatic Verification of Data-Centric Business Processes.
Proceedings of the Business Process Management - 9th International Conference, 2011

2010
Views and queries: Determinacy and rewriting.
ACM Trans. Database Syst., 2010

Invited articles section foreword.
J. ACM, 2010

Editorial: JACM at the start of a new decade.
J. ACM, 2010

JACM at the start of a new decade.
Commun. ACM, 2010

2009
Computationally Complete Relational Query Languages.
Proceedings of the Encyclopedia of Database Systems, 2009

Static analysis of active XML systems.
ACM Trans. Database Syst., 2009

Introduction to PODS 2006 special section.
J. ACM, 2009

Introduction to PODS 2007 special section.
J. ACM, 2009

Modeling and Verifying Active XML Artifacts.
IEEE Data Eng. Bull., 2009

Automatic verification of database-driven systems: a new frontier.
Proceedings of the Database Theory, 2009

Automatic verification of data-centric business processes.
Proceedings of the Database Theory, 2009

2008
Database theory column.
SIGACT News, 2008

WAVE: Automatic Verification of Data-Driven Web Services.
IEEE Data Eng. Bull., 2008

Static analysis of active XML systems.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

2007
Specification and verification of data-driven Web applications.
J. Comput. Syst. Sci., 2007

Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.
Proceedings of the Database Theory, 2007

2006
Representing and querying XML with incomplete information.
ACM Trans. Database Syst., 2006

Introduction.
J. ACM, 2006

A system for specification and verification of interactive, data-driven web applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Verification of communicating data-driven web services.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005
In memory of Seymour Ginsburg 1928 - 2004.
SIGMOD Record, 2005

Introduction.
J. ACM, 2005

A Verifier for Interactive, Data-Driven Web Applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Views and queries: determinacy and rewriting.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.
Proceedings of the Web Engineering, 5th International Conference, 2005

PTIME Queries Revisited.
Proceedings of the Database Theory, 2005

2004
Incremental validation of XML documents.
ACM Trans. Database Syst., 2004

Finite state machines for strings over infinite alphabets.
ACM Trans. Comput. Log., 2004

Foreword.
J. ACM, 2004

Specification and Verification of Data-driven Web Services.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

2003
Typechecking XML views of relational databases.
ACM Trans. Comput. Log., 2003

A Web odyssey: from codd to XML.
SIGMOD Record, 2003

Typechecking for XML transformers.
J. Comput. Syst. Sci., 2003

XML with data values: typechecking revisited.
J. Comput. Syst. Sci., 2003

Logic as a Query Language: From Frege to XML.
Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

XML: From Practice to Theory.
Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

Incremental Validation of XML Documents.
Proceedings of the Database Theory, 2003

2002
Validating Streaming XML Documents.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

2001
On the unusual effectiveness of logic in computer science.
Bulletin of Symbolic Logic, 2001

A Web Odyssey: From Codd to XML.
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

XML with Data Values: Typechecking Revisited.
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

Representing and Querying XML with Incomplete Information.
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

Towards Regular Languages over Infinite Alphabets.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Typechecking XML Views of Relational Databases.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000
Queries and computation on the web.
Theor. Comput. Sci., 2000

Reminiscences on Influential Papers.
SIGMOD Record, 2000

SIGMOD Sister Societies.
SIGMOD Record, 2000

Querying Spatial Databases via Topological Invariants.
J. Comput. Syst. Sci., 2000

Relational Transducers for Electronic Commerce.
J. Comput. Syst. Sci., 2000

Review - Exact and Approximate Aggregation in Constraint Query.
ACM SIGMOD Digital Review, 2000

Review - On Instance-Completeness for Database Query Languages involving Object Creation.
ACM SIGMOD Digital Review, 2000

Review - Hypothetical Datalog: Complexity and Expressibility.
ACM SIGMOD Digital Review, 2000

Review - Computable Queries for Relational Data Bases.
ACM SIGMOD Digital Review, 2000

DTD Inference for Views of XML Data.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Typechecking for XML Transformers.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Topological Queries.
Constraint Databases, 2000

1999
Topological Queries in Spatial Databases.
J. Comput. Syst. Sci., 1999

Regular Path Queries with Constraints.
J. Comput. Syst. Sci., 1999

Topological Queries in Spatial Databases.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998
A Probabilistic View of Datalog Parallelization.
Theor. Comput. Sci., 1998

Semantics and Expressiveness Issues in Active Databases.
J. Comput. Syst. Sci., 1998

Reflective Relational Machines.
Inf. Comput., 1998

Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation.
QL, 1998

Querying Spatial Databases via Topological Invariants.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Relational Transducers for Electronic Commerce.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Active Views for Electronic Commerce.
Proceedings of the 14ème Journées Bases de Données Avancées, 1998

1997
Fixpoint logics, relational machines, and computational complexity.
J. ACM, 1997

Rule-Based Languages.
Ann. Math. Artif. Intell., 1997

Regular Path Queries with Constraints.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

Expressiveness and Complexity of Active Databases.
Proceedings of the Database Theory, 1997

Queries and Computation on the Web.
Proceedings of the Database Theory, 1997

1996
Topological Queries in Spatial Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Databases and Finite-Model Theory.
Proceedings of the Descriptive Complexity and Finite Models, 1996

Modélisation Formelle des Bases de Données Actives.
Proceedings of the 12èmes Journées Bases de Données Avancées, 1996

1995
Computing with Infinitary Logic.
Theor. Comput. Sci., 1995

Tractable Query Languages for Complex Object Databases.
J. Comput. Syst. Sci., 1995

Computing with First-Order Logic.
J. Comput. Syst. Sci., 1995

Semantics and Expressiveness Issues in Active Databases.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

A Probabilistic View of Datalog Parallelization.
Proceedings of the Database Theory, 1995

Foundations of Databases.
Addison-Wesley, ISBN: 0-201-53771-0, 1995

1994
The Power of Reflective Relational Machines
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993
Static and Dynamic Aspects of Goal-Oriented Concurrency Control.
Ann. Math. Artif. Intell., 1993

Database Method Schemas and Object Creation.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Computing on Structures.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Expressive Power of Query Languages.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Conceptual Level Concurrency Control of Relational Update Transactions.
Theor. Comput. Sci., 1992

Queries Are Easier Than You Thought (Probably).
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Computing with Infinitary Logic.
Proceedings of the Database Theory, 1992

Fixpoint Logics, Relational Machines, and Computational Complexity.
Proceedings of the Seventh Annual Structure in Complexity Theory Conference, 1992

Expressive Power of Query Languages.
Proceedings of the Theoretical Studies in Computer Science, 1992

1991
Simplification Rules and Complete Axiomatization for Relational Update Transactions.
ACM Trans. Database Syst., 1991

Datalog Extensions for Database Queries and Updates.
J. Comput. Syst. Sci., 1991

Non-Determinism in Logic-Based Languages.
Ann. Math. Artif. Intell., 1991

The Power of Methods With Parallel Semantics.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Generic Computation and Its Complexity
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Tractable Query Languages for Complex Object Databases.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

Expressiveness and Complexity of Restricted Languages for Complex Objects.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
Parallel Update Transactions.
Theor. Comput. Sci., 1990

New Hope on Data Models and Types: Report of an NSF-INRIA Workshop.
SIGMOD Record, 1990

Procedural Languages for Database Queries and Updates.
J. Comput. Syst. Sci., 1990

Non-Deterministic Languages to Express Deterministic Transformations.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Playing Games with Objects.
Proceedings of the ICDT'90, 1990

1989
A transaction-based approach to relational database specification.
J. ACM, 1989

Goal-Oriented Concurrency Control.
Proceedings of the MFDBS 89, 1989

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988
A Dynamic Framework for Object Projection Views.
ACM Trans. Database Syst., 1988

Equivalence and optimization of relational transactions.
J. ACM, 1988

Relational Translations of Semantic Models: A Case Study Based on Iris.
IEEE Data Eng. Bull., 1988

Database Survivability Under Dynamic Constraints.
Acta Inf., 1988

Procedural and Declarative Database Update Languages.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications.
JCDKB, 1988

Conceptual Level Concurrency Control of Relational Update Transactions.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

Parallel Update Transactions (Extended Abstract).
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987
Dynamic functional dependencies and database aging.
J. ACM, 1987

Mapping a Semantic Database Model to the Relational Model.
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Axiomatization and Simplification Rules for Relational Transactions.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

A Transcation Language Complete for Database Update and Specification.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986
Deciding Properties of Transactional Schemas.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

1985
Transactions and Integrity Constraints.
Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

1984
Transactions in Relational Databases (Preliminary Report).
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Object Projection Views in the Dynamic Relational Model.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983
Dynamic Constraints and Database Evolution.
Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

1981
Tableaux which Define Expression Mappings.
Proceedings of the XP2 Workshop on Relational Database Theory, 1981

1977
The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977


  Loading...