Comparing Implementations of a Calculator for Exact Real Number Computation. - José Raymundo Marcial-Romero; José Antonio Hernández Servín; Héctor A. Montes Venegas (ENC, 2009)

A Simulator for Teaching Automatas and Formal Languages - FLyA. - José Raymundo Marcial-Romero; Pedro A. Alvarez Contreras; Héctor A. Montes Venegas; José Antonio Hernández Servín (ICEIS (4), 2009)

Functional first order de definability of LRTp. - José Raymundo Marcial-Romero; José Antonio Hernández Servín (LA-NMR, 2009)

Functional first order definability of LRTP. - José Raymundo Marcial-Romero; José Antonio Hernández Servín (Inteligencia Artif., 2010)

A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. - José Raymundo Marcial-Romero; Alejandra Y. Lucatero; José Antonio Hernández Servín (LA-NMR, 2011)

A Threshold for a Polynomial Solution of #2SAT. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; José Antonio Hernández Servín (Fundam. Informaticae, 2011)

Edge covering of acyclic graphs. - José Antonio Hernández Servín; José Raymundo Marcial-Romero; Guillermo De Ita Luna (LA-NMR, 2012)

Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; Maria del Pilar Pozos Parra; José Antonio Hernández Servín (LANMR (Selected Papers), 2014)

An algorithm to approximate the chromatic number of graphs. - Angélica Guzmán Ponce; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita Luna (CONIELECOMP, 2015)

A Modification of the TPVD Algorithm for Data Embedding. - José Antonio Hernández Servín; José Raymundo Marcial-Romero; Vianney Muñoz-Jiménez; Héctor A. Montes Venegas (MCPR, 2015)

A Parametric Polynomial Deterministic Algorithm for #2SAT. - José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín; Rosa Maria Valdovinos (MICAI (1), 2015)

Development of an Interpreter for LRT using the Exact Real Number Paradigm. - J. Leonardo González-Ruiz; José Antonio Hernández Servín; José Raymundo Marcial-Romero (Res. Comput. Sci., 2015)

Un algoritmo para calcular #2SAT. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (Res. Comput. Sci., 2015)

Approximate the chromatic number of a graph using maximal independent sets. - Angélica Guzmán Ponce; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (CONIELECOMP, 2016)

A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line. - Carlos Ramírez Piña; Vianney Muñoz-Jiménez; Rosa María Valdovinos Rosas; José Antonio Hernández Servín (LANMR, 2016)

An Optimization Approach to the TWPVD Method for Digital Image Steganography. - Ismael R. Grajeda-Marín; Héctor A. Montes Venegas; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita Luna (MCPR, 2016)

Computing the Clique-Width of Polygonal Tree Graphs. - J. Leonardo González-Ruiz; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita Luna (MICAI (2), 2016)

Computing the Clique-width of Cactus Graphs. - J. Leonardo González-Ruiz; José Raymundo Marcial-Romero; José Antonio Hernández Servín (LANMR (Selected Papers), 2016)

The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; José Antonio Hernández Servín (LANMR (Selected Papers), 2016)

Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Rosa Maria Valdovinos; Marcelo Romero (MCPR, 2017)

Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. - José Antonio Hernández Servín; José Raymundo Marcial-Romero; Guillermo De Ita Luna (Computación y Sistemas, 2017)

A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition. - Carlos Ramírez Piña; José Salvador Sánchez 001; Rosa María Valdovinos Rosas; José Antonio Hernández Servín (CIARP, 2018)

A history and reversibility for quantum programming language QML. - Nely Plata César; José Raymundo Marcial-Romero; José Antonio Hernández Servín (LANMR, 2018)

Model counting for #2SAT problem in outerplanar graphs. - Marco A. López Medina; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita (LANMR, 2018)

A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography. - Ismael R. Grajeda-Marín; Héctor A. Montes Venegas; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Vianney Muñoz-Jiménez; Guillermo De Ita Luna (Int. J. Pattern Recognit. Artif. Intell., 2018)

Measurements in quantum programming language QML. - Nely Plata César; José Raymundo Marcial-Romero; José Antonio Hernández Servín (LANMR, 2019)

A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (MICAI (1), 2020)

A bottom-up algorithm for solving ♯2SAT. - Guillermo De Ita; José Raymundo Marcial-Romero; José Antonio Hernández Servín (Log. J. IGPL, 2020)

Approximate the Clique-Width of a Graph Using Shortest Paths. - J. Leonardo González-Ruiz; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita (MICAI (2), 2021)

Computing the Clique-Width on Series-Parallel Graphs. - Marco A. López Medina; J. Leonardo González-Ruiz; José Raymundo Marcial-Romero; José Antonio Hernández Servín (Computación y Sistemas, 2022)

A method for counting models on grid Boolean formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (J. Intell. Fuzzy Syst., 2022)

A Method for Counting Models on Cubic Boolean Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Sandra Morales-Hernández (MCPR, 2023)