Concepedia

Jaime Sánchez-Hernández

JS

Statistics

Publications

4

Citations

102

H-Index

4

Active since

2004

Affiliations

Universidad Complutense de Madrid(Current)

Jaime Sánchez-Hernández is an author at Universidad Complutense de Madrid specializing in formal methods, mechanism design, and decision theory.

ORCID

Top concepts

Publications per year

2004–2020

4

Publications

4

A simple rewrite notion for call-time choice semantics

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · 2007 · 38 citations

, , +19

A proof theoretic approach to failure in functional logic programming

Francisco J. López-Fraguas, Jaime Sánchez-Hernández · Theory and Practice of Logic Programming · 2004 · 27 citations

Rewriting and call-time choice: the HO case

Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández · International Symposium on Functional and Logic Programming · 2008 · 25 citations

, , +7

Automatic subgenre classification in an electronic dance music taxonomy

Antonio Caparrini, Javier Arroyo, L. Pérez-Molina et al. · Journal of New Music Research · 2020 · 12 citations

1–4 of 4