1. An efficient and scalable memory allocator for multithreaded tabled evaluation of logic programs;Areias,2012
2. On the correctness and efficiency of lock-free expandable tries for tabled logic programs;Areias,2014
3. A lock-free hash trie design for concurrent tabled logic programs;Areias;Int. J. Parallel Program.,2016
4. Towards a lock-free, fixed size and persistent hash map design;Areias,2017
5. Ideal hash trees;Bagwell;Es Grands Champs,2001