| 2015 | LOPSTR | A Generic Intermediate Representation for Verification Condition Generation. | Manuel Montenegro, Ricardo Pea, Jaime Snchez-Hernndez |
| 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 |
| 2009 | PEPM | A flexible framework for programming with non-deterministicfunctions. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 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 | FLOPS | Rewriting and Call-Time Choice: The HO Case. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2008 | FLOPS | Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. | Susana Nieva, Jaime Snchez-Hernndez, Fernando Senz-Prez |
| 2007 | PPDP | A simple rewrite notion for call-time choice semantics. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2002 | FLOPS | Narrowing Failure in Functional Logic Programming. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |
| 2001 | ICLP | A Computational Model for Functional Logic Deductive Databases. | Jess Manuel Almendros-Jimnez, Antonio Becerra-Tern, Jaime Snchez-Hernndez |
| 2001 | LPAR | Functional Logic Programming with Failure: A Set-Oriented View. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |