DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >

Llistant per Autor Teniente López, Ernest

Saltar a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introdueix les primeres lletres:   
Ordenar per: En ordre: Resultats/Pàgina Autors/Registre:
Mostrant resultats 1 a 18 de 18
Vista preliminarDataTítolAutor(s)
1037-3D-mapping-for-urban-serviece-robots.pdf.jpg11-oct-20093D mapping for urban service robotsValencia Carreño, Rafael; Teniente López, Ernest; Trulls Fortuny, Eduard; Andrade-Cetto, Juan
report-xml-mappings.pdf.jpg19-mar-2010A schema-only approach to validate XML schema mappingsRull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
Estañol et al.pdf.jpg2012Artifact-centric business process models in UMLEstañol Lamarca, Montserrat; Queralt, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
2010AuRUS: Automated Reasoning on UML/OCL SchemasQueralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
Oriol - Teniente.pdf.jpg2014Ejecución de operaciones de un esquema conceptual de forma persistente y consistenteOriol Hilari, Xavier; Teniente López, Ernest
artifacts.pdf.jpg20-set-2012EU-Rent as an artifact-centric process model: technical reportEstañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
2014Incremental checking of OCL constraints through SQL queriesOriol Hilari, Xavier; Teniente López, Ernest
2014Logic foundations of the OCL modelling languageFranconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest
2009MVT: a schema mapping validation toolRull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
paper_55-1.pdf.jpg2012OCL-Lite: a decidable (yet expressive) fragment of OCLQueralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
calv-hart-teni-dagstuhl-2013.pdf.jpg2013On the practical applicability of current techniques for reasoning on the structural schemaTeniente López, Ernest
2013Query containment in entity SQLRull Fort, Guillem; Bernstein, Philip A.; Garcia dos Santos, Ivo; Katsis, Yannis; Melnik, Sergey; Teniente López, Ernest
2013Reasoning on UML data-centric business process modelsEstañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest
report-termination.pdf.jpg19-mar-2010Testing Termination of Query Satisfiability Checking on Expressive Database SchemasRull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
2014Using UML to specify artifact-centric business process modelsEstañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
comsis-v3.2.pdf.jpg11-oct-2012Validation of schema mappings with nested queriesRull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
1408.5094v2.pdf.jpg21-ago-2014Verifiable UML artifact-centric business process models (Extended Version)Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
2012Verification and validation of UML conceptual schemas with OCL constraintsQueralt Calafat, Anna; Teniente López, Ernest
Mostrant resultats 1 a 18 de 18

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius