| 2008 |
|---|
| 89 | EE | Hendrik Decker:
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization.
DEXA 2008: 89-96 |
| 88 | EE | Hendrik Decker:
Towards a Dynamic Inconsistency-Tolerant Schema Maintenance.
ER Workshops 2008: 89-98 |
| 87 | EE | Emili Miedes,
Francesc D. Muñoz-Escoí,
Hendrik Decker:
Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols.
Euro-Par 2008: 394-403 |
| 86 | EE | Francesc D. Muñoz-Escoí,
María Idoia Ruiz-Fuertes,
Hendrik Decker,
José Enrique Armendáriz-Iñigo,
José Ramón González de Mendívil:
Extending Middleware Protocols for Database Replication with Integrity Support.
OTM Conferences (1) 2008: 607-624 |
| 85 | EE | María Idoia Ruiz-Fuertes,
Francesc D. Muñoz-Escoí,
Hendrik Decker,
José Enrique Armendáriz-Iñigo,
José Ramón González de Mendívil:
Integrity Dangers in Certification-Based Replication Protocols.
OTM Workshops 2008: 924-933 |
| 84 | EE | Hendrik Decker,
Davide Martinenghi:
Classifying integrity checking methods with regard to inconsistency tolerance.
PPDP 2008: 195-204 |
| 2007 |
|---|
| 83 | EE | Luis H. García-Muñoz,
José Enrique Armendáriz-Iñigo,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
Recovery Protocols for Replicated Databases - A Survey.
AINA Workshops (1) 2007: 220-227 |
| 82 | EE | Rubén de Juan-Marín,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
Revisiting Hot Passive Replication.
ARES 2007: 93-102 |
| 81 | EE | Hendrik Decker,
Davide Martinenghi:
Getting Rid of Straitjackets for Flexible Integrity Checking.
DEXA Workshops 2007: 360-364 |
| 80 | | Hendrik Decker:
Inconsistency-Tolerant Knowledge Assimilation.
ICSOFT (PL/DPS/KE/MUSE) 2007: 198-205 |
| 79 | EE | José Enrique Armendáriz-Iñigo,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
Isolating Transactions on Replicated Content Going Mobile.
MDM 2007: 377-381 |
| 78 | EE | José Enrique Armendáriz-Iñigo,
J. R. Juárez-Rodríguez,
José Ramón González de Mendívil,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
k-bound GSI: a flexible database replication protocol.
SAC 2007: 556-560 |
| 2006 |
|---|
| 77 | EE | Hendrik Decker,
Davide Martinenghi:
Checking Violation Tolerance of Approaches to Database Integrity.
ADVIS 2006: 139-148 |
| 76 | EE | José Enrique Armendáriz-Iñigo,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
Boosting the Availability of Information Systems by Data Replication.
CAiSE Forum 2006 |
| 75 | EE | José Enrique Armendáriz-Iñigo,
Hendrik Decker,
José Ramón González de Mendívil,
Francesc D. Muñoz-Escoí:
Middleware-Based Data Replication: Some History and Future Trends.
DEXA Workshops 2006: 390-394 |
| 74 | EE | Hendrik Decker,
Davide Martinenghi:
Avenues to Flexible Data Integrity Checking.
DEXA Workshops 2006: 425-429 |
| 73 | EE | Hendrik Decker:
An Integrity Semantics for Open World Databases.
DEXA Workshops 2006: 532-536 |
| 72 | EE | José Enrique Armendáriz-Iñigo,
J. R. Juárez-Rodríguez,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
Trying to Cater for Replication Consistency and Integrity of Highly Available Data.
DEXA Workshops 2006: 553-557 |
| 71 | EE | José Enrique Armendáriz-Iñigo,
Francesc D. Muñoz-Escoí,
Hendrik Decker,
J. R. Juárez-Rodríguez,
José Ramón González de Mendívil:
A Protocol for Reconciling Recovery and High-Availability in Replicated Databases.
ISCIS 2006: 634-644 |
| 70 | EE | Hendrik Decker,
Davide Martinenghi:
A Relaxed Approach to Integrity and Inconsistency in Databases.
LPAR 2006: 287-301 |
| 69 | | Hendrik Decker,
Davide Martinenghi:
Can Integrity Tolerate Inconsistency?
SEBD 2006: 32-39 |
| 68 | EE | Francesc D. Muñoz-Escoí,
Jerónimo Pla-Civera,
María Idoia Ruiz-Fuertes,
Luis Irún-Briz,
Hendrik Decker,
José Enrique Armendáriz-Iñigo,
José Ramón González de Mendívil:
Managing Transaction Conflicts in Middleware-based Database Replication Architectures.
SRDS 2006: 401-410 |
| 67 | EE | Hendrik Decker,
Davide Martinenghi:
Integrity Checking for Uncertain Data.
TDM 2006: 41-48 |
| 66 | EE | José Enrique Armendáriz-Iñigo,
Hendrik Decker,
Francesc D. Muñoz-Escoí,
José Ramón González de Mendívil:
A Closer Look at Database Replication Middleware Architectures for Enterprise Applications.
TEAA 2006: 69-83 |
| 2005 |
|---|
| 65 | | Hendrik Decker:
A Case for Paraconsistent Logic as Foundation of Future Information Systems.
CAiSE Workshops (2) 2005: 451-461 |
| 64 | EE | Hendrik Decker,
Luis Irún-Briz,
Rubén de Juan-Marín,
José Enrique Armendáriz-Iñigo,
Francesc D. Muñoz-Escoí:
Wide-Area Replication Support for Global Data Repositories.
DEXA Workshops 2005: 1117-1121 |
| 63 | EE | Hendrik Decker:
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity.
DEXA Workshops 2005: 813-817 |
| 62 | EE | Luis Irún-Briz,
Hendrik Decker,
Rubén de Juan-Marín,
Francisco Castro-Company,
José Enrique Armendáriz-Iñigo,
Francesc D. Muñoz-Escoí:
MADIS: A Slim Middleware for Database Replication.
Euro-Par 2005: 349-359 |
| 61 | EE | Hendrik Decker,
Luis Irún-Briz,
Francisco Castro-Company,
Félix García-Neiva,
Francesc D. Muñoz-Escoí:
Extending Wide-Area Replication Support with Mobility and Improved Recovery.
ISSADS 2005: 10-20 |
| 60 | | Sebastian Schaffert,
François Bry,
Philippe Besnard,
Hendrik Decker,
Stefan Decker,
Carlos F. Enguix,
Andreas Herzig:
Paraconsistent Reasoning for the Semantic Web.
ISWC-URSW 2005: 104-105 |
| 59 | EE | Francisco Castro-Company,
Javier Esparza Peidro,
María Idoia Ruiz-Fuertes,
Luis Irún-Briz,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
CLOB: Communication Support for Efficient Replicated Database Recovery.
PDP 2005: 314-321 |
| 58 | EE | José Enrique Armendáriz-Iñigo,
Hendrik Decker,
Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Rubén de Juan-Marín:
A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data.
TEAA 2005: 29-43 |
| 57 | | Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Hendrik Decker:
Database Replication Protocols.
Encyclopedia of Database Technologies and Applications 2005: 153-157 |
| 56 | | Hendrik Decker:
Principles of Advanced Database Integrity Checking.
Encyclopedia of Information Science and Technology (IV) 2005: 2297-2302 |
| 2004 |
|---|
| 55 | | Jordi Bataller,
Hendrik Decker,
Luis Irún-Briz,
Francesc D. Muñoz-Escoí:
A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance.
CAiSE Workshops (1) 2004: 79-91 |
| 54 | EE | Jordi Bataller,
Hendrik Decker,
Luis Irún-Briz,
Francesc D. Muñoz-Escoí:
Replication for Web-Based Collaboration.
DEXA Workshops 2004: 247-253 |
| 53 | EE | Luis Irún-Briz,
Francisco Castro-Company,
Hendrik Decker,
Francesc D. Muñoz-Escoí:
An Analytical Design of a Practical Replication Protocol for Distributed Systems.
FORTE Workshops 2004: 248-261 |
| 52 | | Hendrik Decker,
Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Jordi Bataller,
Pablo Galdámez,
Ramón García:
Augmenting Web-Based Collaboration with Adaptive Replication and Mobility.
ICWE Workshops 2004: 240-252 |
| 2003 |
|---|
| 51 | EE | Hendrik Decker,
Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Paco Castro,
Antonio Calero Monteagudo,
Javier Esparza Peidro,
Jordi Bataller,
Pablo Galdámez,
José M. Bernabéu-Aubán:
Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance.
DEXA Workshops 2003: 531-535 |
| 50 | | Luis Irún-Briz,
Francesc D. Muñoz-Escoí,
Hendrik Decker,
José M. Bernabéu-Aubán:
COPLA: A Platform for Eager and Lazy Replication in Networed Databases.
ICEIS (1) 2003: 273-278 |
| 2002 |
|---|
| 49 | | Hendrik Decker,
Jørgen Villadsen,
Toshiharu Waragai:
Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC)
Roskilde University, Roskilde, Denmark 2002 |
| 48 | | Javier Esparza Peidro,
Antonio Calero Monteagudo,
Jordi Bataller,
Francesc D. Muñoz-Escoí,
Hendrik Decker,
José M. Bernabéu-Aubán:
COPLA* - a Middleware for Distributed Databases.
APLAS 2002: 102-113 |
| 47 | EE | Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Pablo Galdámez,
José M. Bernabéu-Aubán,
Jordi Bataller,
María del Carmen Bañuls,
Hendrik Decker:
Flexible Management of Consistency and Availability of Networked Data Replications.
FQAS 2002: 289-300 |
| 46 | | Francesc D. Muñoz-Escoí,
Luis Irún-Briz,
Pablo Galdámez,
Hendrik Decker,
Josep Bernabéu,
Jordi Bataller,
María del Carmen Bañuls:
GlobData: A Platform for Supporting Multiple Consistency Modes.
ISDB 2002: 104-109 |
| 45 | EE | Hendrik Decker:
Mobile Middleware for Voice/Data-Integrated Internet Communication.
Mobile Data Management 2002: 171 |
| 44 | | Hendrik Decker:
Translating Advanced Integrity Checking Technology to SQL.
Database Integrity 2002: 203-249 |
| 2001 |
|---|
| 43 | | Dominique Carrega,
Hendrik Decker,
Hervé Muyal,
Michael Wallbaum:
Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture.
DEXA Workshop 2001: 532-536 |
| 42 | EE | Miguel R. Penabad,
Nieves R. Brisaboa,
José R. Paramá,
Hendrik Decker:
A General Procedure to Test Containment of Conjunctive Queries.
INAP 2001: 1-10 |
| 41 | EE | Hendrik Decker:
Soundcheck for SQL.
PADL 2001: 214-228 |
| 40 | EE | Hendrik Decker:
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.
Semantics in Databases 2001: 63-81 |
| 2000 |
|---|
| 39 | | Laura Mota-Herranz,
Matilde Celma,
Hendrik Decker:
Transaction Trees for Knowledge Revision.
FQAS 2000: 182-191 |
| 38 | | Michael Wallbaum,
Hendrik Decker:
Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication.
ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D87-D93 |
| 1999 |
|---|
| 37 | EE | Michael Wallbaum,
Dominique Carrega,
Michael Krautgärtner,
Hendrik Decker:
A Mobile Middleware Component Providing Voice over IP Services to Mobile Users.
ECMAST 1999: 552-563 |
| 36 | EE | Hendrik Decker,
Michael Krautgärtner:
Flexible Quality-of-Service Technology for Supporting Voice/Data-Integrated Nomadic Networking.
Flexible Working - New Network Technologies 1999: 215-224 |
| 1998 |
|---|
| 35 | | Burkhard Freitag,
Hendrik Decker,
Michael Kifer,
Andrei Voronkov:
Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers
Springer 1998 |
| 34 | EE | Hendrik Decker:
Some Notes on Knowledge Assimilation in Deductive Databases.
Transactions and Change in Logic Databases 1998: 249-286 |
| 1997 |
|---|
| 33 | EE | Hendrik Decker:
Abduction for Knowledge Assimilation in Deductive Databases.
SCCC 1997: 48-57 |
| 1996 |
|---|
| 32 | EE | Hendrik Decker,
Ernest Teniente,
Toni Urpí:
How to Tackle Schema Validation by View Updating.
EDBT 1996: 535-549 |
| 31 | | Hendrik Decker:
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.
JICSLP 1996: 157-169 |
| 1995 |
|---|
| 30 | | Juan Carlos Casamayor,
Hendrik Decker:
Hypothetical Query Answering in First-Order Databases.
SCAI 1995: 368-372 |
| 1994 |
|---|
| 29 | | Matilde Celma,
Hendrik Decker:
Integrity Checking in Deductive Databases - the Ultimate Method?
Australasian Database Conference 1994: 136-146 |
| 28 | | Hendrik Decker,
Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
GULP-PRODE (2) 1994: 32-46 |
| 27 | EE | Matilde Celma,
Carlos Garcia,
Laura Mota-Herranz,
Hendrik Decker:
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.
ICDE 1994: 214-222 |
| 26 | | Hendrik Decker,
Matilde Celma:
A Slick Procedure for Integrity Checking in Deductive Databases.
ICLP 1994: 456-469 |
| 1993 |
|---|
| 25 | | Matilde Celma,
Juan Carlos Casamayor,
Hendrik Decker:
Improving Integrity Checking by Compiling Derivation Paths.
Australian Database Conference 1993: 145-160 |
| 24 | | Hendrik Decker,
Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
DAISD 1993: 267-286 |
| 23 | | Juan Carlos Casamayor,
Francisco Marqués,
Hendrik Decker:
A Mechanism for Verification of Knowledge Base Scheme Specifications.
EUROVAV 1993: 103-115 |
| 22 | | Hendrik Decker,
Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories.
GULP 1993: 217-236 |
| 1992 |
|---|
| 21 | | Hendrik Decker:
Foundations of first-order databases.
CNKBS 1992: 6-8 |
| 20 | | Georg Nüssel,
Hendrik Decker,
Matilde Celma,
Juan Carlos Casamayor:
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
DAISD 1992: 199-216 |
| 19 | | Hendrik Decker:
Knowledge Assimilation in Deductive Databases - An Overview.
DAISD 1992: 217-247 |
| 1991 |
|---|
| 18 | | Hendrik Decker:
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories.
DAISD 1991: 149-173 |
| 17 | | Hendrik Decker:
On Explanations in Deductive Databases.
FMLDO 1991: 173-185 |
| 16 | | Hendrik Decker:
Consistency Checking by Abduction.
Grundlagen von Datenbanken 1991: 23 |
| 15 | | Hendrik Decker:
On Generalized Cover Axioms.
ICLP 1991: 693-707 |
| 1990 |
|---|
| 14 | | Lawrence Cavedon,
Hendrik Decker:
A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution.
DAISD 1990: 153-171 |
| 13 | | Hendrik Decker:
Über das "Update"-Problem in Deduktiven Datenbanken.
Grundlagen von Datenbanken 1990: 23-26 |
| 12 | EE | Hendrik Decker:
Drawing Updates From Derivations.
ICDT 1990: 437-451 |
| 1989 |
|---|
| 11 | | Hendrik Decker:
The Range Form of Databases and Queries or: How to Avoid Floundering.
ÖGAI 1989: 114-123 |
| 10 | | Hendrik Decker,
Lawrence Cavedon:
Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.
CSL 1989: 98-115 |
| 1988 |
|---|
| 9 | | François Bry,
Hendrik Decker:
Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.
BDA 1988: 9-20 |
| 8 | EE | François Bry,
Hendrik Decker,
Rainer Manthey:
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
EDBT 1988: 488-505 |
| 7 | | Hendrik Decker:
Domain-Independent and Range-Restricted Formulas and Deductives Databases.
SPLT 1988: 385-398 |
| 1986 |
|---|
| 6 | | Hendrik Decker:
Integrity Enforcement on Deductive Databases.
Expert Database Conf. 1986: 381-395 |
| 5 | | Jorge B. Bocca,
Hendrik Decker,
Jean-Marie Nicolas,
Laurent Vieille,
Mark Wallace:
Some Steps Towards a DBMS-based KBMS.
IFIP Congress 1986: 1061-1067 |
| 1984 |
|---|
| 4 | | Hendrik Decker:
Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen.
Entwurf großer Software-Systeme 1984: 353-373 |
| 3 | | Hendrik Decker,
Angelika Zobel:
Simulation and Verification - A Combined Approach to the Development of Software Systems.
IMACS European Simulation Meeting 1984: 209-216 |
| 1982 |
|---|
| 2 | | Hendrik Decker:
Performance Evaluation of Nets of Agencies with BORIS.
IMACS World Congress 1982: 133-139 |
| 1 | | Hendrik Decker,
Jürgen Geissler:
Modeling and Simulating Nets of Agencies with BORIS.
International Working Conference on Model Realism 1982: 52-61 |
