| Constraint functional logic programming over finite domains AJ Fernandez, T Hortalá-González, F Sáenz-Pérez, R Del Vado-Vírseda Theory and Practice of Logic Programming 7 (5), 537-582, 2007 | 45 | 2007 |
| A theoretical framework for the declarative debugging of datalog programs R Caballero, Y García-Ruiz, F Sáenz-Pérez Semantics in Data and Knowledge Bases: Third International Workshop, SDKB …, 2008 | 43 | 2008 |
| DES: A deductive database system F Sáenz-Pérez Electronic notes in theoretical computer science 271, 63-78, 2011 | 35 | 2011 |
| Applying constraint logic programming to SQL test case generation R Caballero, Y García-Ruiz, F Sáenz-Pérez International Symposium on Functional and Logic Programming, 191-206, 2010 | 29 | 2010 |
| Solving combinatorial problems with a constraint functional logic language AJ Fernández, T Hortalá-González, F Sáenz-Pérez Practical Aspects of Declarative Languages: 5th International Symposium …, 2003 | 26 | 2003 |
| On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP S Estévez-Martín, T Hortalá-González, M Rodriguez-Artalejo, ... Theory and Practice of Logic Programming 9 (4), 415-527, 2009 | 23 | 2009 |
| Parallel Arc-Consistency for Functional Constraints. A Ruiz-Andino, L Araujo, F Sáenz-Pérez, JJ Ruz Implementation Technology for Programming Languages based on Logic, 86-100, 1998 | 23 | 1998 |
| Declarative debugging of wrong and missing answers for SQL views R Caballero, Y García-Ruiz, F Sáenz-Pérez Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012 | 22 | 2012 |
| Algorithmic debugging of SQL views R Caballero, Y García-Ruiz, F Sáenz-Pérez Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 20 | 2012 |
| A new proposal for debugging datalog programs R Caballero, Y García-Ruiz, F Sáenz-Pérez Electronic Notes in Theoretical Computer Science 216, 79-92, 2008 | 18 | 2008 |
| ACIDE: an integrated development environment configurable for LaTeX F Sáenz-Pérez The PracTeX Journal 3 (1), 1-17, 2007 | 18 | 2007 |
| Using Datalog to provide just-in-time feedback during the construction of concept maps FJ Álvarez-Montero, F Sáenz-Pérez, A Vaquero-Sánchez Expert Systems with Applications 42 (3), 1362-1375, 2015 | 17 | 2015 |
| 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 | 15 | 2013 |
| Outer joins in a deductive database system F Sáenz-Pérez Electronic Notes in Theoretical Computer Science 282, 73-88, 2012 | 15 | 2012 |
| A proposal for the cooperation of solvers in constraint functional logic programming S Estévez-Martín, AJ Fernández, T Hortalá-González, ... Electronic Notes in Theoretical Computer Science 188, 37-51, 2007 | 15 | 2007 |
| An Efficient Proximity-based Unification Algorithm⋆ P Julián-Iranzo, F Sáenz-Pérez 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-8, 2018 | 14 | 2018 |
| Implementing tabled hypothetical datalog F Sáenz-Pérez 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 14 | 2013 |
| A deductive database with datalog and sql query languages F Sáenz-Pérez, R Caballero, Y García-Ruiz Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011 | 14 | 2011 |
| TOY, a multiparadigm declarative language (version 2.3.1) P Arenas, AJ Fernández, A Gil, FJ López-Fraguas, M Rodrıguez-Artalejo, ... User Manual, available a t http://toy. sourceforge. net, 2007 | 14* | 2007 |
| Proximity-based unification: an efficient implementation method P Julián-Iranzo, F Sáenz-Pérez IEEE Transactions on Fuzzy Systems 29 (5), 1238-1251, 2020 | 13 | 2020 |
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridVerified email at ucm.es
