Hendrik Decker

Publications

266

Citations

H-Index

1991

Active since

Affiliations

Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC)(Current)

Universitat Politècnica de València

Universidad Publica de Navarra

Politecnico di Milano

Hendrik Decker is an author at Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC) specializing in engineering, computer science, and data management.

Top concepts

EngineeringComputer ScienceData ManagementFormal VerificationData SecurityFormal MethodsVerificationData IntegrityProgram AnalysisSoftware Analysis

Publications per year

1991–2015

Publications

Managing Transaction Conflicts in Middleware-based Database Replication Architectures

Francesc D. Muñoz‐Escoí, J. Pla-Civera, M. I. Ruiz-Fuertes et al. · 2006 · 42 citations

Concurrency Control Support, Engineering, Transactional Application +12

Inconsistency-Tolerant Integrity Checking

Hendrik Decker, Davide Martinenghi · IEEE Transactions on Knowledge and Data Engineering · 2010 · 41 citations

Software Maintenance, Inconsistency-tolerant Integrity Checking, Engineering +19

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.

Hendrik Decker · JICSLP · 1996 · 35 citations

Classifying integrity checking methods with regard to inconsistency tolerance

Hendrik Decker, Davide Martinenghi · 2008 · 21 citations

Inconsistency-tolerant Integrity Checking, Engineering, Information Security +19

Comparing and synthesizing integrity checking methods for deductive databases

Matilde Celma, Luís Mota, Hendrik Decker · 2002 · 19 citations

Program Checking, Engineering, Constraints +17

Rows per page

1–5 of 14