Computational Prediction of HIV-1 Resistance to Protease Inhibitors. - Ali Hosseini; Andreu Alibés; Marc Noguera-Julian; Víctor A. Gil; Roger Paredes; Robert Soliva; Modesto Orozco; Victor Guallar (J. Chem. Inf. Model., 2016)

Counting-Based Reliability Estimation for Power-Transmission Grids. - Leonardo Dueñas-Osorio; Kuldeep S. Meel; Roger Paredes; Moshe Y. Vardi (AAAI, 2017)

Network Reliability Estimation in Theory and Practice. - Roger Paredes; Leonardo Dueñas-Osorio; Kuldeep S. Meel; Moshe Y. Vardi (CoRR, 2018)

Principled network reliability approximation: A counting-based approach. - Roger Paredes; Leonardo Dueñas-Osorio; Kuldeep S. Meel; Moshe Y. Vardi (Reliab. Eng. Syst. Saf., 2019)