| 2017 | ATVA | Liquid Types for Array Invariant Synthesis. | Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura |
| 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 | 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 | Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. | Susana Nieva, Jaime Snchez-Hernndez, Fernando Senz-Prez |
| 2004 | PPDP | Providing declarative semantics for HH extended constraint logic programs. | Miguel Garca-Daz, Susana Nieva |
| 2002 | FLOPS | Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. | Miguel Garca-Daz, Susana Nieva |
| 2001 | FLOPS | A Higher-Order Logic Programming Language with Constraints. | Javier Leach, Susana Nieva |
| 1996 | AISC | Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. | Antonio Gavilanes, Javier Leach, Pedro J. Martn, Susana Nieva |
| 1992 | LPAR | MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. | Javier Leach, Susana Nieva |