| HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries | 0 | 0.34 | 2021 |
| Vertex-centric Parallel Computation of SQL Queries | 0 | 0.34 | 2021 |
| ESTOCADA: Towards Scalable Polystore Systems. | 0 | 0.34 | 2020 |
| Aggregation Support for Modern Graph Analytics in TigerGraph | 1 | 0.35 | 2020 |
| ESTOCADA: towards scalable polystore systems | 0 | 0.34 | 2020 |
| Ariadne: Online Provenance for Big Graph Analytics | 0 | 0.34 | 2019 |
| TigerGraph: A Native MPP Graph Database. | 0 | 0.34 | 2019 |
| Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue | 0 | 0.34 | 2019 |
| Graph data models, query languages and programming paradigms | 1 | 0.35 | 2018 |
| Querying Graph Databases with the GSQL Query Language. | 0 | 0.34 | 2018 |
| Graph Data Models, Query Languages and Programming Paradigms. | 0 | 0.34 | 2018 |
| VERIFAS: A Practical Verifier for Artifact Systems. | 0 | 0.34 | 2018 |
| VERIFAS: A Practical Verifier for Artifact Systems. | 0 | 0.34 | 2017 |
| VERIFAS: a practical verifier for artifact systems | 1 | 0.38 | 2017 |
| A Spin-based Verifier for Artifact Systems. | 0 | 0.34 | 2017 |
| Flexible Hybrid Stores: Constraint-Based Rewriting To The Rescue | 0 | 0.34 | 2016 |
| Verification of Hierarchical Artifact Systems. | 4 | 0.41 | 2016 |
| Datalography: Scaling datalog graph analytics on graph processing systems | 3 | 0.39 | 2016 |
| Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes. | 17 | 1.02 | 2016 |
| Invisible Glue: Scalable Self-Tunning Multi-Stores. | 10 | 0.62 | 2015 |
| Toward Scalable Hybrid Stores. | 1 | 0.35 | 2015 |
| Verification of Human Driven Data-Centric Dynamic Systems | 0 | 0.34 | 2014 |
| Complete yet practical search for minimal query reformulations under constraints | 11 | 0.62 | 2014 |
| Automatic Verification of Database-Centric Systems. | 4 | 0.38 | 2014 |
| State-Boundedness in Data-Aware Dynamic Systems. | 5 | 0.56 | 2014 |
| Provenance-Directed Chase&Backchase. | 0 | 0.34 | 2013 |
| Verification of relational data-centric dynamic systems with external services | 86 | 2.46 | 2013 |
| Automating the database schema evolution process | 45 | 2.23 | 2013 |
| Rewriting XPath Queries using View Intersections: Tractability versus Completeness. | 0 | 0.34 | 2013 |
| Trajectory and Policy Aware Sender Anonymity in Location Based Services | 0 | 0.34 | 2012 |
| Querying contract databases based on temporal behavior | 0 | 0.34 | 2011 |
| Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++. | 0 | 0.34 | 2011 |
| ASTERIX: towards a scalable, semistructured data platform for evolving-world models | 52 | 3.17 | 2011 |
| Score-consistent algebraic optimization of full-text search queries with GRAFT | 1 | 0.35 | 2011 |
| Querying XML data sources that export very large sets of views | 3 | 0.38 | 2011 |
| Artifact systems with data dependencies and arithmetic | 35 | 1.53 | 2011 |
| Querying Data Sources that Export Infinite Sets of Views | 7 | 0.47 | 2011 |
| Automatic verification of data-centric business processes | 16 | 0.71 | 2011 |
| Foundations of distributed data management (Dagstuhl Seminar 11421). | 0 | 0.34 | 2011 |
| Policy-aware sender anonymity in location-based services | 0 | 0.34 | 2010 |
| Load-balanced query dissemination in privacy-aware online communities | 2 | 0.38 | 2010 |
| Update rewriting and integrity constraint maintenance in a schema evolution support system: PRISM++ | 26 | 1.22 | 2010 |
| Do-It-Yourself custom forms-driven workflow applications | 7 | 0.79 | 2009 |
| Efficient rewriting of XPath queries using Query Set Specifications | 13 | 0.65 | 2009 |
| FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms | 2 | 0.48 | 2009 |
| Efficient Rewriting of XPath Queries Using Query Set Specifications. | 0 | 0.34 | 2009 |
| Automatic verification of data-centric business processes | 133 | 4.28 | 2009 |
| XTreeNet: democratic community search | 8 | 0.48 | 2008 |
| Interactive source registration in community-oriented information integration | 3 | 0.56 | 2008 |
| WAVE: Automatic Verification of Data-Driven Web Services | 10 | 0.52 | 2008 |
