Manuel Hernández

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 3

Top Topics

Sorting Algorithms

Top Venues

J. Comput. Appl. Math.

Publications

Colleen M. Lewis, Cynthia Bailey Lee, Adam Blank, Maria Camarena, Manuel Hernández, Frank Vahid
Microteaching: Binary Heaps, Side-Channel Attacks, Equitable Grading, Java Classes, Loops, and 3D Java. SIGCSE (2) (2024)
Manuel Hernández
Deriving sorting algorithms via abductive logic program transformation. CoRR (2018)
Antonio J. Torregrosa, Alberto Broatch, Francisco José Arnau, Manuel Hernández
A non-linear quasi-3D model with Flux-Corrected-Transport for engine gas-exchange modelling. J. Comput. Appl. Math. 291 (2016)
Manuel Hernández, David A. Rosenblueth
Disjunctive partial deduction of a right-to-left string-matching algorithm. Inf. Process. Lett. 87 (5) (2003)
Manuel Hernández, David A. Rosenblueth
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. PPDP (2001)