E-prints UPC >

Llistant per Autor Teniente López, Ernest

Vista preliminar	Data	Títol	Autor(s)
	11-oct-2009	3D mapping for urban service robots	Valencia Carreño, Rafael; Teniente López, Ernest; Trulls Fortuny, Eduard; Andrade-Cetto, Juan
	19-mar-2010	A schema-only approach to validate XML schema mappings	Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
	2010	AuRUS: Automated Reasoning on UML/OCL Schemas	Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
	20-set-2012	EU-Rent as an artifact-centric process model: technical report	Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
	2009	MVT: a schema mapping validation tool	Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
	2012	OCL-Lite: a decidable (yet expressive) fragment of OCL	Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
	19-mar-2010	Testing Termination of Query Satisfiability Checking on Expressive Database Schemas	Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
	11-oct-2012	Validation of schema mappings with nested queries	Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
	2012	Verification and validation of UML conceptual schemas with OCL constraints	Queralt Calafat, Anna; Teniente López, Ernest