Linear lower bounds for deltac(p) for a class of 2D self-destructive percolation models. - Jacob van den Berg; Bernardo N. B. de Lima (Random Struct. Algorithms, 2009)

A percolation process on the square lattice where large finite clusters are frozen. - Jacob van den Berg; Bernardo N. B. de Lima; Pierre Nolin (Random Struct. Algorithms, 2012)

A model for estimating change propagation in software. - Kecia A. M. Ferreira; Mariza A. S. Bigonha; Roberto S. Bigonha; Bernardo N. B. de Lima; Bárbara M. Gomes; Luiz F. O. Mendes (Softw. Qual. J., 2018)

Monotonicity and phase diagram for multirange percolation on oriented trees. - Bernardo N. B. de Lima; Leonardo T. Rolla; Daniel Valesin (Random Struct. Algorithms, 2019)

Moser-Tardos resampling algorithm, entropy compression method and the subset gas. - Paula M. S. Fialho; Bernardo N. B. de Lima; Aldo Procacci (CoRR, 2020)

A new bound on the acyclic edge chromatic number. - Paula M. S. Fialho; Bernardo N. B. de Lima; Aldo Procacci (Discret. Math., 2020)

Exploring the space of optimization sequences for code-size reduction: insights and tools. - Anderson Faustino da Silva; Bernardo N. B. de Lima; Fernando Magno Quintão Pereira (CC, 2021)

Multirange percolation on oriented trees: Critical curve and limit behavior. - Bernardo N. B. de Lima; Réka Szabó; Daniel Valesin (Random Struct. Algorithms, 2023)