2022
Database Education at UC San Diego.
SIGMOD Rec., 2022
2021
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021
2020
Projection Views of Register Automata.
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020
2019
Verification of Hierarchical Artifact Systems.
ACM Trans. Database Syst., 2019
2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019
2018
Computationally Complete Relational Query Languages.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Automatic verification of database-centric systems.
ACM SIGLOG News, 2018
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Dagstuhl Manifestos, 2018
Explanations and Transparency in Collaborative Workflows.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018
2017
VERIFAS: A Practical Verifier for Artifact Systems.
Proc. VLDB Endow., 2017
Process-centric views of data-driven business artifacts.
J. Comput. Syst. Sci., 2017
A Spin-based Verifier for Artifact Systems.
CoRR, 2017
2016
Research Directions for Principles of Data Management (Abridged).
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
SIGMOD Rec., 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
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 Rec., 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
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
The ERC webdam on foundations of web data management.
Proceedings of the 21st World Wide Web Conference, 2012
2011
Invited articles foreword.
J. ACM, 2011
Introduction to <i>JACM</i> invited article.
J. ACM, 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
<i>JACM</i> 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
WAVE: Automatic Verification of Data-Driven Web Services.
IEEE Data Eng. Bull., 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
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 Rec., 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
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
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 Rec., 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.
Bull. Symb. Log., 2001
Towards Regular Languages over Infinite Alphabets.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
2000
Queries and computation on the web.
Theor. Comput. Sci., 2000
Reminiscences on Influential Papers.
SIGMOD Rec., 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 Digit. Rev., 2000
Review - On Instance-Completeness for Database Query Languages involving Object Creation.
ACM SIGMOD Digit. Rev., 2000
Review - Hypothetical Datalog: Complexity and Expressibility.
ACM SIGMOD Digit. Rev., 2000
Review - Computable Queries for Relational Data Bases.
ACM SIGMOD Digit. Rev., 2000
DTD Inference for Views of XML Data.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000
Proceedings of the Constraint Databases, 2000
Finite and Infinite in Logic.
Proceedings of the Finite Versus Infinite, 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.
Proceedings of the Query Languages Workshop, Boston, 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
Ann. Math. Artif. Intell., 1997
Expressiveness and Complexity of Active Databases.
Proceedings of the Database Theory, 1997
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
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
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
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
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 Rec., 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 Informatica, 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.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 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