FCC: Modeling Probabilities with GIZA++ for Task 2 and 3 of SemEval-2. - Darnes Vilariño Ayala; Carlos Balderas Posada; David Eduardo Pinto Avendaño; Miguel Rodríguez 001; Saúl León Silverio (SemEval@ACL, 2010)

An Introduction to Belief Revision and Knowledge Representation with 2CNF. - Meliza Contreras; Miguel Rodríguez 001; Pedro Bello 001; Bárbara M. González (LA-NMR, 2011)

The computation of #2SAT by a fixed-parameter tractable algorithm. - Guillermo De Ita; Pedro Bello 001; Miguel Rodríguez 001 (LANMR, 2018)

Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets. - Guillermo De Ita; Miguel Rodríguez 001; Pedro Bello 001; Meliza Contreras (MCPR, 2020)

Algoritmo para el conteo de modelos en FNC. - Pedro Bello López; Guillermo De Ita Luna; Meliza Contreras González; Miguel Rodríguez Hernández (Res. Comput. Sci., 2020)

Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees. - Pedro Bello 001; Miguel Rodríguez 001; Guillermo De Ita (MCPR, 2021)