José de Jesús Lavalle-Martínez

17 papers Journal 15Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Optimización de la arquitectura Pix2Pix: Un estudio de reducción de capas y calidad de imagen. Res. Comput. Sci. Alexander Tapia Cortez, José Alejandro Tejeda Sánchez, Yolanda Moyao Martínez, David Eduardo Pinto Avendaño, José de Jesús Lavalle-Martínez
2023	J	`jnl`	Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions. Computación y Sistemas (CyS) Axel Suárez Polo, José de Jesús Lavalle-Martínez, Iván Molina Rebolledo
2023	J	`jnl`	Towards the Monitoring of Violent Events in Social Media through Visual Information. Computación y Sistemas (CyS) Alejandro Escalante-Hernandez, Luis Joaquín Arellano, José de Jesús Lavalle-Martínez, Luis Villaseñor-Pineda, Hugo Jair Escalante
2021	J	`jnl`	Membership Problem with Adjacency Matrix. Computación y Sistemas Yolanda Moyao Martínez, Darnes Vilariño Ayala, José de Jesús Lavalle-Martínez, Carlos Guillen Galban
2019	—	`conf`	A Note on Constructive Interpolation for the Multi-Modal Logic LANMR (Selected Papers) Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
2019	J	`jnl`	Algoritmo basado en reglas de asociación para la extracción de relaciones no taxonómicas en corpus de dominio. Res. Comput. Sci. Irvin Yair Cabrera Moreno, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez, Meliza Contreras González
2019	J	`jnl`	Captura de atributos discriminativos. Res. Comput. Sci. Alberto Tapia-Palacios, Darnes Vilariño, Beatríz Beltrán, María Josefa Somodevilla García, José de Jesús Lavalle-Martínez
2019	J	`jnl`	Grafos de análisis sintáctico con gramáticas HRGs. Res. Comput. Sci. Yolanda Moyao, Darnes Vilariño, Carlos Guillén, José de Jesús Lavalle-Martínez
2018	J	`jnl`	Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment. Computación y Sistemas 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
2018	—	`conf`	Craig interpolation on the logic of knowledge. LANMR Everardo Bárcenas, José de Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
2018	J	`jnl`	Equivalences Among Polarity Algorithms. Stud Logica 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
2018	J	`jnl`	Medidas de similitud semántica aplicadas a una ontología de dominio. Res. Comput. Sci. Aimee Cecilia Hernández García, Mireya Tovar Vidal, José de Jesús Lavalle-Martínez
2014	J	`jnl`	Algunas semánticas lógicas para reconocer implicación textual. Res. Comput. Sci. 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
2008	J	`jnl`	Test of complementarity on sentence extraction methods. Proces. del Leng. Natural Alberto Bañuelos-Moro, Héctor Jiménez-Salazar, José de Jesús Lavalle-Martínez
2007	J	`jnl`	Characterization by Regulated Grammars of Calculations in the Gentzen System G. Eng. Lett. Ruben Monjaraz Hernandez-Imbert, José de Jesús Lavalle-Martínez
2006	J	`jnl`	Simple Features to Identify Tags in Named Entity Recognition for Spanish Texts. Res. Comput. Sci. Héctor Jiménez-Salazar, José de Jesús Lavalle-Martínez, Marisol Fierro Ayón
2003	J	`jnl`	Análisis de Sistemas Concurrentes Modelados con Redes de Petri Mediante Gramáticas Reguladas. Res. Comput. Sci. José de Jesús Lavalle-Martínez, Ruben Monjaraz Hernandez-Imbert