Concepedia

Toni Urpí

TU

Statistics

Publications

10

Citations

245

H-Index

10

Active since

1992

Affiliations

Universitat Politècnica de Catalunya(Current)

Barcelona Supercomputing Center

Toni Urpí is an author at Universitat Politècnica de Catalunya specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningSemantic WebFormal MethodsVerificationData IntegrationData ModelingFormal VerificationData ManagementSoftware Design

Publications per year

1992–2013

10

Publications

10

A Method for Change Computation in Deductive Databases

Toni Urpí, Antoni Olivé · 1992 · 60 citations

Checking query containment with the CQC method

Carles Farré, Ernest Teniente, Toni Urpí · Data & Knowledge Engineering · 2004 · 44 citations

Relational Queries, Graph Query Language, Query Containment +2

LEARN-SQL: Automatic Assessment of SQL Based on IMS QTI Specification

Alberto Abelló, M. Elena Rodríguez, Toni Urpí et al. · 2008 · 37 citations

Engineering, Education, Intelligent Systems +23

AuRUS: explaining the validation of UML/OCL conceptual schemas

Guillem Rull, Carles Farré, Anna Queralt et al. · Software & Systems Modeling · 2013 · 27 citations · Full text

Specification Language, Formal Specification, Engineering +8

Validation of mappings between schemas

Guillem Rull, Carles Farré, Ernest Teniente et al. · Data & Knowledge Engineering · 2008 · 21 citations

Data Validation, Engineering, Distributed Schema Management +7

1–5 of 10