Alves RG, Procacci A. Witness Trees in the Moser-Tardos Algorithmic Lovász Local Lemma and Penrose Trees in the Hard-Core Lattice Gas. Journal of Statistical Physics [Internet]. 2014;156:877-895. Publisher's Version

Alves RG, Procacci A, Sanchis R. Percolation on Infinite Graphs and Isoperimetric Inequalities. Journal of Statistical Physics [Internet]. 2012;149:831-845. Publisher's Version