| 2010 | ER | AuRUS: Automated Reasoning on UML/OCL Schemas. | Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farr, Toni Urp |
| 2009 | EDBT | MVT: a schema mapping validation tool. | Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp |
| 2008 | DEXA | Providing Explanations for Database Schema Validation. | Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp |
| 2008 | ICALT | LEARN-SQL: Automatic Assessment of SQL Based on IMS QTI Specification. | Alberto Abell, M. Elena Rodrguez, Toni Urp, Xavier Burgus Illa, M. Jos Casany, Carme Martn, Carme Quer |
| 2008 | SIGMOD | SVTe: a tool to validate database schemas giving explanations. | Carles Farr, Guillem Rull, Ernest Teniente, Toni Urp |
| 2007 | CIKM | Computing explanations for unlively queries in databases. | Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp |
| 2007 | ICDT | Containment of Conjunctive Queries over Databases with Null Values. | Carles Farr, Werner Nutt, Ernest Teniente, Toni Urp |
| 2004 | DEXA | A New Approach for Checking Schema Validation Properties. | Carles Farr, Ernest Teniente, Toni Urp |
| 2004 | VLDB | SVT: Schema Validation Tool for Microsoft SQL-Server. | Ernest Teniente, Carles Farr, Toni Urp, Carlos Beltrn, David Gan |
| 2003 | ADBIS | Query Containment with Negated IDB Predicates. | Carles Farr, Ernest Teniente, Toni Urp |
| 2003 | ICLP | Handling Existential Derived Predicates in View Updating. | Carles Farr, Ernest Teniente, Toni Urp |
| 1999 | DEXA | The Constructive Method for Query Containment Checking. | Carles Farr, Ernest Teniente, Toni Urp |
| 1998 | DEXA | Query Containment Checking as a View Updating Problem. | Carles Farr, Ernest Teniente, Toni Urp |
| 1996 | CaiSE | Handling Conceptual Model Validation by Planning. | Dolors Costal, Ernest Teniente, Toni Urp, Carles Farr |
| 1996 | EDBT | How to Tackle Schema Validation by View Updating. | Hendrik Decker, Ernest Teniente, Toni Urp |
| 1995 | ICDE | A Common Framework for Classifying and Specifying Deductive Database Updating Problems. | Ernest Teniente, Toni Urp |
| 1992 | VLDB | A Method for Change Computation in Deductive Databases. | Toni Urp, Antoni Oliv |