Christopher Whitney, Frédéric Loulergue. Towards a Verified Parallel Implementation of Frequent Itemset Mining.
2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, Italy. IEEE, pp.889-890,
⟨10.1109/HPCS.2017.138⟩.
⟨hal-02317112⟩