共 50 条
- [1] Formal Verification of the rank Algorithm for Succinct Data Structures [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 243 - 260
- [2] Efficient implementation of rank and select functions for succinct representation [J]. EXPERIMENTAL AND EFFICIENT ALGORITHMS, PROCEEDINGS, 2005, 3503 : 315 - 327
- [3] Fast Computation of Rank and Select Functions for Succinct Representation [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (10): : 2025 - 2033
- [5] Succinct data structures for big data [J]. Journal of the Institute of Electronics, Information and Communication Engineers, 2014, 97 (05): : 379 - 383
- [6] On the redundancy of succinct data structures [J]. ALGORITHM THEORY - SWAT 2008, 2008, 5124 : 148 - 159
- [8] Optimized succinct data structures for massive data [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (11): : 1287 - 1314
- [9] Highly Succinct Dynamic Data Structures [J]. FUNDAMENTALS OF COMPUTATION THEORY, FCT 2019, 2019, 11651 : 29 - 45
- [10] Statistical encoding of succinct data structures [J]. COMBINATORIAL PATTERN MATCHING, PROCEEDINGS, 2006, 4009 : 294 - 305