| 2012 | ||
|---|---|---|
| 68 | Anna Queralt, Ernest Teniente: Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2): 13 (2012) | |
| 67 | Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012) | |
| 2010 | ||
| 66 | Ernest Teniente, Silvia Abrahão: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas IBERGARCETA Pub. S.L. 2010 | |
| 65 | Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí: AuRUS: Automated Reasoning on UML/OCL Schemas. ER 2010: 438-444 | |
| 2009 | ||
| 64 | Anna Queralt, Ernest Teniente: Reasoning on UML Conceptual Schemas with Operations. CAiSE 2009: 47-62 | |
| 63 | Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: MVT: a schema mapping validation tool. EDBT 2009: 1120-1123 | |
| 62 | Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. JISBD 2009: 354-254 | |
| 61 | Jordi Cabot, Ernest Teniente: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9): 1459-1478 (2009) | |
| 2008 | ||
| 60 | Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente: Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE 2008: 266-280 | |
| 59 | Anna Queralt, Ernest Teniente: Decidable Reasoning in UML Schemas with Constraints. CAiSE 2008: 281-295 | |
| 58 | Anna Queralt, Ernest Teniente: Validation of UML Conceptual Schemas with Operations. CAiSE Forum 2008: 101-104 | |
| 57 | Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí: SVTe: a tool to validate database schemas giving explanations. DBTest 2008: 9 | |
| 56 | Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Providing Explanations for Database Schema Validation. DEXA 2008: 660-667 | |
| 55 | Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Validation of mappings between schemas. Data Knowl. Eng. 66(3): 414-437 (2008) | |
| 54 | Anna Queralt, Ernest Teniente: A platform independent model for the electronic marketplace domain. Software and System Modeling 7(2): 219-235 (2008) | |
| 53 | Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Improving the definition of general constraints in UML. Software and System Modeling 7(4): 469-486 (2008) | |
| 2007 | ||
| 52 | Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí: Computing explanations for unlively queries in databases. CIKM 2007: 955-958 | |
| 51 | Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí: Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007: 389-403 | |
| 50 | Jordi Cabot, Ernest Teniente: Comprobación eficiente de restricciones de integridad en OCL. JISBD 2007: 391-392 | |
| 49 | Jordi Cabot, Ernest Teniente: Transformation techniques for OCL constraints. Sci. Comput. Program. 68(3): 179-195 (2007) | |
| 2006 | ||
| 48 | Jordi Cabot, Ernest Teniente: Incremental Evaluation of OCL Constraints. CAiSE 2006: 81-95 | |
| 47 | Dolors Costal, Cristina Gómez, Ernest Teniente: Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum 2006 | |
| 46 | Jordi Cabot, Ernest Teniente: Constraint Support in MDA Tools: A Survey. ECMDA-FA 2006: 256-267 | |
| 45 | Anna Queralt, Ernest Teniente: Reasoning on UML Class Diagrams with OCL Constraints. ER 2006: 497-512 | |
| 44 | Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente: Facilitating the Definition of General Constraints in UML. MoDELS 2006: 260-274 | |
| 43 | Jordi Cabot, Ernest Teniente: Transforming OCL constraints: a context change approach. SAC 2006: 1196-1201 | |
| 42 | Anna Queralt, Ernest Teniente: Specifying the Semantics of Operation Contracts in Conceptual Modeling. J. Data Semantics VII: 33-56 (2006) | |
| 2005 | ||
| 41 | Jaelson Castro, Ernest Teniente: Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE'05 Workshops, Vol. 2 FEUP Edições, Porto 2005 | |
| 40 | Jordi Cabot, Ernest Teniente: Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE 2005: 48-62 | |
| 39 | Anna Queralt, Ernest Teniente: On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings 2005 | |
| 38 | Jordi Cabot, Ernest Teniente: Generación Automática de Restricciones de Integridad: Estado del Arte. DSDM 2005 | |
| 37 | Carles Farré, Ernest Teniente, Toni Urpí: Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005) | |
| 2004 | ||
| 36 | Carles Farré, Ernest Teniente, Toni Urpí: A New Approach for Checking Schema Validation Properties. DEXA 2004: 77-86 | |
| 35 | Jordi Cabot, Ernest Teniente: Determining the Structural Events That May Violate an Integrity Constraint. UML 2004: 320-334 | |
| 34 | Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán: SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB 2004: 1349-1352 | |
| 2003 | ||
| 33 | Carles Farré, Ernest Teniente, Toni Urpí: Query Containment with Negated IDB Predicates. ADBIS 2003: 411-429 | |
| 32 | Jordi Cabot, Antoni Olivé, Ernest Teniente: Entity Types Derived by Symbol-Generating Rules. ER 2003: 376-389 | |
| 31 | Carles Farré, Ernest Teniente, Toni Urpí: Handling Existential Derived Predicates in View Updating. ICLP 2003: 148-162 | |
| 30 | Jordi Cabot, Antoni Olivé, Ernest Teniente: Representing Temporal Information in UML. UML 2003: 44-59 | |
| 29 | Stefano Paraboschi, Giuseppe Sindoni, Elena Baralis, Ernest Teniente: Materialized Viewsin Multidimensional Databases. Multidimensional Databases 2003: 222-251 | |
| 28 | Ernest Teniente, Toni Urpí: On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems CoRR cs.DB/0312046: (2003) | |
| 27 | Enric Mayol, Ernest Teniente: Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1): 61-103 (2003) | |
| 26 | Ernest Teniente, Toni Urpí: On the abductive or deductive nature of database schema validation and update processing problems. TPLP 3(3): 287-327 (2003) | |
| 2002 | ||
| 25 | Dolors Costal, Maria-Ribera Sancho, Ernest Teniente: Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE 2002: 659-674 | |
| 24 | Antoni Olivé, Ernest Teniente: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6): 391-409 (2002) | |
| 2001 | ||
| 23 | Dolors Costal, Antoni Olivé, Ernest Teniente: Relationship Type Refinement in Conceptual Models with Multiple Classification. ER 2001: 397-411 | |
| 2000 | ||
| 22 | Enric Mayol, Ernest Teniente: Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. FoIKS 2000: 192-212 | |
| 1999 | ||
| 21 | Enric Mayol, Ernest Teniente: Addressing Efficiency Issues During the Process of Integrity Maintenance. DEXA 1999: 270-281 | |
| 20 | Carles Farré, Ernest Teniente, Toni Urpí: The Constructive Method for Query Containment Checking. DEXA 1999: 583-593 | |
| 19 | Enric Mayol, Ernest Teniente: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) 1999: 62-73 | |
| 1998 | ||
| 18 | Carles Farré, Ernest Teniente, Toni Urpí: Query Containment Checking as a View Updating Problem. DEXA 1998: 310-321 | |
| 17 | Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí, Carles Farré: Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). JIDBD 1998: 3-10 | |
| 1997 | ||
| 16 | Enric Mayol, Ernest Teniente: Structuring the Process of Integrity Maintenance. DEXA 1997: 262-275 | |
| 15 | Dolors Costal, Ernest Teniente, Toni Urpí: An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD 1997: 175-192 | |
| 14 | Carles Farré, Ernest Teniente, Toni Urpí: Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD 1997: 91-100 | |
| 13 | Piero Fraternali, Ernest Teniente, Toni Urpí: Validating Active Rules by Planning. Rules in Database Systems 1997: 181-196 | |
| 12 | Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí: FOLRE: A Deductive Database System for the Integrated Treatment of Updates. Rules in Database Systems 1997: 35-50 | |
| 11 | Elena Baralis, Stefano Paraboschi, Ernest Teniente: Materialized Views Selection in a Multidimensional Database. VLDB 1997: 156-165 | |
| 1996 | ||
| 10 | Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré: Handling Conceptual Model Validation by Planning. CAiSE 1996: 255-271 | |
| 9 | Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549 | |
| 8 | Ernest Teniente, Carles Farré, Carme Martín, Enric Mayol, Joan Antoni Pastor, Jaume Sistac, Toni Urpí: FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD 1996: 132-141 | |
| 1995 | ||
| 7 | Ernest Teniente: An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 111-125 | |
| 6 | Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182 | |
| 5 | Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency VLDB J. 4(2): 193-241 (1995) | |
| 1994 | ||
| 4 | Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD 1994: 135-158 | |
| 1993 | ||
| 3 | Enric Mayol, Ernest Teniente: Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD 1993: 335-359 | |
| 1992 | ||
| 2 | Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260 | |
| 1990 | ||
| 1 | Ernest Teniente: The Internal Events Method for View Updating in Deductive Databases. DAISD 1990: 173-190 | |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page