| TOY: A Multiparadigm Declarative System FJ López Fraguas, J Sánchez Hernández International Conference on Rewriting Techniques and Applications, 244-247, 1999 | 298 | 1999 |
| A simple rewrite notion for call-time choice semantics FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007 | 59 | 2007 |
| A proof theoretic approach to failure in functional logic programming FJ López-Fraguas, J Sánchez-Hernández Theory and Practice of Logic Programming 4 (1-2), 41-74, 2004 | 40 | 2004 |
| Rewriting and call-time choice: the HO case FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008 | 39 | 2008 |
| Proving failure in functional logic programs FJ López-Fraguas, J Sánchez-Hernández International Conference on Computational Logic, 179-193, 2000 | 24 | 2000 |
| Functional logic programming with failure: A set-oriented view FJ López-Fraguas, J Sánchez-Hernández International Conference on Logic for Programming Artificial Intelligence …, 2001 | 18 | 2001 |
| Formalizing a broader recursion coverage in SQL G Aranda, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández Practical Aspects of Declarative Languages: 15th International Symposium …, 2013 | 16 | 2013 |
| User’s manual for Toy R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández Tech. Rep. DIA 97/57, 1997 | 16 | 1997 |
| Automatic subgenre classification in an electronic dance music taxonomy A Caparrini, J Arroyo, L Pérez-Molina, J Sánchez-Hernández Journal of New Music Research 49 (3), 269-284, 2020 | 13 | 2020 |
| A fully abstract semantics for constructor systems FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández International Conference on Rewriting Techniques and Applications, 320-334, 2009 | 13 | 2009 |
| Toy: A multiparadigm declarative language M Abengózar-Carneros, P Arenas-Sánchez, R Caballero-Roldán, ... Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación …, 2002 | 13 | 2002 |
| Disequalities may help to narrow FJL Fraguas, JS Hernández Proc. APPIAGULP-PRODE 99, 89-104, 1999 | 13 | 1999 |
| A generic intermediate representation for verification condition generation M Montenegro, R Peña, J Sánchez-Hernández Logic-Based Program Synthesis and Transformation: 25th International …, 2015 | 12 | 2015 |
| Constructive Failure in Functional-Logic Programming: From Theory to Implementation. J Sánchez-Hernández J. Univers. Comput. Sci. 12 (11), 1574-1593, 2006 | 12 | 2006 |
| Narrowing failure in functional logic programming FJ López-Fraguas, J Sánchez-Hernández International Symposium on Functional and Logic Programming, 212-227, 2002 | 12 | 2002 |
| Equivalence of two formal semantics for functional logic programs FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández Electronic Notes in Theoretical Computer Science 188, 117-142, 2007 | 11 | 2007 |
| Failure and equality in functional logic programming FJ López-Fraguas, J Sánchez-Hernández Electronic Notes in Theoretical Computer Science 86 (3), 123-143, 2003 | 11 | 2003 |
| A flexible framework for programming with non-deterministicfunctions FJ López-Fraguas, J Rodriguez-Hortala, J Sánchez-Hernández Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 10 | 2009 |
| Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation S Nieva, J Sánchez-Hernández, F Sáenz-Pérez International Symposium on Functional and Logic Programming, 289-304, 2008 | 10 | 2008 |
| Una aproximación al fallo constructivo en programación declarativa multiparadigma J Sánchez-Hernández PhD thesis, DSIP-UCM, 2004 | 10 | 2004 |
