Hendrik Decker

According to our database1, Hendrik Decker authored at least 130 papers between 1982 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking.
T. Large-Scale Data- and Knowledge-Centered Systems, 2017

Database Inconsistency Measures and Their Applications.
Proceedings of the Information and Software Technologies - 23rd International Conference, 2017

2016
Scalability approaches for causal multicast: a survey.
Computing, 2016

Measure-Based Repair Checking by Integrity Checking.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Repair Checking by Integrity Checking.
Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016

2015
Data Consistency: Toward a Terminological Clarification.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014
Scalable Uncertainty-Tolerant Business Rules.
Proceedings of the Hybrid Artificial Intelligence Systems - 9th International Conference, 2014

2013
Inconsistency-Tolerant Business Rules in Distributed Information Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Minimizing Risks of Decision Making by Inconsistency-Tolerant Integrity Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

A Measured Evolution of Database Integrity.
Proceedings of the Model and Data Engineering - Third International Conference, 2013

Answers That Have Quality.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Inconsistency-Tolerant Belief Revision for Distributed Decision Support.
Proceedings of the Eighth International Conference on P2P, 2013

2012
Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Axiomatizing Inconsistency Metrics for Integrity Maintenance.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Modeling and Managing Uncertainty in Concurrent Database Transactions.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management.
Proceedings of the Information Systems: Methods, Models, and Applications, 2012

Checking and Repairing the Quality of Information in Databases by Inconsistency Metrics.
Proceedings of the 17th International Conference on Information Quality, 2012

New Measures for Maintaining the Quality of Databases.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Datalog for Inconsistency-tolerant Knowledge Engineering.
Proceedings of the KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4, 2012

Non-linear Data Stream Compression: Foundations and Theoretical Results.
Proceedings of the Hybrid Artificial Intelligent Systems - 7th International Conference, 2012

2011
Inconsistency-Tolerant Integrity Checking.
IEEE Trans. Knowl. Data Eng., 2011

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity.
Proceedings of the Semantics in Data and Knowledge Bases, 5th International Workshop, 2011

Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency.
Proceedings of the 11th International Conference on Quality Software, 2011

Scalable Data Management in Distributed Information Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics.
Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

Inconsistency-tolerant Eliminations of Integrity Violations.
Proceedings of the ICSOFT 2011, 2011

Causes for inconsistency-tolerant schema update management.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases.
Proceedings of the Explanation-aware Computing, 2011

Flexible Repairs for Improving the Integrity of Databases.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

Partial Repairs That Tolerate Inconsistency.
Proceedings of the Advances in Databases and Information Systems, 2011

Enabling Business Rules for Concurrent Transactions.
Proceedings of the 2011 International Conference on P2P, 2011

2010
Answers that Have Integrity.
Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics.
Proceedings of the On the Move to Meaningful Internet Systems, 2010

Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking.
Proceedings of the Database and Expert Systems Applications, 2010

2009
Business Rules for Concurrent E-commerce Transactions.
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Managing Risks by Integrity Constraints and Integrity Checking.
Proceedings of the Software and Data Technologies - 4th International Conference, 2009

Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking.
Proceedings of the ICSOFT 2009, 2009

Modeling, Measuring and Monitoring the Quality of Information.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Flexible Integrity Checking of Hard and Soft Constraints.
Proceedings of the Database and Expert Systems Applications, 2009

Database Integrity Checking.
Proceedings of the Database Technologies: Concepts, 2009

2008
Classifying integrity checking methods with regard to inconsistency tolerance.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Integrity Dangers in Certification-Based Replication Protocols.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Extending Middleware Protocols for Database Replication with Integrity Support.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols.
Proceedings of the Euro-Par 2008, 2008

Towards a Dynamic Inconsistency-Tolerant Schema Maintenance.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization.
Proceedings of the Database and Expert Systems Applications, 19th International Conference, 2008

2007
k-bound GSI: a flexible database replication protocol.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Isolating Transactions on Replicated Content Going Mobile.
Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation.
Proceedings of the Software and Data Technologies - Second International Conference, 2007

Inconsistency-Tolerant Knowledge Assimilation.
Proceedings of the ICSOFT 2007, 2007

Getting Rid of Straitjackets for Flexible Integrity Checking.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Recovery Protocols for Replicated Databases - A Survey.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Revisiting Hot Passive Replication.
Proceedings of the The Second International Conference on Availability, 2007

2006
A Closer Look at Database Replication Middleware Architectures for Enterprise Applications.
Proceedings of the Trends in Enterprise Application Architecture, 2006

Integrity Checking for Uncertain Data.
Proceedings of the Second Twente Data Management Workshop (TDM 2006) on Uncertainty in Databases, 2006

Managing Transaction Conflicts in Middleware-based Database Replication Architectures.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Can Integrity Tolerate Inconsistency?
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

A Relaxed Approach to Integrity and Inconsistency in Databases.
Proceedings of the Logic for Programming, 2006

A Protocol for Reconciling Recovery and High-Availability in Replicated Databases.
Proceedings of the Computer and Information Sciences, 2006

Avenues to Flexible Data Integrity Checking.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

An Integrity Semantics for Open World Databases.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Trying to Cater for Replication Consistency and Integrity of Highly Available Data.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Middleware-Based Data Replication: Some History and Future Trends.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Boosting the Availability of Information Systems by Data Replication.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Checking Violation Tolerance of Approaches to Database Integrity.
Proceedings of the Advances in Information Systems, 4th International Conference, 2006

2005
A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data.
Proceedings of the Trends in Enterprise Application Architecture, VLDB Workshop, 2005

Paraconsistent Reasoning for the Semantic Web.
Proceedings of the International Semantic Web Conference, 2005

CLOB: Communication Support for Efficient Replicated Database Recovery.
Proceedings of the 13th Euromicro Workshop on Parallel, 2005

Extending Wide-Area Replication Support with Mobility and Improved Recovery.
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

MADIS: A Slim Middleware for Database Replication.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Wide-Area Replication Support for Global Data Repositories.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

A Case for Paraconsistent Logic as Foundation of Future Information Systems.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Database Replication Protocols.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Principles of Advanced Database Integrity Checking.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Augmenting Web-Based Collaboration with Adaptive Replication and Mobility.
Proceedings of the Engineering Advanced Web Applications: Proceedings of Workshops in connection with the 4th International Conference on Web Engineering (ICWE 2004), 2004

An Analytical Design of a Practical Replication Protocol for Distributed Systems.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Replication for Web-Based Collaboration.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003
COPLA: A Platform for Eager and Lazy Replication in Networked Databases.
Proceedings of the ICEIS 2003, 2003

Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

2002
Mobile Middleware for Voice/Data-Integrated Internet Communication.
Proceedings of the Third International Conference on Mobile Data Management (MDM 2002), 2002

GlobData: A Platform for Supporting Multiple Consistency Modes.
Proceedings of the Information Systems and Databases (ISDB 2002), 2002

Flexible Management of Consistency and Availability of Networked Data Replications.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

COPLA* - a Middleware for Distributed Databases.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Translating Advanced Integrity Checking Technology to SQL.
Proceedings of the Database Integrity: Challenges and Solutions, 2002

2001
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.
Proceedings of the Semantics in Databases, 2001

Soundcheck for SQL.
Proceedings of the Practical Aspects of Declarative Languages, 2001

A General Procedure to Test Containment of Conjunctive Queries.
Proceedings of the 14th International Conference on Applications of Prolog, 2001

Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture.
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000
Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Transaction Trees for Knowledge Revision.
Proceedings of the Flexible Query Answering Systems, 2000

1999
A Mobile Middleware Component Providing Voice over IP Services to Mobile Users.
Proceedings of the Multimedia Applications, Services and Techniques, 1999

Flexible Quality-of-Service Technology for Supporting Voice/Data-Integrated Nomadic Networking.
Proceedings of the Flexible Working - New Network Technologies, 1999

1998
Some Notes on Knowledge Assimilation in Deductive Databases.
Proceedings of the Transactions and Change in Logic Databases, 1998

1997
Abduction for Knowledge Assimilation in Deductive Databases.
Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

1996
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.
Proceedings of the Logic Programming, 1996

How to Tackle Schema Validation by View Updating.
Proceedings of the Advances in Database Technology, 1996

1995
Hypothetical Query Answering in First-Order Databases.
Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

1994
A Slick Procedure for Integrity Checking in Deductive Databases.
Proceedings of the Logic Programming, 1994

Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.
Proceedings of the Tenth International Conference on Data Engineering, 1994

Sustained Models and Sustained Answers in First-Order Databases.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Integrity Checking in Deductive Databases - the Ultimate Method?
Proceedings of the 5th Australasian Database Conference, 1994

1993
A Mechanism for Verification of Knowledge Base Scheme Specifications.
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

A Prolog-like Paradigm for Reasoning in First-Order Theories.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

Improving Integrity Checking by Compiling Derivation Paths.
Proceedings of the Advances in Database Research, 1993

1992
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
Proceedings of the Third International Workshop on the Deductive Approach to Information Systems and Databases, 1992

Knowledge Assimilation in Deductive Databases - An Overview.
Proceedings of the Third International Workshop on the Deductive Approach to Information Systems and Databases, 1992

Foundations of first-order databases.
Proceedings of the CNKBS'92, 1992

1991
On Generalized Cover Axioms.
Proceedings of the Logic Programming, 1991

Consistency Checking by Abduction.
Proceedings of the Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", 1991

On Explanations in Deductive Databases.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories.
Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases, 1991

1990
Drawing Updates From Derivations.
Proceedings of the ICDT'90, 1990

Über das "Update"-Problem in Deduktiven Datenbanken.
Proceedings of the Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", 1990

A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution.
Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990

1989
The Range Form of Databases and Queries or: How to Avoid Floundering.
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.
Proceedings of the CSL '89, 1989

1988
Domain-Independent and Range-Restricted Formulas and Deductives Databases.
Proceedings of the SPLT'88, 1988

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
Proceedings of the Advances in Database Technology, 1988

Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1986
Some Steps Towards a DBMS-based KBMS.
Proceedings of the Information Processing 86, 1986

Integrity Enforcement on Deductive Databases.
Proceedings of the Expert Database Systems, 1986

1984
Simulation and Verification - A Combined Approach to the Development of Software Systems.
Proceedings of the Simulation in Research and Development, 1984

Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen.
Proceedings of the Entwurf großer Software-Systeme, 1984

1982
Ein formales Modell der graphischen Darstellung von Daten.
PhD thesis, 1982

Modeling and Simulating Nets of Agencies with BORIS.
Proceedings of the Adequate Modeling of Systems, 1982

Performance Evaluation of Nets of Agencies with BORIS.
Proceedings of the Parallel and Large-Scale Computers: Performance, 1982


  Loading...