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 |