Personal information

Mexico

Activities

Employment (1)

Universidad Autónoma del Estado de México: Toluca, México, MX

2007-09-01 to present | Profesor-Investigador (Facultad de Ingenieria)
Employment
Source: Self-asserted source
J A Hernandez Servin

Education and qualifications (1)

The University of Nottingham: Nottingham, Nottinghamshire, GB

2002-10-31 to 2007-07-07 | PhD (School of Electrical and Electronics Engineering)
Education
Source: Self-asserted source
J A Hernandez Servin

Professional activities (2)

Academia Mexicana de Ciencias: México City, MX

2023-07-01 to present | Regular
Membership
Source: Self-asserted source
J A Hernandez Servin

Consejo Nacional de Ciencia y Tecnología: México City, MX

2008-01-01 to present | I (Sistema Nacional de Investigadores)
Membership
Source: Self-asserted source
J A Hernandez Servin

Funding (1)

PosDoctoral

2005-01 to 2007-03 | Salary award
The University of Nottingham (Nottingham, GB)
Source: Self-asserted source
J A Hernandez Servin

Works (49)

Towards a Formal Language in Law

2022-09-16 | Book chapter
Contributors: Rodrigo Vidal-López; Jacobo Leonardo González-Ruíz; José Raymundo Marcial-Romero; J. A. Hernández-Servín
Source: check_circle
Crossref

Approximate the Clique-Width of a Graph Using Shortest Paths

2021 | Book chapter
Contributors: J. Leonardo González-Ruiz; J. Raymundo Marcial-Romero; J. A. Hernández; Guillermo De-Ita
Source: check_circle
Crossref

Kinetic modelling of paracetamol degradation by photocatalysis: Incorporating the competition for photons by the organic molecule and the photocatalyst

Journal of Photochemistry and Photobiology A: Chemistry
2021-05 | Journal article
Contributors: O. Alvarado-Rolon; R. Natividad; J. Ramírez-García; J. Orozco-Velazco; J.A. Hernandez-Servin; A. Ramírez-Serrano
Source: check_circle
Crossref

A Bottom-Up Algorithm for Solving #2Sat

Logic Journal of the IGPL
2020 | Journal article
Part of ISSN: 1368-9894
Source: Self-asserted source
J A Hernandez Servin

A Linear Time Algorithm for counting #2SAT on Series-Parallel formulas

Lecture Notes in Artificial Intelligence
2020 | Journal article
Source: Self-asserted source
J A Hernandez Servin

A linear time algorithm for solving #2SAT on cactus formulas

Lecture Notes in Computer Science: Advances in Soft Computing
2020 | Journal article
Part of ISBN: 978-3-030-60884-2
Part of ISSN: 0302-9743
Source: Self-asserted source
J A Hernandez Servin
grade
Preferred source (of 2)‎

Electrochemical mineralization of ibuprofen on BDD electrodes in an electrochemical flow reactor: Numerical optimization approach

Processes
2020 | Journal article
Part of ISSN: 22279717
Source: Self-asserted source
J A Hernandez Servin
grade
Preferred source (of 2)‎

Monte Carlo Verification of Output Correction Factors for a TrueBeam STx linac

Applied Radiation and Isotopes
2020 | Journal article
Part of ISSN: 0969-8043
Source: Self-asserted source
J A Hernandez Servin

Reversibility for Quantum Programming Language

IEEE Latin America Transactiions
2020 | Journal article
Source: Self-asserted source
J A Hernandez Servin

Reversibility for Quantum Programming Language QML

IEEE Latin America Transactions
2020-10 | Journal article
Contributors: Nely Plata-Cesar; José Raymundo Marcial-Romero; José Antonio Hernández-Servín
Source: check_circle
Crossref

A Bottom-Up Algorithm for Solving #2Sat

Logic Journal of the IGPL
2019 | Journal article
Source: Self-asserted source
J A Hernandez Servin

A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition

LNCS:Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
2019 | Journal article
Part of ISBN: 978-3-030-13469-3
Part of ISSN: 0302-9743
Source: Self-asserted source
J A Hernandez Servin

A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition

Lecture Notes in Computer Science: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
2019 | Journal article
Source: Self-asserted source
J A Hernandez Servin

Extremal Polygonal Arrays for the Merrifield-Simmons-Index

MATCH Commun. Math. Comput. Chem.
2019 | Journal article
Part of ISSN:

0340-625

Source: Self-asserted source
J A Hernandez Servin

Inclusión de la Inteligencia Artificial en Disputas Legales sobre Propiedad Intelectual

Ksapiens
2019 | Journal article
Source: Self-asserted source
J A Hernandez Servin

A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography

International Journal of Pattern Recognition and Artificial Intelligence
2018-01 | Journal article
Part of ISSN: 0218-0014
Source: Self-asserted source
J A Hernandez Servin

CFD Analysis of BED Textural Characteristics on TBR Behavior: Hydrodynamics and Scaling-up

International Journal of Chemical Reactor Engineering
2017 | Journal article
Part of ISSN: 1542-6580
Source: Self-asserted source
J A Hernandez Servin

Computing the Clique-Width of Polygonal Tree Graphs

Lecture Notes in Computer Science: Advances in Soft Computing
2017 | Journal article
Part of ISBN: 9783319624280
Part of ISSN: 1611-3349
Source: Self-asserted source
J A Hernandez Servin

Exteding Extremal Polygonal Arrays for the Meriifield-Simmons Index

Lecture Notes in Computer Science:Pattern Recognition
2017 | Journal article
Part of ISSN: 03029743
Source: Self-asserted source
J A Hernandez Servin

Extending Extremal Polygonal Arrays for the Merrifield-Simmons index

Lecture Notes in Computer Science
2017 | Journal article
Source: Self-asserted source
J A Hernandez Servin

Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs

Computacion y Sistemas
2017-09 | Journal article
Part of ISSN: 2007-9737
Source: Self-asserted source
J A Hernandez Servin

A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line

Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016.
2016 | Conference paper
URI:

http://ceur-ws.org/Vol-1659/paper12.pdf http://ceur-ws.org/Vol-1659

Source: Self-asserted source
J A Hernandez Servin

An Optimization Approach to the TWPVD Method for Digital Image Steganography

Lecture Notes in Computer Science: Pattern Recognition
2016 | Journal article
Part of ISSN: 03029743
Source: Self-asserted source
J A Hernandez Servin

Computing the Clique-width of Cactus Graphs

Electronic Notes in Theoretical Computer Science
2016-12 | Journal article
Part of ISSN: 15710661
Source: Self-asserted source
J A Hernandez Servin

The Incremental Satisfiability Problem for a Two Conjunctive Normal Form

Electronic Notes in Theoretical Computer Science
2016-12 | Journal article
Part of ISSN: 15710661
Source: Self-asserted source
J A Hernandez Servin

Approximate the chromatic number of a graph using maximal independent sets

2016 International Conference on Electronics, Communications and Computers (CONIELECOMP)
2016-02 | Conference paper
Part of ISBN: 978-1-5090-0079-1
Source: Self-asserted source
J A Hernandez Servin

A Modification of the TPVD Algorithm for Data Embedding

Lecture Notes in Computer Science
2015 | Journal article
Part of ISSN: 16113349
Source: Self-asserted source
J A Hernandez Servin

A Parametric Polynomial Deterministic Algorithm for #2SAT

Lecture Notes in Computer Science
2015 | Journal article
Part of ISSN: 03029743
PMID: 4943691
Source: Self-asserted source
J A Hernandez Servin

Development of an Interpreter for LRT using the Exact Real Number Paradigm

Research in Computing Science
2015 | Journal article
Part of ISSN: 1870-4069
Source: Self-asserted source
J A Hernandez Servin

Un algoritmo para calcular #2SAT

Research in Computing Science
2015 | Journal article
Part of ISSN: 1870-4069
Source: Self-asserted source
J A Hernandez Servin

Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms

Electronic Notes in Theoretical Computer Science
2015-09 | Journal article
Part of ISSN: 15710661
Source: Self-asserted source
J A Hernandez Servin

An algorithm to approximate the chromatic number of graphs

2015 International Conference on Electronics, Communications and Computers (CONIELECOMP)
2015-02 | Conference paper
Part of ISBN: 978-1-4799-7436-8
Source: Self-asserted source
J A Hernandez Servin

A tail recursive scheme for exact real number computation based on LRT, GMP and FC++

Proceedings of the International Conference on Foundations of Computer Science (FCS)
2014 | Conference paper
Part of ISBN: 1601321961
Source: Self-asserted source
J A Hernandez Servin

Estimation of effective diffusion coefficient and its effect on effectiveness factor for HDS catalytic process: A multi-scale approach

Catalysis Today
2014 | Journal article
Part of ISSN: 09205861
Source: Self-asserted source
J A Hernandez Servin

Generating edge covers of path graphs

Proceedings of the International Conference on Foundations of Computer Science (FCS)
2013-12 | Conference paper
Source: Self-asserted source
J A Hernandez Servin

A scientific calculator for exact real number computation based on LRT, GMP, and FC++

Acta Universitaria
2012 | Conference paper
Source: Self-asserted source
J A Hernandez Servin

Edge covering of acyclic graphs

Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012.
2012 | Conference paper
Part of ISSN: 16130073
Source: Self-asserted source
J A Hernandez Servin

Towards a Calendar Agent Society with Intelligent Agents in ASP-Updates.

Acta Universitaria
2012 | Journal article
Part of ISSN: 2007-9621
Source: Self-asserted source
J A Hernandez Servin

A Threshold for a Polynomial Solution of #2SAT

Fundam. Inform.
2011 | Journal article
Part of ISSN: 01692968
Source: Self-asserted source
J A Hernandez Servin

Functional first order de definability of LRTp

Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
2010 | Journal article
Part of ISSN: 1988-3064
Source: Self-asserted source
J A Hernandez Servin

Functional first order definability of LRTp

Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial
2010 | Journal article
Part of ISSN: 1137-3601
Source: Self-asserted source
J A Hernandez Servin

A Simulator for Teaching Automatas and Formal Languages - FLyA

ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009
2009 | Conference paper
Part of ISBN: 978-989-8111-87-6
Source: Self-asserted source
J A Hernandez Servin

Comparing Implementations of a Calculator for Exact Real Number Computation

2009 Mexican International Conference on Computer Science
2009 | Conference paper
Part of ISBN: 978-1-4244-5258-3
Source: Self-asserted source
J A Hernandez Servin
grade
Preferred source (of 2)‎

Aberrations in materials with random inhomogeneities

J. Acoust. Soc. Am.
2007 | Journal article
Part of ISSN: 0001-4966
Source: Self-asserted source
J A Hernandez Servin

Cheap optical transducers (CHOTs) for narrowband ultrasonic applications

Measurement Science and Technology
2007 | Journal article
Part of ISSN: 0957-0233
Source: Self-asserted source
J A Hernandez Servin

Statistics of aberrations in polycrystalline materials. PhD thesis, University of Nottingham.

2007 | Dissertation or Thesis
URI:

http://eprints.nottingham.ac.uk/id/eprint/13948

Source: Self-asserted source
J A Hernandez Servin

Statistical characterisation of metals from ultrasonic aberrations

IEEE Ultrasonics Symposium, 2005.
2005 | Conference paper
Part of ISBN: 0-7803-9382-1
Part of ISSN: 10510117
Source: Self-asserted source
J A Hernandez Servin

Aberration in Polycrystalline Materials

AIP Conference Proceedings
2005-07 | Conference paper
Part of ISBN: 0735402450
Part of ISSN: 0094243X
Source: Self-asserted source
J A Hernandez Servin

An adaptive technique using measured Green's functions for extending spatial coherence in aberrating materials

Ultrasonic, 2003 IEEE Symposium on
2003 | Book chapter
Part of ISBN: 0780379225
Part of ISSN: 10510117
Source: Self-asserted source
J A Hernandez Servin