A Babel Parallel System: VHDL Modelling for Performance Measurement. - Fernando Sáenz-Pérez; Werner Hans; José J. Ruz; Stephan Winkler (GULP-PRODE (2), 1994)

A Stack-based Machine for Parallel Execution of Babel Programs. - Fernando Sáenz-Pérez; José J. Ruz; Werner Hans; Stephan Winkler (PASCO, 1994)

Shared Memory System for Babel: a VHDL Specification. - Fernando Sáenz-Pérez; Werner Hans; José J. Ruz; Stephan Winkler (PLILP, 1994)

Exploiting Expression- and Or-Parallelism for a Functional Logic Language. - Werner Hans; Stephan Winkler; Fernando Sáenz-Pérez (GULP-PRODE, 1995)

An Expression-Or-Parallel Implementation for a Functional Logic Language - Werner Hans; Fernando Sáenz-Pérez; Stephan Winkler (PLILP, 1995)

Parallel Execution Models for Constraint Propagation. - Alvaro Ruiz-Andino; Lourdes Araujo; Fernando Sáenz-Pérez; José J. Ruz (CP, 1998)

Parallel Arc-Consistency for Functional Constraints. - Alvaro Ruiz-Andino; Lourdes Araujo; Fernando Sáenz-Pérez; José J. Ruz (Implementation Technology for Programming Languages based on Logic, 1998)

Parallel Evolutionary Optimisation with Constraint Propagation. - Alvaro Ruiz-Andino; Lourdes Araujo; José J. Ruz; Fernando Sáenz-Pérez (PPSN, 1998)

Parallel Implementation of Constraint Solving. - Alvaro Ruiz-Andino; Lourdes Araujo; Fernando Sáenz-Pérez; José J. Ruz (PaCT, 1999)

Parallel Execution Models for Constraint Programming over Finite Domains. - Alvaro Ruiz-Andino; Lourdes Araujo; Fernando Sáenz-Pérez; José J. Ruz (PPDP, 1999)

A hybrid evolutionary approach for solving constrained optimization problems over finite domains. - Alvaro Ruiz-Andino; Lourdes Araujo; Fernando Sáenz-Pérez; José J. Ruz (IEEE Trans. Evol. Comput., 2000)

Improving the Language Mastery through Responsive Environments. - Antonio Vaquero; Fernando Sáenz-Pérez; A. Barco (Computers and Education. Towards an Interconnected Society, 2001)

A Functional Logic Language with Finite Domain Constraints. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez (APPIA-GULP-PRODE, 2002)

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

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

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

Learning Linguistic Concepts Through the Construction of Dictionaries with a Directed Acyclic Graph Shaped Taxonomy. - Antonio Vaquero; Francisco José Álvarez Montero; Fernando Sáenz-Pérez (EDUTECH, 2005)

Diccionarios basados en taxonomías con estructura de grafo orientado acíclico. - Antonio Ramón Vaquero Sánchez; Francisco José Álvarez Montero; Fernando Sáenz-Pérez (Proces. del Leng. Natural, 2005)

Thinking Precedes Action: Using Software Engineering for the Development of a Terminology Database to Improve Access to Biomedical Documentation. - Antonio Vaquero; Fernando Sáenz-Pérez; Francisco Álvarez 001; Manuel de Buenaga Rodríguez (ISBMDA, 2006)

Conceptual Design for Domain and Task Specific Ontology-Based Linguistic Resources. - Antonio Vaquero; Fernando Sáenz-Pérez; Francisco Álvarez 001; Manuel de Buenaga Rodríguez (OTM Conferences (1), 2006)

Methodologically Designing a Hierarchically Organized Concept-Based Terminology Database to Improve Access to Biomedical Documentation. - Antonio Vaquero; Fernando Sáenz-Pérez; Francisco Álvarez 001; Manuel de Buenaga Rodríguez (OTM Workshops (1), 2006)

Programmed Search in a Timetabling Problem over Finite Domains. - Ramón González del Campo; Fernando Sáenz-Pérez (WFLP, 2006)

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (PROLE, 2006)

Semantic Relations: Modelling Issues, Proposals and Possible Applications. - Francisco Álvarez 001; Antonio Vaquero; Fernando Sáenz-Pérez; Manuel de Buenaga Rodríguez; José María Gómez Hidalgo (FLAIRS, 2007)

Bringing Forward Semantic Relations: Issues and Proposals. - Francisco Álvarez 001; Antonio Vaquero; Fernando Sáenz-Pérez; Manuel de Buenaga Rodríguez (ISDA, 2007)

A New Proposal for Debugging Datalog Programs. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (WFLP@RDP, 2007)

Constraint functional logic programming over finite domains. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (Theory Pract. Log. Program., 2007)

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

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

Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources. - Francisco Álvarez 001; Antonio Vaquero; Fernando Sáenz-Pérez (ISDA (2), 2008)

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

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

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

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

Integrating ILOG CP Technology into TOY mathcal{TOY}. - Ignacio Castiñeiras; Fernando Sáenz-Pérez (WFLP, 2009)

On the Cooperation of the Constraint Domains H, R and FD in CFLP - 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 001 (CoRR, 2009)

TOY: A System for Experimenting with Cooperation of Constraint Domains. - Sonia Estévez Martín; Antonio José Fernández Leiva; Fernando Sáenz-Pérez (PROLE, 2009)

On the cooperation of the constraint domains , R, and F in CFLP. - 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 001 (Theory Pract. Log. Program., 2009)

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

DES: A Deductive Database System. - Fernando Sáenz-Pérez (PROLE, 2010)

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

Algorithmic Debugging of SQL Views. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (Ershov Memorial Conference, 2011)

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

Integrating XPath with the Functional-Logic Language Toy. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PADL, 2011)

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

XPath Query Processing in a Functional-Logic Language. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PROLE, 2011)

Outer Joins in a Deductive Database System. - Fernando Sáenz-Pérez (PROLE, 2011)

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

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

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

Tabling with Support for Relational Features in a Deductive Database. - Fernando Sáenz-Pérez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem. - Ignacio Castiñeiras; Fernando Sáenz-Pérez (ICCS, 2013)

Implementing Tabled Hypothetical Datalog. - Fernando Sáenz-Pérez (ICTAI, 2013)

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (LPAR (short papers), 2013)

Formalizing a Broader Recursion Coverage in SQL. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (PADL, 2013)

Improving the Deductive System DES with Persistence by Using SQL DBMS's. - Fernando Sáenz-Pérez (PROLE, 2014)

An extended constraint deductive database: Theory and implementation. - Gabriel Aranda-López; Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (J. Log. Algebraic Methods Program., 2014)

Debugging of wrong and missing answers for datalog programs with constraint handling rules. - Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PPDP, 2015)

Restricted Predicates for Hypothetical Datalog. - Fernando Sáenz-Pérez (PROLE, 2015)

Using Datalog to provide just-in-time feedback during the construction of concept maps. - Francisco J. Álvarez-Montero; Fernando Sáenz-Pérez; Antonio Vaquero-Sánchez (Expert Syst. Appl., 2015)

Intuitionistic Logic Programming for SQL. - Fernando Sáenz-Pérez (LOPSTR, 2016)

Intuitionistic Logic Programming for SQL (Extended Abstract). - Fernando Sáenz-Pérez (CoRR, 2016)

FuzzyDES or how DES Met Bousi-Prolog. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2017)

An Efficient Proximity-based Unification Algorithm⋆. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2018)

Enhancing set constraint solvers with bound consistency. - Jesús Correas Fernández; Sonia Estévez Martín; Fernando Sáenz-Pérez (Expert Syst. Appl., 2018)

Relational calculi in a deductive system. - Fernando Sáenz-Pérez (Expert Syst. Appl., 2018)

A Fuzzy Datalog Deductive Database System. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (IEEE Trans. Fuzzy Syst., 2018)

WordNet and Prolog: why not? - Pascual Julián Iranzo; Fernando Sáenz-Pérez (EUSFLAT Conf., 2019)

Applying Constraint Logic Programming to SQL Semantic Analysis. - Fernando Sáenz-Pérez (Theory Pract. Log. Program., 2019)

A System implementing Fuzzy Hypothetical Datalog⋆. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (FUZZ-IEEE, 2020)

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. - Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández (Inf. Comput., 2020)

Proximity-Based Unification: An Efficient Implementation Method. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (IEEE Trans. Fuzzy Syst., 2021)

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Theory Pract. Log. Program., 2021)

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Theory Pract. Log. Program., 2021)

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language. - Pascual Julián Iranzo; Fernando Sáenz-Pérez (Expert Syst. Appl., 2023)

Experiencing Hypothetical Datalog in SQL Puzzles. - Fernando Sáenz-Pérez (Datalog, 2024)

An efficient propositional system for Abductive Logic Programming. - Marco Gavanelli; Pascual Julián Iranzo; Fernando Sáenz-Pérez (Artif. Intell. Rev., 2024)

Conversion of the Spanish WordNet databases into a Prolog-readable format. - Pascual Julián Iranzo; Germán Rigau; Fernando Sáenz-Pérez; Pablo Velasco-Crespo (Lang. Resour. Evaluation, 2025)