A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. - Guillermo De Ita Luna; Meliza Contreras González (LoLaCOM, 2006)

Efficient counting of models for boolean formulas represented by embedded cycles. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González (LA-NMR, 2007)

New Polynomial Classes for #2SAT Established Via Graph-Topological Structure. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González (Eng. Lett., 2007)

Agents's competition for selecting a representative. - Guillermo De Ita Luna; Mireya Tovar; Meliza Contreras González (LA-NMR, 2008)

A Multiagent System for Modeling Democratic Elections. - Guillermo De Ita Luna; Meliza Contreras González; Isaac Chantes Quechol (FLAIRS, 2011)

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)

Generation of instances for the revision of beliefs. - Rodolfo Aguirre; Pedro Bello 001; Ana Patricia Cervantes; Meliza Contreras (Intelligent Environments (Workshops), 2012)

Detection of inconsistencies in knowledge bases for emission of foreign judgments. - Pedro Bello López; José Andrés Vázquez Flores; Meliza Contreras González; Marco Rodríguez Herníndez (LA-NMR, 2012)

Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT. - Guillermo De Ita Luna; Pedro Bello 001; Meliza Contreras (MCPR, 2013)

Efficient Counting of the Number of Independent Sets on Polygonal Trees. - Guillermo De Ita Luna; Pedro Bello 001; Meliza Contreras; Juan C. Catana-Salazar (MCPR, 2016)

Visualización de elementos de Cienciometría con grafos. - Pedro Bello 001; Meliza Contreras; Diana A. González (Res. Comput. Sci., 2016)

Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation. - Guillermo De Ita; Meliza Contreras; Pedro Bello 001 (Res. Comput. Sci., 2016)

Knowledge representation of passages type TOEFL. - Meliza Contreras González; Mireya Tovar Vidal; Guillermo De Ita Luna (LANMR, 2018)

Validation of Semantic Relation of Synonymy in Domain Ontologies Using Lexico-Syntactic Patterns and Acronyms. - Mireya Tovar; Gerardo Flores; José Alejandro Reyes-Ortíz; Meliza Contreras (MCPR, 2018)

Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability. - Guillermo De Ita Luna; Cristina López-Ramírez; Meliza Contreras González (Electron. Notes Discret. Math., 2018)

Belief revision between conjunctive normal forms. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; Pedro Bello 001; Meliza Contreras (J. Intell. Fuzzy Syst., 2018)

Cognitive relations for argumentative texts. - Meliza Contreras González; Mireya Tovar Vidal; Guillermo De Ita Luna (LANMR, 2019)

Algoritmo basado en reglas de asociación para la extracción de relaciones no taxonómicas en corpus de dominio. - Irvin Yair Cabrera Moreno; Mireya Tovar Vidal; José de Jesús Lavalle-Martínez; Meliza Contreras González (Res. Comput. Sci., 2019)

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)

Knowledge Representation in TOEFL Expository Texts. - Meliza Contreras González; Mireya Tovar Vidal; Guillermo De Ita Luna; Aurelio López-López (Computación y Sistemas, 2020)

Approaches to EEG-based Brain-Computer Interfaces: A Survey. - Rafael Gallardo García; Beatríz Beltrán Martínez; Darnes Vilariño Ayala; Rodolfo Martínez Torres; Meliza Contreras González (Res. Comput. Sci., 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)

Inferential Rules for Identifying Answers in TOEFL Texts. - Meliza Contreras González; Mireya Tovar Vidal; Guillermo De Ita (MCPR, 2021)

Caracterización de complejidad semántica en pasajes tipo TOEFL. - Meliza Contreras González; Mireya Tovar Vidal; Guillermo De Ita Luna (Rev. Colomb. de Computación, 2021)

Extreme Topologies on Bipolygonal Graphs and Dinamic Trees. - Guillermo De Ita; Pedro Bello López; Meliza Contreras González (Int. J. Comb. Optim. Probl. Informatics, 2023)

Detection of Depression Symptoms Through Unsupervised Learning. - Octavio Mendoza Gómez; Mireya Tovar Vidal; Meliza Contreras González (MCPR, 2024)

Extremal graphs for the number of independent sets on polygonal chains joined by cutting edges. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González; José Raymundo Marcial-Romero (Int. J. Comb. Optim. Probl. Informatics, 2024)

Applied Unsupervised Learning for Pattern Recognition of Depression cases within a Young Adult Population. - Octavio Mendoza Gómez; Mireya Tovar Vidal; Meliza Contreras (Computación y Sistemas (CyS), 2025)

Detection of Depression Using Depression Indicators. - Erick Barrios González; Mireya Tovar Vidal; Meliza Contreras González (Computación y Sistemas (CyS), 2025)

Four Supervised Models for Identifying Suicide Indicators in Text Data. - Ricardo Ulises Caballero Hidalgo; Mireya Tovar Vidal; Meliza Contreras González (Int. J. Comb. Optim. Probl. Informatics, 2025)