Cited By
View all- Cheung LMoffat ARizkallah CStark KTimany ABlazy STabareau N(2025)Formalized Burrows-Wheeler TransformProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705883(187-197)Online publication date: 10-Jan-2025
- Xu QYang JZhang FChen ZGuan JChen KFan JShen YYang KZhang YDu X(2024)Improving Graph Compression for Efficient Resource-Constrained Graph AnalyticsProceedings of the VLDB Endowment10.14778/3665844.366585217:9(2212-2226)Online publication date: 1-May-2024
- Hong AOliva MKöppl DBannai HBoucher CGagie T(2024)Pfp-fm: an accelerated FM-indexAlgorithms for Molecular Biology10.1186/s13015-024-00260-819:1Online publication date: 10-Apr-2024
- Show More Cited By