Concepedia

Ernest Teniente

ET

Statistics

Publications

31

Citations

1.4K

H-Index

15

Active since

1993

Affiliations

Universitat Politècnica de Catalunya(Current)

Barcelona Supercomputing Center

Universitat Oberta de Catalunya

Free University of Bozen-Bolzano

Universitat de Barcelona

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationVerificationSoftware DesignSemantic WebSoftware AnalysisSoftware EngineeringComputer Science

Publications per year

1993–2023

31

Publications

31

Materialized Views Selection in a Multidimensional Database

Elena Baralis, Stefano Paraboschi, Ernest Teniente · Very Large Data Bases · 1997 · 315 citations

Engineering, Data Repository, Data Science +18

Enabling IoT Ecosystems through Platform Interoperability

Arne Bröring, Stefan Schmid, Corina-Kim Schindhelm et al. · IEEE Software · 2017 · 283 citations · Full text

Web Of Thing, Engineering, Smart City +16

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Anna Queralt, Alessandro Artale, Diego Calvanese et al. · Data & Knowledge Engineering · 2011 · 96 citations · Full text

Engineering, Automated Reasoning, Uml/ocl Conceptual Schemas +7

Incremental integrity checking of UML/OCL conceptual schemas

Jordi Cabot, Ernest Teniente · Journal of Systems and Software · 2009 · 80 citations

Software Maintenance, Incremental Integrity Checking, Engineering +11

Verification and Validation of UML Conceptual Schemas with OCL Constraints

Anna Queralt, Ernest Teniente · ACM Transactions on Software Engineering and Methodology · 2012 · 74 citations · Full text

Engineering, Ontology Engineering, Constraints +19

1–5 of 31