Hendrik Decker
According to our database1,
Hendrik Decker
authored at least 130 papers
between 1982 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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