The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hendrik Decker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François Bry, Hendrik Decker, Rainer Manthey
    A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. [Citation Graph (29, 9)][DBLP]
    EDBT, 1988, pp:488-505 [Conf]
  2. Hendrik Decker
    Integrity Enforcement on Deductive Databases. [Citation Graph (23, 0)][DBLP]
    Expert Database Conf., 1986, pp:381-395 [Conf]
  3. Hendrik Decker
    Drawing Updates From Derivations. [Citation Graph (8, 27)][DBLP]
    ICDT, 1990, pp:437-451 [Conf]
  4. Matilde Celma, Juan Carlos Casamayor, Hendrik Decker
    Improving Integrity Checking by Compiling Derivation Paths. [Citation Graph (2, 0)][DBLP]
    Australian Database Conference, 1993, pp:145-160 [Conf]
  5. Matilde Celma, Hendrik Decker
    Integrity Checking in Deductive Databases - the Ultimate Method? [Citation Graph (1, 0)][DBLP]
    Australasian Database Conference, 1994, pp:136-146 [Conf]
  6. Hendrik Decker, Lawrence Cavedon
    Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. [Citation Graph (1, 0)][DBLP]
    CSL, 1989, pp:98-115 [Conf]
  7. Hendrik Decker
    On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. [Citation Graph (1, 0)][DBLP]
    DAISD, 1991, pp:149-173 [Conf]
  8. Hendrik Decker
    Knowledge Assimilation in Deductive Databases - An Overview. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:217-247 [Conf]
  9. Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor
    A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:199-216 [Conf]
  10. Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker
    Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. [Citation Graph (1, 13)][DBLP]
    ICDE, 1994, pp:214-222 [Conf]
  11. Hendrik Decker
    An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    JICSLP, 1996, pp:157-169 [Conf]
  12. Hendrik Decker, Davide Martinenghi
    Checking Violation Tolerance of Approaches to Database Integrity. [Citation Graph (0, 0)][DBLP]
    ADVIS, 2006, pp:139-148 [Conf]
  13. Hendrik Decker, Juan Carlos Casamayor
    A Prolog-like Paradigm for Reasoning in First-Order Theories. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:217-236 [Conf]
  14. Hendrik Decker, Juan Carlos Casamayor
    Sustained Models and Sustained Answers in First-Order Databases. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:32-46 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (1), 2007, pp:220-227 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:102-113 [Conf]
  17. François Bry, Hendrik Decker
    Préserver l'intégrité d'une base de données déductive: une méthode et son implementation. [Citation Graph (0, 0)][DBLP]
    BDA, 1988, pp:9-20 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (1), 2004, pp:79-91 [Conf]
  19. Hendrik Decker
    A Case for Paraconsistent Logic as Foundation of Future Information Systems. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops (2), 2005, pp:451-461 [Conf]
  20. Hendrik Decker
    Foundations of first-order databases. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:6-8 [Conf]
  21. Hendrik Decker
    Some Notes on Knowledge Assimilation in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Transactions and Change in Logic Databases, 1998, pp:249-286 [Conf]
  22. Lawrence Cavedon, Hendrik Decker
    A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. [Citation Graph (0, 0)][DBLP]
    DAISD, 1990, pp:153-171 [Conf]
  23. Hendrik Decker, Juan Carlos Casamayor
    Sustained Models and Sustained Answers in First-Order Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:267-286 [Conf]
  24. Jordi Bataller, Hendrik Decker, Luis Irún-Briz, Francesc D. Muñoz-Escoí
    Replication for Web-Based Collaboration. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2004, pp:247-253 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2006, pp:390-394 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2006, pp:553-557 [Conf]
  27. Dominique Carrega, Hendrik Decker, Hervé Muyal, Michael Wallbaum
    Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 2001, pp:532-536 [Conf]
  28. Hendrik Decker
    Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2005, pp:813-817 [Conf]
  29. Hendrik Decker
    An Integrity Semantics for Open World Databases. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2006, pp:532-536 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2005, pp:1117-1121 [Conf]
  31. Hendrik Decker, Davide Martinenghi
    Avenues to Flexible Data Integrity Checking. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2006, pp:425-429 [Conf]
  32. 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. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2003, pp:531-535 [Conf]
  33. Michael Wallbaum, Dominique Carrega, Michael Krautgärtner, Hendrik Decker
    A Mobile Middleware Component Providing Voice over IP Services to Mobile Users. [Citation Graph (0, 0)][DBLP]
    ECMAST, 1999, pp:552-563 [Conf]
  34. Hendrik Decker, Ernest Teniente, Toni Urpí
    How to Tackle Schema Validation by View Updating. [Citation Graph (0, 17)][DBLP]
    EDBT, 1996, pp:535-549 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:349-359 [Conf]
  36. Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker
    A Mechanism for Verification of Knowledge Base Scheme Specifications. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:103-115 [Conf]
  37. Hendrik Decker
    On Explanations in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:173-185 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:248-261 [Conf]
  39. Laura Mota-Herranz, Matilde Celma, Hendrik Decker
    Transaction Trees for Knowledge Revision. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:182-191 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    FQAS, 2002, pp:289-300 [Conf]
  41. Hendrik Decker
    Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen. [Citation Graph (0, 0)][DBLP]
    Entwurf großer Software-Systeme, 1984, pp:353-373 [Conf]
  42. Hendrik Decker
    Über das "Update"-Problem in Deduktiven Datenbanken. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1990, pp:23-26 [Conf]
  43. Hendrik Decker
    Consistency Checking by Abduction. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1991, pp:23- [Conf]
  44. Michael Wallbaum, Hendrik Decker
    Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  45. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2003, pp:273-278 [Conf]
  46. Hendrik Decker
    On Generalized Cover Axioms. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:693-707 [Conf]
  47. Hendrik Decker, Matilde Celma
    A Slick Procedure for Integrity Checking in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:456-469 [Conf]
  48. 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. [Citation Graph (0, 0)][DBLP]
    ICWE Workshops, 2004, pp:240-252 [Conf]
  49. Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
    Some Steps Towards a DBMS-based KBMS. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:1061-1067 [Conf]
  50. Hendrik Decker
    Performance Evaluation of Nets of Agencies with BORIS. [Citation Graph (0, 0)][DBLP]
    IMACS World Congress, 1982, pp:133-139 [Conf]
  51. Hendrik Decker, Angelika Zobel
    Simulation and Verification - A Combined Approach to the Development of Software Systems. [Citation Graph (0, 0)][DBLP]
    IMACS European Simulation Meeting, 1984, pp:209-216 [Conf]
  52. Miguel R. Penabad, Nieves R. Brisaboa, José R. Paramá, Hendrik Decker
    A General Procedure to Test Containment of Conjunctive Queries. [Citation Graph (0, 0)][DBLP]
    INAP, 2001, pp:1-10 [Conf]
  53. 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. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2006, pp:634-644 [Conf]
  54. 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. [Citation Graph (0, 0)][DBLP]
    ISDB, 2002, pp:104-109 [Conf]
  55. 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. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2005, pp:10-20 [Conf]
  56. Hendrik Decker
    Domain-Independent and Range-Restricted Formulas and Deductives Databases. [Citation Graph (0, 0)][DBLP]
    SPLT, 1988, pp:385-398 [Conf]
  57. Hendrik Decker, Davide Martinenghi
    A Relaxed Approach to Integrity and Inconsistency in Databases. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:287-301 [Conf]
  58. Hendrik Decker
    Mobile Middleware for Voice/Data-Integrated Internet Communication. [Citation Graph (0, 0)][DBLP]
    Mobile Data Management, 2002, pp:171- [Conf]
  59. Hendrik Decker, Jürgen Geissler
    Modeling and Simulating Nets of Agencies with BORIS. [Citation Graph (0, 0)][DBLP]
    International Working Conference on Model Realism, 1982, pp:52-61 [Conf]
  60. Hendrik Decker
    The Range Form of Databases and Queries or: How to Avoid Floundering. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:114-123 [Conf]
  61. Hendrik Decker
    Soundcheck for SQL. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:214-228 [Conf]
  62. 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. [Citation Graph (0, 0)][DBLP]
    PDP, 2005, pp:314-321 [Conf]
  63. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:556-560 [Conf]
  64. Juan Carlos Casamayor, Hendrik Decker
    Hypothetical Query Answering in First-Order Databases. [Citation Graph (0, 0)][DBLP]
    SCAI, 1995, pp:368-372 [Conf]
  65. Hendrik Decker
    Abduction for Knowledge Assimilation in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    SCCC, 1997, pp:48-57 [Conf]
  66. Hendrik Decker
    Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. [Citation Graph (0, 0)][DBLP]
    Semantics in Databases, 2001, pp:63-81 [Conf]
  67. Hendrik Decker, Davide Martinenghi
    Can Integrity Tolerate Inconsistency? [Citation Graph (0, 0)][DBLP]
    SEBD, 2006, pp:32-39 [Conf]
  68. Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig
    Paraconsistent Reasoning for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ISWC-URSW, 2005, pp:104-105 [Conf]
  69. Francesc D. Muñoz-Escoí, J. 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. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:401-410 [Conf]
  70. 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. [Citation Graph (0, 0)][DBLP]
    TEAA, 2005, pp:29-43 [Conf]
  71. Hendrik Decker, Davide Martinenghi
    Integrity Checking for Uncertain Data. [Citation Graph (0, 0)][DBLP]
    TDM, 2006, pp:41-48 [Conf]
  72. José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí
    Boosting the Availability of Information Systems by Data Replication. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
  73. Hendrik Decker, Davide Martinenghi
    Getting Rid of Straitjackets for Flexible Integrity Checking. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2007, pp:360-364 [Conf]
  74. 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. [Citation Graph (0, 0)][DBLP]
    TEAA, 2006, pp:69-83 [Conf]

  75. Revisiting Hot Passive Replication. [Citation Graph (, )][DBLP]


  76. Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. [Citation Graph (, )][DBLP]


  77. Flexible Integrity Checking of Hard and Soft Constraints. [Citation Graph (, )][DBLP]


  78. Towards a Dynamic Inconsistency-Tolerant Schema Maintenance. [Citation Graph (, )][DBLP]


  79. Modeling, Measuring and Monitoring the Quality of Information. [Citation Graph (, )][DBLP]


  80. Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols. [Citation Graph (, )][DBLP]


  81. Inconsistency-Tolerant Knowledge Assimilation. [Citation Graph (, )][DBLP]


  82. Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking. [Citation Graph (, )][DBLP]


  83. Isolating Transactions on Replicated Content Going Mobile. [Citation Graph (, )][DBLP]


  84. Extending Middleware Protocols for Database Replication with Integrity Support. [Citation Graph (, )][DBLP]


  85. Integrity Dangers in Certification-Based Replication Protocols. [Citation Graph (, )][DBLP]


  86. Classifying integrity checking methods with regard to inconsistency tolerance. [Citation Graph (, )][DBLP]


  87. Business Rules for Concurrent E-commerce Transactions. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002