Juan Carlos Casamayor Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Oscar Pastor, Juan Carlos Casamayor, Matilde Celma, Laura Mota, M. Ángeles Pastor, Ana M. Levin: Conceptual Modeling of Human Genome: Integration Challenges. Conceptual Modelling and Its Theoretical Foundations 2012: 231-250
2010
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Oscar Pastor, Ana M. Levin, Matilde Celma, Juan Carlos Casamayor, Luis E. Eraso, Maria José Villanueva, Manuel Perez-Alonso: Enforcing Conceptual Modeling to Improve the Understanding of Human Genome. RCIS 2010: 85-92
2008
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Oscar Pastor, Ana M. Levin, Matilde Celma, Juan Carlos Casamayor, Aremy Virrueta, Luis E. Eraso: Model-Based Engineering Applied to the Interpretation of the Human Genome. The Evolution of Conceptual Modeling 2008: 306-330
2000
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matilde Celma, Juan Carlos Casamayor: Diseño dirigido por restricciones: una metodología de desarrollo de bases de datos relacionales basada en el modelo Entidad-Relación. JISBD 2000: 347-356
1996
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matilde Celma, Laura Mota-Herranz, María Angeles Pastor, Juan Carlos Casamayor: Sobre la enseñanza des las bases de datos: teoría y diseño. JIDBD 1996: 55-64
1995
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Carlos Casamayor, Hendrik Decker: Hypothetical Query Answering in First-Order Databases. SCAI 1995: 368-372
1994
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. GULP-PRODE (2) 1994: 32-46
1993
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matilde Celma, Juan Carlos Casamayor, Hendrik Decker: Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hendrik Decker, Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning in First-Order Theories. GULP 1993: 217-236
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. DAISD 1993: 267-286
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Marqués, Juan Carlos Casamayor: Consistency Verification of Deductive Database Schemes. DAISD 1993: 287-307
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker: A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 103-115
1992
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Carlos Casamayor: An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. DAISD 1992: 249-274
1991
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués: A Derivation Path Recording Method for Integrity Checking in Deductive Databases. DAISD 1991: 185-203

Coauthor Index

1Matilde Celma
[c15] [c14] [c13] [c12] [c11] [c8] [c3] [c1]
2Hendrik Decker
[c10] [c9] [c8] [c7] [c6] [c4] [c3]
3Luis E. Eraso
[c14] [c13]
4Ana M. Levin
[c15] [c14] [c13]
5Francisco Marqués
[c5] [c4] [c1]
6Laura Mota-Herranz (Laura Mota)
[c15] [c11] [c1]
7Georg Nüssel
[c3]
8M. Ángeles Pastor
[c15]
9María Angeles Pastor
[c11] [c1]
10Oscar Pastor
[c15] [c14] [c13]
11Manuel Perez-Alonso
[c14]
12Maria José Villanueva
[c14]
13Aremy Virrueta
[c13]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 18:12:50 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page