Alin Deutsch

According to our database1, Alin Deutsch authored at least 87 papers between 1995 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Automatic verification of database-centric systems.
SIGLOG News, 2018

Graph Data Models, Query Languages and Programming Paradigms.
PVLDB, 2018

Querying Graph Databases with the GSQL Query Language.
Proceedings of the 33rd Annual Brazilian Symposium on Databases, 2018

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

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

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

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

Flexible hybrid stores: Constraint-based rewriting to the rescue.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

Datalography: Scaling datalog graph analytics on graph processing systems.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015
Toward Scalable Hybrid Stores.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Invisible Glue: Scalable Self-Tunning Multi-Stores.
Proceedings of the CIDR 2015, 2015

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

Complete yet practical search for minimal query reformulations under constraints.
Proceedings of the International Conference on Management of Data, 2014

State-Boundedness in Data-Aware Dynamic Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
Automating the database schema evolution process.
VLDB J., 2013

Rewriting XPath Queries using View Intersections: Tractability versus Completeness.
CoRR, 2013

Abstractions for genomics.
Commun. ACM, 2013

Verification of relational data-centric dynamic systems with external services.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Provenance-Directed Chase&Backchase.
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

Verification of Relational Data-Centric Dynamic Systems with External Services
CoRR, 2012

Trajectory and Policy Aware Sender Anonymity in Location Based Services
CoRR, 2012

2011
Querying XML data sources that export very large sets of views.
ACM Trans. Database Syst., 2011

Querying Data Sources that Export Infinite Sets of Views.
Theory Comput. Syst., 2011

ASTERIX: towards a scalable, semistructured data platform for evolving-world models.
Distributed and Parallel Databases, 2011

Foundations of distributed data management (Dagstuhl Seminar 11421).
Dagstuhl Reports, 2011

Querying contract databases based on temporal behavior.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Score-consistent algebraic optimization of full-text search queries with GRAFT.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

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

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

2010
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++.
PVLDB, 2010

Load-balanced query dissemination in privacy-aware online communities.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Inconsistency resolution in online databases.
Proceedings of the 26th International Conference on Data Engineering, 2010

Policy-aware sender anonymity in location based services.
Proceedings of the 26th International Conference on Data Engineering, 2010

2009
Chase.
Proceedings of the Encyclopedia of Database Systems, 2009

FOL Modeling of Integrity Constraints (Dependencies).
Proceedings of the Encyclopedia of Database Systems, 2009

Efficient Rewriting of XPath Queries Using Query Set Specifications.
PVLDB, 2009

FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms.
Proceedings of the 12th International Workshop on the Web and Databases, 2009

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

Querying data sources that export infinite sets of views.
Proceedings of the Database Theory, 2009

Do-It-Yourself custom forms-driven workflow applications.
Proceedings of the CIDR 2009, 2009

2008
Privacy in Database Publishing: A Bayesian Perspective.
Proceedings of the Handbook of Database Security - Applications and Trends, 2008

Managing and querying transaction-time databases under schema evolution.
PVLDB, 2008

RIDE: a tool for interactive source registration in community-oriented information integration.
PVLDB, 2008

Interactive source registration in community-oriented information integration.
PVLDB, 2008

XTreeNet: democratic community search.
PVLDB, 2008

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

XPath Rewriting Using Multiple Views: Achieving Completeness and Efficiency.
Proceedings of the 11th International Workshop on the Web and Databases, 2008

The chase revisited.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

2007
Exporting and interactively querying Web service-accessed sources: The CLIDE System.
ACM Trans. Database Syst., 2007

Rewriting queries using views with access patterns under integrity constraints.
Theor. Comput. Sci., 2007

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

CLIDE: interactive query formulation for service oriented architectures.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Privacy in GLAV Information Integration.
Proceedings of the Database Theory, 2007

2006
Query reformulation with constraints.
SIGMOD Record, 2006

Interactive query formulation over web service-accessed sources.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Rewriting nested XML queries using nested views.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 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

Flexible and efficient XML search with complex full-text predicates.
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
XML queries and constraints, containment and reformulation.
Theor. Comput. Sci., 2005

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

Building an XQuery interpreter in a compiler construction course.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Determining source contribution in integration systems.
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

Privacy in Database Publishing.
Proceedings of the Database Theory, 2005

Rewriting Queries Using Views with Access Patterns Under Integrity Constraints.
Proceedings of the Database Theory, 2005

Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM).
Proceedings of the Semantic Interoperability and Integration, 2005

2004
The NEXT Logical Framework for XQuery.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, Toronto, Canada, August 31, 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

Minimization and Group-By Detection for Nested XQueries.
Proceedings of the 20th International Conference on Data Engineering, 2004

2003
The Query Set Specification Language (QSSL).
Proceedings of the International Workshop on Web and Databases, 2003

MARS: A System for Publishing XML from Mixed and Redundant Storage.
Proceedings of the VLDB 2003, 2003

Reformulation of XML Queries and Constraints.
Proceedings of the Database Theory, 2003

2001
Containment and Integrity Constraints for XPath
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Optimization Properties for Classes of Conjunctive Regular Path Queries.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000
A Chase Too Far?
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

1999
Querying XML Data.
IEEE Data Eng. Bull., 1999

A Query Language for XML.
Computer Networks, 1999

Physical Data Independence, Constraints, and Optimization with Universal Plans
Proceedings of the VLDB'99, 1999

Storing Semistructured Data with STORED.
Proceedings of the SIGMOD 1999, 1999

1998


1996
Design, Implementation and Management of Rules in an Active Database System.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

1995
The REACH Active OODBMS.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995


  Loading...