Proceedings of the 5th international symposium on Memory management
The chilling descent: making the transition to a conventional curriculum
Proceedings of the 2008 international workshop on Functional and declarative programming in education
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
Deletion without Rebalancing in Multiway Search Trees
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Saving space and time using index merging
Data & Knowledge Engineering
Deletion without rebalancing in balanced binary trees
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Formalized verification of snapshotable trees: separation and sharing
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Deletion without rebalancing in multiway search trees
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |