A memory-efficient data structure representing exact
A Main Memory Index Structure to Query Linked Data
A Locality-Preserving Cache-Oblivious Dynamic Dictionary
A Locality Preserving Cache-Oblivious Dynamic Dictionary
A linked list
A Linear Time Algorithm for the k Maximal Sums Problem
A Library
A Lempel-Ziv Text Index on Secondary Storage
A Laboratory Course in
A Introduction to XQL
A Hoare logic for call-by-value functional programs
A hierarchical representation of form documents for identification
A Hardware Processing Unit for Point Sets
A Generic Framework for the Application of Graph Theory to Image
A Fully-Functional Static and Dynamic Succinct Trees
A Fully Retroactive Priority Queues
A Framework for Succinct Labeled Ordinal Trees over Large Alphabets
A Framework for Dynamizing Succinct Data Structures
A Formal Definition of JML in Coq
A Forest of Hashed Binary Search Trees with Reduced Internal Path
