| 2019 | EUSFLAT | WordNet and Prolog: why not? | Pascual Julin Iranzo, Fernando Senz-Prez |
| 2016 | LOPSTR | Intuitionistic Logic Programming for SQL. | Fernando Senz-Prez |
| 2015 | PPDP | Debugging of wrong and missing answers for datalog programs with constraint handling rules. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2013 | ICCS | Applying CP(F D), CLP(F D) and CFLP(F D) to a Real-Life Employee Timetabling Problem. | Ignacio Castieiras, Fernando Senz-Prez |
| 2013 | ICTAI | Implementing Tabled Hypothetical Datalog. | Fernando Senz-Prez |
| 2013 | LPAR | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2013 | PADL | Formalizing a Broader Recursion Coverage in SQL. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2012 | FLOPS | Declarative Debugging of Wrong and Missing Answers for SQL Views. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2012 | FLOPS | Improving the Performance of FD Constraint Solving in a CFLP System. | Ignacio Castieiras, Fernando Senz-Prez |
| 2012 | FLOPS | Extending the TOY System with the ECLiPSe Solver over Sets of Integers. | Sonia Estvez Martn, Jess Correas Fernndez, Fernando Senz-Prez |
| 2011 | APLAS | A Deductive Database with Datalog and SQL Query Languages. | Fernando Senz-Prez, Rafael Caballero, Yolanda Garca-Ruiz |
| 2011 | LOPSTR | A Declarative Embedding of XQuery in a Functional-Logic Language. | Jess Manuel Almendros-Jimnez, Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2011 | PADL | Integrating XPath with the Functional-Logic Language Toy. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2010 | FLOPS | Applying Constraint Logic Programming to SQL Test Case Generation. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2009 | PPDP | Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2008 | ESOP | Playing with TOY: Constraints and Domain Cooperation. | Sonia Estvez Martn, Antonio J. Fernndez, Fernando Senz-Prez |
| 2008 | FLOPS | Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. | Susana Nieva, Jaime Snchez-Hernndez, Fernando Senz-Prez |
| 2008 | ISDA | Some Software Engineering and Knowledge Representation Principles for the Design and Construction of Ontology-Based Linguistic Resources. | Francisco lvarez, Antonio Vaquero, Fernando Senz-Prez |
| 2008 | LREC | Conceptual Modeling of Ontology-based Linguistic Resources with a Focus on Semantic Relations. | Francisco Jos lvarez Montero, Antonio Ramn Vaquero-Snchez, Fernando Senz-Prez |
| 2008 | PPDP | Cooperation of constraint domains in the | Sonia Estvez Martn, Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo, Fernando Senz-Prez, Rafael del Vado Vrseda |
| 2007 | FlAIRS | Semantic Relations: Modelling Issues, Proposals and Possible Applications. | Francisco lvarez, Antonio Vaquero, Fernando Senz-Prez, Manuel de Buenaga Rodrguez, Jos Mara Gmez Hidalgo |
| 2007 | ISDA | Bringing Forward Semantic Relations: Issues and Proposals. | Francisco lvarez, Antonio Vaquero, Fernando Senz-Prez, Manuel de Buenaga Rodrguez |
| 2005 | CP | Programming with TOY(FD). | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | CP | Toy(FD): Sketch of Operational Semantics. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 2003 | PADL | Solving Combinatorial Problems with a Constraint Functional Logic Language. | Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Fernando Senz-Prez |
| 1999 | PACT | Parallel Implementation of Constraint Solving. | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz |
| 1999 | PPDP | Parallel Execution Models for Constraint Programming over Finite Domains. | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz |
| 1998 | CP | Parallel Execution Models for Constraint Propagation. | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz |
| 1998 | ICLP | Parallel Arc-Consistency for Functional Constraints. | Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz-Prez, Jos J. Ruz |
| 1998 | PPSN | Parallel Evolutionary Optimisation with Constraint Propagation. | Alvaro Ruiz-Andino, Lourdes Araujo, Jos J. Ruz, Fernando Senz-Prez |