José Antonio Hernández Servín

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