Ladjel Bellatreche, Soumia Benkrid, Ahmad Ghazal, Alain Crolotte, Alfredo Cuzzocrea. Verification of Partitioning and Allocation Techniques on Teradata DBMS. In Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou, editors, Algorithms and Architectures for Parallel Processing - 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I. Volume 7016 of Lecture Notes in Computer Science, pages 158-169, Springer, 2011. [doi]