Fernando Sáenz-Pérez

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: XPath Query Processing in a Functional-Logic Language. Electr. Notes Theor. Comput. Sci. 282: 19-34 (2012)

Fernando Sáenz-Pérez: Outer Joins in a Deductive Database System. Electr. Notes Theor. Comput. Sci. 282: 73-88 (2012)

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: Declarative Debugging of Wrong and Missing Answers for SQL Views. FLOPS 2012: 73-87

Ignacio Castiñeiras, Fernando Sáenz-Pérez: Improving the Performance of FD Constraint Solving in a CFLP System. FLOPS 2012: 88-103

Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez: Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS 2012: 120-135

Fernando Sáenz-Pérez: DES: A Deductive Database System. Electr. Notes Theor. Comput. Sci. 271: 63-78 (2011)

Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz: A Deductive Database with Datalog and SQL Query Languages. APLAS 2011: 66-73

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: Algorithmic Debugging of SQL Views. Ershov Memorial Conference 2011: 77-85

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR 2011: 42-56

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: Integrating XPath with the Functional-Logic Language Toy. PADL 2011: 145-159

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: XQuery in the Functional-Logic Language Toy. WFLP 2011: 35-51

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: Applying Constraint Logic Programming to SQL Test Case Generation. FLOPS 2010: 191-206

Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez: TOY: A System for Experimenting with Cooperation of Constraint Domains. Electr. Notes Theor. Comput. Sci. 258(1): 79-91 (2009)

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the cooperation of the constraint domains , R, and F in CFLP. TPLP 9(4): 415-527 (2009)

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández: Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. PPDP 2009: 117-128

Ignacio Castiñeiras, Fernando Sáenz-Pérez: Integrating ILOG CP Technology into TOY\mathcal{TOY}. WFLP 2009: 27-43

Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the Cooperation of the Constraint Domains H, R and FD in CFLP. CoRR abs/0904.2136 (2009)

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A New Proposal for Debugging Datalog Programs. Electr. Notes Theor. Comput. Sci. 216: 79-92 (2008)

Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez: Playing with TOY: Constraints and Domain Cooperation. ESOP 2008: 112-115

Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez: Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. FLOPS 2008: 289-304

Francisco José Alvarez Montero, Antonio Ramón Vaquero Sánchez, Fernando Sáenz-Pérez: Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations. LREC 2008

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268

Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB 2008: 143-159

R. González-del-Campo, Fernando Sáenz-Pérez: Programmed Search in a Timetabling Problem over Finite Domains. Electr. Notes Theor. Comput. Sci. 177: 253-267 (2007)

Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007)

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: Constraint functional logic programming over finite domains. TPLP 7(5): 537-582 (2007)

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda: Constraint Functional Logic Programming over Finite Domains. CoRR abs/cs/0601071 (2006)

Antonio Ramón Vaquero Sánchez, Francisco José Alvarez Montero, Fernando Sáenz-Pérez: Diccionarios basados en taxonomías con estructura de grafo orientado acíclico. Procesamiento del Lenguaje Natural 35 (2005)

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Programming with TOY(FD). CP 2005: 878-878

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Toy(FD): Sketch of Operational Semantics. CP 2003: 827-831

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez: Solving Combinatorial Problems with a Constraint Functional Logic Language. PADL 2003: 320-338