Hendrik Decker

Affiliations

Writings
     Databases and Information Systems
     Mobile Communication
     Modeling and Simulation
     et cetera
     Display a partial but possibly more up-to-date list of publications provided by DBLP.

Vita

Affiliations

        R & D:
                      Instituto Tecnológico de Informática
                        Ciudad Politécnica de la Innovación
                        Universidad Politécnica de Valencia
                        Campus de Vera, edificio 8G
                        E-46071 Valencia, Spain
                        Tel. +34 96 3877 244
                        Fax +34 96 3877 239
                      hendrik(a)iti.upv.es

        Guest:
                      Institut für Informatik, PMS
                      Ludwig-Maximilians-Universität München
                        Oettingenstr. 67
                        D-80538 München, Germany
                        Tel. +49 89 2180 9334
                        Fax +49 89 2180 9311
                      hdecker(a)pms.ifi.lmu.de

        Private:
                         calle de los Astilleros 52, 5ª
                         E-46011 Valencia, Spain
Tel. +34 616 52 12 15

Research Interests

Semantic Consistency in Databases

Transaction Consistency in Databases

Replication Consistency in Databases

Consistency of Data Streams

Writings

Databases and Information Systems

with María Remedios Pallardó-Lozoya, Javier Esparza-Peidro, José Ramón García-Escrivá, Francesc D. Muñoz-Escoí: Scalable Data Management in Distributed Information Systems. Proc. 3rd Int'l Workshop on Information Systems in Distributed Environments, Springer LNCS vol. 7046, 208-217, 2011.
Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. Proc. 9th ICCSA, Part V, Springer LNCS vol. 6786, 283-292, 2011. Download paper.
with Davide Martinenghi: Inconsistenty-tolerant Integrity Checking. Transactions of Knowledge and Data Engineering 23(2):218-234, 2011. Download abstract.
Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics. Proc. OTM Conferences, Part 2, Springer LNCS vol. 6427, 983-998, 2010.
with Francesc D. Muñoz-Escoí: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. Proc. 2nd Int'l Workshop on Information Systems in Distributed Environments, Springer LNCS vol. 6428, 297-306, 2010.
How to Contain Inconsistency (or: Why Wittgenstein only Scratched the Surface). Proc. 7th European Conf. on Computing and Philosophy, 70-75, Verlag Dr. Hut, 2010.
Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking. Proc. 5th DEXA Workshop FlexDBIST, 318-322, 2010.
with Davide Martinenghi: Modeling, Measuring and Monitoring the Quality of Information. Proc. Workshops 28th Int'l Conf. on Conceptual Modeling, Springer LNCS vol. 5833, 212-221, 2009.
Flexible Integrity Checking of Hard and Soft Constraints. Proc. 4th DEXA Workshop FlexDBIST, 437-441, IEEE Computer Society, 2009.
Business Rules for Concurrent E-commerce Transactions. Proc. 7th CEC, 407-414, IEEE Computer Society, 2009.
Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking. Proc. 4th ICSOFT, vol. 2, 207-214. INSTICC Press, 2009.
Quantifying the Quality of Stored Data by Measuring their Integrity. Proc. 2nd Int'l Conf. Applications of Digital Information and Web Technologies, Session Software Metrics and Measurement. IEEE Xplore, 2009.
with Francesc D. Muñoz-Escoí: I/O States as Seen by Concurrent Transactions. Proc. XVII Jornadas de Concurrencia y Sistemas Distribuidos, 153-159. Universidad Politécnica de Valencia, 2009. Download .pdf of version revised 20 June 2009.
with Francesc D. Muñoz-Escoí: Business Rules for Replicated Enterprise Data. Proc. Information Systems 2009, 441-446. IADIS Press, 2009.
with Davide Martinenghi: Inconsistency-tolerant Integrity Checking. Chapter XXXVIII in V. Ferraggine, J. Doorn, L. Rivero (eds), Handbook of Research on Innovations in Database Technoloies and Applications: Current and Future Trends, Vol. I, 348-357. Information Science Reference, 2009.
with Francesc D. Muñoz-Escoí, Enrique Armendáriz, J. R. González de Mendívil: A Survey of Approaches to Database Replication. Chapter LXXXI in V. Ferraggine, J. Doorn, L. Rivero (eds), Handbook of Research on Innovations in Database Technoloies and Applications: Current and Future Trends, Vol. II, 762-768. Information Science Reference, 2009.
with Francesc D. Muñoz-Escoí, Idoia Ruiz, Enrique Armendáriz, J. R. González de Mendívil: Extending Middleware Protocols for Database Replication with Integrity Support. Proc. OTM 2008, 607-624, 2008. Springer LNCS vol. 5331. Download abstract.
with Idoia Ruiz, Francesc D. Muñoz-Escoí, Enrique Armendáriz, J. R. González de Mendívil: Integrity Dangers in Certification-Based Replication Protocols. On the Move to Meaningful Internet Systems: Proc. OTM 2008 Workshops, 924-933, 2008. Springer LNCS vol. 5333.
Towards a Dynamic Inconsistency-tolerant Schema Maintenance. Proc. Workshops 27th Int'l Conf. on Conceptual Modeling, Springer LNCS vol. 5232, 89-98, 2008. Download abstract.
with Davide Martinenghi: Database Integrity Checking. In M. Khosrow-Pour (ed), Encyclopedia of Information Science and Technology, 2nd edition, Vol. II, 961-966. Information Science Reference, 2008. Display abstract.
Extending Inconsistency-tolerant Integrity Checking by Semantic Query Optimization. Proc. 19th DEXA, 89-96, 2008. Download abstract.
with Emili Miedes, Francesc D. Muñoz-Escoí: Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols. Proc. 4th Euro-Par, Springer LNCS vol. 5168, 394-403, 2008. Download Technical Report version (.pdf).
with Davide Martinenghi: Classifying Integrity Checking Methods with regard to Inconsistency Tolerance. Proc. 10th PPDP, ACM Press, 195-204, 2008.
Inconsistency-tolerant Integrity Checking for Knowledge Assimilation. In J. Filipe, B. Shishkov, M. Helfert, L. Maciaszek (eds): Software and Data Technologies (revised selected papers from ICSOFT/ENASE 2007), 320-331, Springer CCIS vol. 22, 2008. Download abstract.
with Idoia Ruiz, Francesc D. Muñoz-Escoí: Integrity Constraint Management in Certification-Based Replication Protocols. Proc. XVI Jornadas de Concurrencia y Sistemas Distribuidos, 217-229, 2008. Download .pdf.
Inconsistency-tolerant Knowledge Assimilation. Proc. 2nd International Conference on Software and Data Technologies (ICSOFT), 198-205, INSTICC Press, 2007.
with Davide Martinenghi: Getting Rid of Straitjackets for Flexible Integrity Checking. Proc. 2nd DEXA Workshop FlexDBIST, 360-364, 2007.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí: Isolating Transactions on Replicated Content Going Mobile. Proc. 8th MDM, 377-381. IEEE Computer Society, 2007.
with Luis García, Enrique Armendáriz, Francesc D. Muñoz-Escoí: Recovery Protocols for Replicated Databases - A Survey. Proc. 21st AINA Workshops Vol. 1, 220-227, IEEE Computer Society, 2007.
with Rubén de Juan, Francesc D. Muñoz--Escoí: Revisiting Hot Passive Replication. Proc. 2nd ARES, 93-100, IEEE Computer Society, 2007.
with Enrique Armendáriz, José Ramón Juárez, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí: k-bound GSI: a Flexible Database Replication Protocol. Proc. 22nd Symposium on Applied Computing, Dependable and Adaptive Distributed Systems, 556-560. ACM Press, 2007.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí, José Ramón González de Mendívil: A Closer Look at Database Replication Middleware Architectures for Enterprise Applications. Proc. 2nd TEAA. Springer LNCS vol. 4473, 69-83, 2007.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí: Applying Generalized Snapshot Isolation to Mobile Databases. Proc. 4th IADIS Conference Applied Computing, 2007.
with Davide Martinenghi: A Relaxed Approach to Integrity and Inconsistency in Databases. Proc. 13th LPAR, 287-301, 2006.
with Davide Martinenghi, Henning Christiansen: Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In Zongmin Ma (ed): Intelligent Databases: Technologies and Applications, 238-285, Idea Group, 2006.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí, José Ramón Juárez, José Ramón González de Mendívil: A Protocol for Reconciling Recovery and High Availability in Replicated Databases. Proc. 21st ISCIS, 634-644, 2006.
with Davide Martinenghi: Checking Violation Tolerance of Approaches to Database Integrity. Proc. 4th ADVIS, 139-148, 2006.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí: Managing Transaction Conflicts in Middleware-based Database Replication Architectures. Proc. 25th Symposium on Reliable Distributed Systems. IEEE Computer Society, 401-410, 2006.
with Enrique Armendáriz, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí: Middleware-Based Data Replication: Some History and Future Trends. Proc. DEXA Workshop HADIS'06, 390-394, 2006.
with Davide Martinenghi: Avenues to Flexible Data Integrity Checking. Proc. 1st DEXA Workshop FlexDBIST, 425-429, 2006. Download abstract.
An Integrity Semantics for Open World Databases. Proc. DEXA Workshop LAAIC'06, 532-536, 2006.
with Enrique Armendáriz, José Ramón Juárez, Francesc D. Muñoz-Escoí: Trying to Cater for Replication Consistency and Integrity of Highly Available Data. DEXA Workshop LAAIC'06, 553-557, 2006.
with Francesc D. Muñoz-Escoí, Enrique Armendáriz: Toward Reconciling Availability, Consistency and Integrity in Replicated Information Systems. Proc. International Multiconference on Computing in the Global Information Technology (ICCGI'06). IEEE Computer Society, 2006. Download abstract.
with Davide Martinenghi: Can Integrity Tolerate Inconsistency? Proc. 14th SEBD, 32-39, 2006. Download .pdf.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí: Boosting the Availability of Information Systems by Data Replication. Proc. CAiSE'06 Forum (edited by N. Boudjlida and N. Guelfi), 31-34, 2006.
with Davide Martinenghi: Integrity Checking for Uncertain Data. Proc. 2nd TDM Workshop on Uncertainty in Databases, 41-48, 2006. Download .ppt presentation.
with Sebastian Schaffert, François Bry, Philippe Besnard, Stefan Decker, Carlos Enguix, Andreas Herzig: Paraconsistent Reasoning for the Semantic Web. Proc. International Semantic Web Conference (ISWC 2005), Workshop 3: Uncertainty Reasoning for the Semantic Web (URSW), 104-105, 2005. Download .pdf.
with Luis Irún, Rubén de Juan, Francisco Castro, Enrique Armendáriz, Francesc D. Muñoz-Escoí: MADIS: A Slim Middleware for Database Replication. Proc. 11th Euro-Par, 349-359, 2005. Download abstract.
with Luis Irún, Enrique Armendáriz, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí: Replication Tools in the MADIS Middleware. Proc. VLDB 2005 Workshop on Design, Implementation, and Deployment of Database Replication. Download pdf.
with Enrique Armendáriz, Francesc D. Muñoz-Escoí, Luis Irún, Rubén de Juan: A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data. Proc. VLDB 2005 Workshop on Trends in Enterprise Application Architecture (TEAA), Springer LNCS vol. 3888, 29-43, 2006.
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. Proc. DEXA Workshop LAAIC 2005.
with Luis Irún, Rubén de Juan, Enrique Armendáriz, Francesc D. Muñoz-Escoí: Wide-Area Replication Support for Global Data Repositories. Proc. DEXA Workshop GRep 2005.
with Francesc D. Muñoz-Escoí, Luis Irún: Database Replication Protocols. Encyclopedia of Database Technologies and Applications, 153-157, Idea Group, 2005.
A Case for Paraconsistent Logic as Foundation of Future Information Systems. Proc. CAiSE 2005 Workshops, vol. 2. Download .pdf.
with Francisco Castro, Javier Esparza, Idoia Ruiz, Luis Irún, Francesc D. Muñoz-Escoí: CLOB: Communication Support for Efficient Replicated Database Recovery. Proc. 13th Euromicro Conference on Parallel, Distributed and Network-based Processing. IEEE Computer Society, 314-321, 2005. Display abstract.
with Luis Irún, Francisco Castro, Félix García Neiva, Francesc D. Muñoz-Escoí: Extending Wide-Area Replication Support with Mobility and Improved Recovery. Advanced Distributed Systems: 5th International School and Symposium (ISSADS 2005), Springer LNCS, Vol. 3563, 10-20, 2005. Display abstract.
Principles of Advanced Database Integrity Checking. In M. Khosrow-Pour (ed): Encyclopedia of Information Science and Technology, 2297-2302, Idea Group, 2005.
with Luis Irún, Francisco Castro, Francesc D. Muñoz-Escoí: An Analytical Design of a Practical Replication Protocol for Distributed Systems. Proc. FORTE Workshops 2004: 248-261.
with Jordi Bataller, Luis Irún, Francesc D. Muñoz-Escoí: Replication for Web-Based Collaboration. Proc. 15th Int'l Workshop on Database and Expert Systems Applications, (DEXA 2004), 4th Int'l Workshop on Web Based Collaboration. IEEE Computer Society, 247-253. Display abstract.
with Francesc D. Muñoz-Escoí, Luis Irún, Jordi Bataller, Pablo Galdámez, Ramón García: Augmenting Web-based Collaboration with Adaptive Replication and Mobility. In M. Matera, S. Comai (eds): Engineering Advanced Web Applications, 240-252. Rinton Press, 2004.
with Jordi Bataller, Luis Irún, Francesc D. Muñoz-Escoí: A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance. Proc. CAiSE '04 Workshops, Vol. 1, WISM '04, 79-91. Download .ppt.
with Francesc D. Muñoz-Escoí, Luis Irún, Francisco Castro, Antonio Calero, Javier Esparza, Jordi Bataller, Pablo Galdámez, Josep Bernabéu: Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance. Proc. PaDD '03 workshop, DEXA 2003, IEEE Computer Society, 531-535.
with Luis Irún, Francesc D. Muñoz-Escoí, Josep Bernabéu: COPLA: A Platform for Eager and Lazy Replication in Networked Databases. Proc. ICEIS '03, Vol. 1, 273-278, 2003. Download .ps.
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundations of Databases. Semantics in Databases, Springer LNCS, Vol. 2582, 2003.
with Jørgen Villadsen, Toshiharu Waragai (eds): Paraconsistent Computational Logic. Proc. PCL 2002, Datalogiske Skrifter Vol. 95, Roskilde University, Denmark, 2002. Download proceedings. Revised contributions to PCL, edited and uploaded by Dina Goldin, are items [84]-[91] at this site.
with Javier Esparza, Antonio Calero, Jordi Bataller, Francesc D. Muñoz-Escoí, Josep Bernabéu: COPLA - a Middleware for Distributed Databases. Proc. 3rd APLAS, 102-113, 2002. Download .ps.
with Francesc D. Muñoz-Escoí, Luis Irún, Pablo Galdámez, José Bernabéu, Jordi Bataller, María del Carmen Bañuls: Flexible Management of Consistency and Availability of Networked Data Replications. FQAS 2002. Download .ps.
with Francesc D. Muñoz-Escoí, Luis Irún, Pablo Galdámez, Josep Bernabéu, Jordi Bataller, María del Carmen Bañuls: GlobData: A Platform for Supporting Multiple Consistency Modes. Proc. ISDB 2002. Download abstract.
Translating Advanced Integrity Checking Technology to SQL. In J. Doorn, L. Rivero (eds): Database Integrity: Challenges and Solutions. Idea Group Publishing, 2002. For more information about the book, click here.
with Miguel Penabad, Nieves Brisaboa, José Paramá: A General Procedure to Test Containment of Conjunctive Queries. INAP 2001 (DDLP '01): 1-10. Download .ps (240 k) or .ps.gz (90 k).
Soundcheck for SQL. In I. V. Ramakrishnan (ed): PADL 2001: 214-228. Display abstract.
with Laura Mota, Matilde Celma: Transaction Trees for Planning Knowledge Revision. FQAS 2000: 182-191.
with Burkard Freitag, Michael Kifer, Andrei Voronkov (eds): Transactions and Change in Logic Databases. Springer LNCS, Vol. 1472, 1998. Display book info, preface, table of contents.
Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases 1998: 249-286. Display abstract. Revised extended abstract: PMS-FB-1998-10.
Abduction for Knowledge Assimilation in Deductive Databases, in R. Baeza-Yates (ed), SCCC 1997: 48-57. Display abstract. Full text: PMS-FB-1997-13.
One Abductive Logic Programming Procedure for Two Kinds of Updates. Proc. ILPS '97 Workshop DYNAMICS 1997. Full text: PMS-FB-1997-16.
A Model-theoretic Semantics of Integrity Constraints in Deductive Databases. Proc. ILPS '97 Workshop LPKR 1997. Full text: PMS-FB-1997-12.
with Jorge Bocca, Michael Kifer, Andrei Voronkov (eds): Logic Databases and the Meaning of Change. Dagstuhl Seminar No. 9639, Report No. 157, 1996. Preprints: Uppsala Computing Science Report No. 129, 1996.
with Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549. Download .ps.gz.
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. JICSLP 1996: 157-169. Extended abstract "View Updating by Abduction and Integrity Maintenance" in Uppsala Computing Science Report No. 129, 1996: 1-5. Abstract "View Updating by Abductive Logic Programming" in Dagstuhl Seminar No. 9639, Report No. 157, 1996: 7-8.
with Juan Carlos Casamayor: Hypothetical Query Answering in First-Order Databases. Technical Report, DSIC, Univ. Politéc. Valencia, 1995. Short version in SCAI '95, IOS Press / Ohmsha, 1995: 368-372.
with Ulrich Geske, Antonis Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (eds): Proc. ICLP '95 Joint Workshop, Abduction in Deductive Databases and Knowledge-based Systems. GMD-Studien Nr. 266, 1995; also Research Report LSI-95-29-R, 1995. Display table of contents.
with Matilde Celma, Carlos Garcia, Laura Mota: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222.
with Matilde Celma: A Slick Procedure for Integrity Checking in Deductive Databases. ICLP 1994: 456-469.
with Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. In M. Alpuente et al. (eds): Proc. Joint Conference on Declarative Programming (GULP-PRODE '94), Vol. II. Servicio de Publicaciones, Univ. Politéc. Valencia, 1994: 32-46. Preliminary version (invited paper) in DAISD 1993: 267-286.
with Matilde Celma: Integrity Checking in Deductive Databases - The Ultimate Method? Australasian Database Conference 1994: 136-146.
with Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning in First-Order Theories (invited paper). In D. Saccà (ed): Proc. GULP '93 (8th Italian Logic Programming Conf.), Mediterranean Press, 1993: 217-233.
with Juan Carlos Casamayor, Francisco Marqués: A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 182-193.
with Matilde Celma, Juan Carlos Casamayor: Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160.
with Georg Nüssel, Matilde Celma, Juan Carlos Casamayor: A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. DAISD 1992: 199-216.
Knowledge Assimilation in Deductive Databases - An Overview (invited paper). DAISD 1992: 217-247.
with Juan Carlos Casamayor: Some proof procedures for computational first-order theories, with an abductive flavour to them. Proc. 1st Compulog-Net Workshop on Logic Programming in Artificial Intelligence, Imperial College, London, 1992.
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories (invited paper). DAISD 1991: 149-173.
On Explanations in Deductive Databases. FMLDO 1991: 173-185.
On Generalized Cover Axioms. ICLP 1991: 693-707.
with Lawrence Cavedon: A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution (invited paper). DAISD 1990: 153-171.
Drawing Updates From Derivations. ICDT 1990: 437-451.
with Lawrence Cavedon: Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. CSL 1989: 98-115.
The Range Form of Databases and Queries, or: How to Avoid Floundering. ÖGAI 1989: 114-123.
with François Bry, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505.
Domain-independent and Range-restricted Formulas and Deductive Databases. In S. Bourgault, M. Dincbas (eds): Programmation en Logique. Actes du 7ème Séminaire, CNET, 1988: 385-397.
with François Bry: Préserver l'Intégrité d'une Base de Données Déductive - Une méthode et son implémentation. Comptes Rendues des 4èmes Journées Bases de Données Avancées, Vol. 1, INRIA, 1988: 9-19.
Integrity Enforcement on Deductive Databases. Expert Database Systems 1986: 381-395.
with Jorge Bocca, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace: Some Steps towards a DBMS-based KBMS. 10th IFIP World Congress 1986: 1061-1067.

Mobile Communication

Mobile Middleware for Voice/Data-Integrated Internet Communication (invited industrial paper). Proc. 3rd Int'l Conference on Mobile Data Management (MDM 2002). IEEE Computer Society, 2002. Download abstract.
with Dominique Carrega, Hervé Muyal, Michael Wallbaum: Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture. Proc. 12th Int'l Workshop on Database and Expert Systems Applications, (DEXA 2001), 1st Int'l Workshop on Web Based Collaboration. IEEE Computer Society, 532-536. Display abstract.
with Michael Wallbaum: Enabling Quality of Service Management for Voice/Data-Integrated Mobile Communication, in T. Lai (ed): Proc. ICDCS 2000 Workshops, section D: Wireless Networks and Mobile Computing. IEEE Computer Society, 87-93.
with Michael Krautgärtner: Flexible Quality of Service Technology for Supporting Voice/Data-Integrated Nomadic Networking, in B. Christensen-Dalsgaard, W. Donnelly, M. Griffith (eds), Flexible Working: New Network Technologies, IOS Press / Ohmsha, 1999: 215-224.
with Michael Wallbaum, Dominique Carrega, Michael Krautgärtner: A Mobile Middleware Component Providing Voice over IP Services to Mobile Users. ECMAST 1999: 552-563. Download abstract.
with Michael Krautgärtner, Casey Ong, Michael Wallbaum: Quality of Service Management in an Integrated Mobile Voice/Data Service Architecture. Proc. 4th ACTS Mobile Communications Summit (AMOS), Vol. 1, 1999: 79-84. Download .pdf.

Modeling and Simulation

Simulation and Artificial Intelligence - A Joint Move towards New Generation Computing, in B. Wahlström et al (eds), Proc. 11th IMACS World Congress on System Simulation and Scientific Computation, Vol. 3. Moberg & Helli, 1985: 169-174.
with Angelika Zobel: Simulation and Verification - A Combined Approach to the Development of Software Systems, in A. Jàvor (ed): Simulation in Research and Development. North-Holland, 1985: 209-216.
Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen, in H. Morgenbrod, W. Remmele (Hrsg.): Entwurf großer Software-Systeme. Berichte des German Chapter of the ACM, Vol. 19. Teubner, 1984: 353-373.
with Johann Maierhofer: Very High Level Model Description and Simulation. In R. Bryant, B. Unger (eds): Simulation in Strongly Typed Languages. SCS Simulation Series, Vol. 13, No. 2, 1984: 44-48.
A Uniform World View for the Computer-Aided Design of Discrete Systems. In M. Hamza (ed): Proc. IASTED Symposium Applied Informatics. Acta Press, 1984: 48-51.
Performance Evaluation of Nets of Agencies with BORIS. Parallel and Large-Scale Computers - Performance, Architecture, Applications. IMACS Transactions on Scientific Computation, Vol. II. North-Holland, 1983: 133-139.
Graphic Support for Modeling and Simulation. In G. Mesnard (ed): Proc. Int'l AMSE Summer Conference, Vol. 1, AMSE Press, 1983: 333-339.
Imperative and Descriptive Specifications - A combined approach to hierarchical simulation model definition. In M. Hamza (ed): Proc. 4th IASTED Symposium Modeling and Simulation. Acta Press, 1983: 135-137.
with Jürgen Geissler: Modeling and Simulating Nets of Agencies with BORIS. Adequate Modeling of Systems. Springer, 1983: 52-61.

et cetera

with Rubén de Juan, Emili Miedes, José Enrique Armendáriz, Francesc D. Muñoz-Escoí: A Survey of Scalability Approaches for Reliable Causal Broadcasts. Technical Report ITI-SIDI-2009/010. Instituto Tecnológico de Informática, Universidad Politécnica de Valencia, 2009.
History and Future of Logic and Inconsistency in Philosophy and Computing. Instituto Tecnológico de Informática, Valencia, Spain. Presented at 7th ECAP, Track 2: Philosophy of Computer Science, Universitat Autònoma de Barcelona, Bellaterra, Spain, July 2009.
with Francesc D. Muñoz-Escoí, Idoia Ruiz, Enrique Armendáriz, José Ramó González de Mendívil: Extending Middleware Protocols for Database Replication with Integrity Support. Technical Report ITI-ITE-08/14. Instituto Tecnológico de Informática, Valencia, Spain, 2008. Download .pdf.
Classifying Integrity Checking Methods with regard to Inconsistency Tolerance. Presented at Logic in Databases (LID'08), Rome (Italy), 19-20 May 2008. Download .ppt.
with Francesc D. Muñoz-Escoí, Enrique Armendáriz, José Ramó González de Mendívil: Database Replication Approaches. Technical Report ITI-ITE-07/19, Instituto Tecnológico de Informática, Valencia, Spain. October 2007. Download .pdf.
with Francesc D. Muñoz-Escoí, Luis Irún, Rubén de Juan, Enrique Armendáriz: A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data. In Preprints of VLDB 2005 Workshop on Trends in Enterprise Application Architecture, 53-67, Trondheim, Norway, August 2005.
Integridad de datos relacionales. Actualidad TIC nº 4, 2004.
with Luis Irún, Jordi Bataller, Pablo Galdámez, Ramón García: Augmenting Web-based Collaboration with Adaptive Replication and Mobility (Extended Abstract). Presented at 4th ICWE Workshop AHCW'04, 26 July 2004. Download .pdf.
On Declarative and Procedural Paraconsistency. Presented at Dagstuhl Seminar No. 03241, 2003. Display extended abstract.
Paraconsistency: A Non-Standard Perspective of Logic, Resolution and Database Semantics. Presented at Dagstuhl Seminar No. 01021, Report No. 295, 2001: 22-23. Display abstract.
MOVE, An Experience Report. Unpublished Manuscript, 2001.
with Dominique Carrega, Emmanuel Fournier, Hervé Muyal, Michael Krautgärtner, Michael Wallbaum, Jens Meggers, Casey Ong: Design and Implementation of the VE-MASE Prototype. MOVE Deliverable D5, 1999 (also see Overview; download Final Report).
with Dominique Carrega, Emmanuel Fournier, Hervé Muyal, Michael Krautgärtner, Michael Wallbaum, Jens Meggers, Casey Ong: Design of V/D-API and Architecture of the VE-MASE. MOVE Deliverable D2, 1998.
Konsistenzsicherung im MS SQL Server. Technical Report, Siemens AG, ZT SE 2, 1997.
On Paraconsistency in Deductive Databases, presented at 1st World Congress on Paraconsistency, 1997. Download extended abstract No. 25. Related papers: PMS-FB-1997-17,PMS-FB-1997-14,PMS-FB-1997-11.
Is Disjunction in Logic Programming Inclusive or Exclusive or What? Dagstuhl Seminar No. 9627, Report No. 150, 1996: 8-9. Display abstract.
Backward vs Forward Abduction. Unpublished manuscript, 1995.
The Role of Logic Programming in Knowledge-based Information Systems (abstract).Dagstuhl Seminar No. 9529, Report No. 121, 1995: 5.
with Juan Carlos Casamayor, Francisco Marqués: Distributed and Disjunctive Databases - A Natural Pairing. Proc. 6th EDRG Workshop on Deductive and Interoperable Databases, ERCIM Report No. 94/W005: 189-208. Extended abstract in preprints, issued by LSI, UPC, 1994.
with Günther Horn: User/Network Authentication by Digital Signatures. MONET Deliverable MF3/SIEMENS/36, 1994.
with Juan Carlos Casamayor, Francisco Marqués: A Logic-Programming-Style Description of Inference in Disjunctive Databases.Unpublished manuscript, 1994.
Criteria for Comparing and Evaluating Security Mechanisms in UMTS. MONET Deliverable MF3/SIEMENS/34, 1993.
Zur formalen Spezifikation und Verifikation von Sicherheitsmechanismen. BMFT.REMO.SIEMENS.0105.01 Deliverable, 1993.
with Juan Carlos Casamayor: An Abductive Proof Procedure for Hypothetical Query Answering in First-Order Databases, in W. Nejdl (ed): Working Notes from the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, Vol. II, Technical Report, Informatik, RWTH Aachen, 1993.
Knowledge Engineering in Deductive Databases. Tutorial Handout, 9th IEEE Int'l Conf.Data Engineering (ICDE), 1993.
Foundations of First-Order Databases. KI-Bericht 4/92, Siemens AG, ZFE BT SE 21, 1992. Summary in Proc. First Compulog Net Meeting on Knowledge Bases (CNKBS'92), ECRC Technical Report 92-2, 1992: 6-8.
Consistency Checking by Abduction (abstract). Grundlagen von Datenbanken 1991: 23.
with Werner Zucker et al.: CONSHELL - eine domänenspezifische Shell für die Hardware-Konfigurierung, in W. Remmele (Hrsg.), Künstliche Intelligenz in der Praxis, Siemens AG, ZFE IS INF 3, 1990: 101-110.
Über das "Update"-Problem in Deduktiven Datenbanken. Grundlagen von Datenbanken 1990: 23-26.
with François Bry: Belief Revision Methods for Knowledge Bases. COMPULOG Deliverable D.2.2.a, 1990.
On Belief Revision in Deductive Databases. COMPULOG Technical Note, 1990.
Three Views on Integrity Checking. ECRC Internal Note, 1987, revised 1989.
Maintaining the Integrity of Views. ECRC WP-KB-8, 1987.
Improving the Efficiency of Checking Integrity with EX-Resolution. ECRC WP-KB-6, 1987.
A Note on the Correctness of Methods for Integrity Enforcement in Deductive Databases. ECRC WP-KB-4, 1987.
Comparing some Approaches to Integrity Enforcement in Deductive Databases. ECRC WP-KB-3, 1987.
A Note on Enforcing Integrity with a Resolution-like Proof Procedure. ECRC WP-KB-2, 1987.
Expression and Enforcement of Integrity Constraints in Prolog KB Version 0. ECRC TR-KB-3, 1985.
with Johann Maierhofer, Peter Lechner: Block-orientierte interaktive Modellierung und Simulation mit BORIS. Benutzermanual, Siemens AG, ZT ZTI SOF 3, 1984.
Ein formales Modell der graphischen Darstellung von Daten. Dissertation, Fachbereich Informatik, Universität Kaiserslautern, 1982.
BORIS - A New General Purpose Interactive Simulator for Hierarchical Models of Discrete Systems. Bericht 80B-11, Fachbereich Elektrotechnik, Universität Kaiserslautern, 1980.
Strukturelle Äquivalenz von Programmen. Diplomarbeit, Fakultät für Informatik, Technische Universität München, 1978.
with Gerhard Jochum: Unsupervised Inference of Regular Expressions. Report Stagier, Laboratoire de la Reconnaissance des Formes, Ecole Nationale Supérieure de Télécommunication, Paris, 1976.

Vita

Senior Scientist at the Instituto Tecnológico de Informática, Valencia, 2002 -.
Consultancy in Data Warehousing and Business Intelligence at Siemens Business Services, München, 2000 - 2001.
Research, Development and Engineering in Expert Systems, Security of Information Technology, Database Systems and Applications (rolling mill configuration, switched circuit telephony network maintenance, placement automation, traffic control), Mobile Computing and Communication, at Siemens AG,Corporate Technology,München, 1990 - 2000.
Member of Siemens Corporate Knowledge Management Community of Practice, 1997 - 2001. Recipient of CoP Contribution Award in 2000.
Visiting Scientist at PMS, Institut für Informatik, Ludwig-Maximilians-Universität München, since 1997.
Sabbatical at LSI, Universitat Politècnica de Catalunya, Barcelona, 1994 - 1995.
Member of Network of Excellence COMPULOG, 1990 - 1999.
Lecturing in Logic & Databases, Expert Systems, Security, at DSIC, Universidad Politécnica de Valencia;LSI, Universitat Politècnica de Catalunya; Fakultät für Informatik und Automatisierung, Technische Universität Ilmenau; CIS,Ludwig-Maximilians-Universität München, 1989 - 1995.
Research in Deductive Databases and Logic Programming at the Knowledge Base Group, European Computer-Industry Research Centre (ECRC), München, 1984 - 1990.
Graduation (Dr.-Ing.) with Ph.D. thesis in Computer Graphics at Fachbereich Informatik,Universität Kaiserslautern, 1982.
Research, Development and Engineering in Modeling and Simulation of Discrete Systems at Fachbereich Elektrotechnik, Universität Kaiserslautern and Siemens AG, Corporate R & D, München, 1979 - 1984.
Graduation (Dipl-Inform.) with Master thesis in Temporal Logics at Fakultät für Informatik, Technische Universität München, 1978.
Tutoring in Discrete Mathematics for Computer Science, Fakultät für Informatik, Universität der Bundeswehr München, 1977.
Studies in Computer Science and Mathematics at Fakultät für Mathematik und Informatik, Universität des Saarlandes, Saarbrücken, Ecole Nationale Supérieure de Télécommunication (ENST), Paris, and Fakultät für Informatik, Technische Universität München, 1972 - 1978.
Education and training in radio link networking, telephone switching, electronic data processing and programming, during military service, 1971 - 1972.
Born 1953 in Steinbach bei Ottweiler, Saarland.

last edited 28 September 2011