Showing 1–11 of 11 results
/ Date/ Name
Aug 26, 2013Rewriting XPath Queries using View Intersections: Tractability versus CompletenessMay 26, 2017SpinArt: A Spin-based Verifier for Artifact SystemsApr 4, 2016Verification of Hierarchical Artifact SystemsJan 24, 2019TigerGraph: A Native MPP Graph DatabaseMay 29, 2017VERIFAS: A Practical Verifier for Artifact SystemsFeb 29, 2012Verification of Relational Data-Centric Dynamic Systems with External ServicesMar 23, 2021HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version)Dec 12, 2021Graph Pattern Matching in GQL and SQL/PGQMar 25, 2021Vertex-centric Parallel Computation of SQL QueriesFeb 29, 2012Trajectory and Policy Aware Sender Anonymity in Location Based ServicesJul 10, 2023The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space