José Antonio Hernández Servín

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 22

Top Topics

Programming Language

Conjunctive Normal Form

Optimization Strategy

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Sandra Morales-Hernández
A Method for Counting Models on Cubic Boolean Formulas. MCPR (2023)
Guillermo De Ita, José Raymundo Marcial-Romero, José Antonio Hernández Servín
A bottom-up algorithm for solving ♯2SAT. Log. J. IGPL 28 (6) (2020)
Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín
Measurements in quantum programming language QML. LANMR (2019)
Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín
A history and reversibility for quantum programming language QML. LANMR (2018)
Carlos Ramírez Piña, José Salvador Sánchez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín
A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition. CIARP (2018)
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
A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography. Int. J. Pattern Recognit. Artif. Intell. 32 (1) (2018)
Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Rosa Maria Valdovinos, Marcelo Romero
Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index. MCPR (2017)
José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna
Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. Computación y Sistemas 21 (3) (2017)
Carlos Ramírez Piña, Vianney Muñoz-Jiménez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín
A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line. LANMR (2016)
J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín
Computing the clique-width of cactus graphs. LANMR (2016)
Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín
The incremental satisfiability problem for a two conjunctive normal form. LANMR (2016)
J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna
Computing the Clique-Width of Polygonal Tree Graphs. MICAI (2) (2016)
Ismael R. Grajeda-Marín, Héctor A. Montes Venegas, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna
An Optimization Approach to the TWPVD Method for Digital Image Steganography. MCPR (2016)
J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín
Computing the Clique-width of Cactus Graphs. Electron. Notes Theor. Comput. Sci. 328 (2016)
Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín
Approximate the chromatic number of a graph using maximal independent sets. CONIELECOMP (2016)
Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. Electron. Notes Theor. Comput. Sci. 328 (2016)
José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín, Rosa Maria Valdovinos
A Parametric Polynomial Deterministic Algorithm for #2SAT. MICAI (1) (2015)
J. Leonardo González-Ruiz, José Antonio Hernández Servín, José Raymundo Marcial-Romero
Development of an Interpreter for LRT using the Exact Real Number Paradigm. Res. Comput. Sci. 96 (2015)
Angélica Guzmán Ponce, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna
An algorithm to approximate the chromatic number of graphs. CONIELECOMP (2015)
José Antonio Hernández Servín, José Raymundo Marcial-Romero, Vianney Muñoz-Jiménez, Héctor A. Montes Venegas
A Modification of the TPVD Algorithm for Data Embedding. MCPR (2015)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín
Un algoritmo para calcular #2SAT. Res. Comput. Sci. 94 (2015)
Guillermo De Ita Luna, José Raymundo Marcial-Romero, Maria del Pilar Pozos Parra, José Antonio Hernández Servín
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms. Electron. Notes Theor. Comput. Sci. 315 (2015)
José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. LANMR (2014)
José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna
Edge covering of acyclic graphs. LA-NMR (2012)
Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín
A Threshold for a Polynomial Solution of #2SAT. Fundam. Informaticae 113 (1) (2011)
José Raymundo Marcial-Romero, Alejandra Y. Lucatero, José Antonio Hernández Servín
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. LA-NMR (2011)
José Raymundo Marcial-Romero, José Antonio Hernández Servín
Functional first order definability of LRTP. Inteligencia Artif. 14 (48) (2010)
José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor A. Montes Venegas
Comparing Implementations of a Calculator for Exact Real Number Computation. ENC (2009)
José Raymundo Marcial-Romero, Pedro A. Alvarez Contreras, Héctor A. Montes Venegas, José Antonio Hernández Servín
A Simulator for Teaching Automatas and Formal Languages - FLyA. ICEIS (4) (2009)
José Raymundo Marcial-Romero, José Antonio Hernández Servín
Functional first order de definability of LRTp. LA-NMR (2009)