Characterization by Regulated Grammars of Calculations in the Gentzen System G. - Ruben Monjaraz Hernandez-Imbert; José de Jesús Lavalle-Martínez (Eng. Lett., 2007)

Test of complementarity on sentence extraction methods. - Alberto Bañuelos-Moro; Héctor Jiménez-Salazar; José de Jesús Lavalle-Martínez (Proces. del Leng. Natural, 2008)

Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. - Everardo Bárcenas; Jesús Lavalle (MICAI (1), 2013)

Global Numerical Constraints on Trees. - Everardo Bárcenas; Jesús Lavalle (Log. Methods Comput. Sci., 2014)

Algunas semánticas lógicas para reconocer implicación textual. - José de Jesús Lavalle-Martínez; Manuel Montes-y-Gómez; Héctor Jiménez-Salazar; Luis Villaseñor Pineda; David Pinto Avendaño (Res. Comput. Sci., 2014)

On the Model Checking of the Graded μ-calculus on Trees. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (MICAI (1), 2015)

Query reasoning on data trees with counting. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (LANMR, 2016)

On Regular Paths with Counting and Data Tests. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle (LANMR (Selected Papers), 2016)

Craig interpolation on the logic of knowledge. - Everardo Bárcenas; José de Jesús Lavalle-Martínez; Guillermo Molero-Castillo; Alejandro Velázquez-Mena (LANMR, 2018)

Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment. - José de Jesús Lavalle-Martínez; Manuel Montes-y-Gómez; Héctor Jiménez-Salazar; Luis Villaseñor Pineda; Beatríz Beltrán Martínez (Computación y Sistemas, 2018)

Medidas de similitud semántica aplicadas a una ontología de dominio. - Aimee Cecilia Hernández García; Mireya Tovar Vidal; José de Jesús Lavalle-Martínez (Res. Comput. Sci., 2018)

Equivalences Among Polarity Algorithms. - José de Jesús Lavalle-Martínez; Manuel Montes-y-Gómez; Luis Villaseñor Pineda; Héctor Jiménez-Salazar; Ismael Everardo Bárcenas Patiño (Stud Logica, 2018)

A Note on Constructive Interpolation for the Multi-Modal Logic Km. - Everardo Bárcenas; José de Jesús Lavalle-Martínez; Guillermo Molero-Castillo; Alejandro Velázquez-Mena (LANMR (Selected Papers), 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)

Grafos de análisis sintáctico con gramáticas HRGs. - Yolanda Moyao; Darnes Vilariño; Carlos Guillén; José de Jesús Lavalle-Martínez (Res. Comput. Sci., 2019)

Captura de atributos discriminativos. - Alberto Tapia-Palacios; Darnes Vilariño; Beatríz Beltrán; María Josefa Somodevilla García; José de Jesús Lavalle-Martínez (Res. Comput. Sci., 2019)

Presburger Constraints in Trees. - Everardo Bárcenas; Edgard Benítez-Guerrero; Jesús Lavalle; Guillermo Molero-Castillo (Computación y Sistemas, 2020)

Grammatical Inference of Semantic Components in Dialogues. - Andrés Vázquez; David Pinto 001; Jesús Lavalle; Héctor Jiménez-Salazar; Darnes Vilariño (Computación y Sistemas, 2020)

Membership Problem with Adjacency Matrix. - Yolanda Moyao Martinez; Darnes Vilariño Ayala; José de Jesús Lavalle-Martínez; Carlos Guillen Galban (Computación y Sistemas, 2021)

Towards the Monitoring of Violent Events in Social Media through Visual Information. - Alejandro Escalante-Hernandez; Luis Joaquín Arellano; José de Jesús Lavalle-Martínez; Luis Villaseñor Pineda; Hugo Jair Escalante (Computación y Sistemas (CyS), 2023)

Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions. - Axel Suárez Polo; José de Jesús Lavalle-Martínez; Iván Molina Rebolledo (Computación y Sistemas (CyS), 2023)