A Derivation Path Recording Method for Integrity Checking in Deductive Databases. - Matilde Celma; Juan Carlos Casamayor; Laura Mota-Herranz; María Angeles Pastor; Francisco Marqués (DAISD, 1991)

An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. - Juan Carlos Casamayor (DAISD, 1992)

A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. - Georg Nüssel; Hendrik Decker; Matilde Celma; Juan Carlos Casamayor (DAISD, 1992)

Improving Integrity Checking by Compiling Derivation Paths. - Matilde Celma; Juan Carlos Casamayor; Hendrik Decker (Australian Database Conference, 1993)

A Prolog-like Paradigm for Reasoning in First-Order Theories. - Hendrik Decker; Juan Carlos Casamayor (GULP, 1993)

Sustained Models and Sustained Answers in First-Order Databases. - Hendrik Decker; Juan Carlos Casamayor (DAISD, 1993)

Consistency Verification of Deductive Database Schemes. - Francisco Marqués; Juan Carlos Casamayor (DAISD, 1993)

A Mechanism for Verification of Knowledge Base Scheme Specifications. - Juan Carlos Casamayor; Francisco Marqués; Hendrik Decker (EUROVAV, 1993)

Hypothetical Query Answering in First-Order Databases. - Juan Carlos Casamayor; Hendrik Decker (SCAI, 1995)

Sobre la enseñanza des las bases de datos: teoría y diseño. - Matilde Celma; Laura Mota-Herranz; María Angeles Pastor; Juan Carlos Casamayor (JIDBD, 1996)

Diseño dirigido por restricciones: una metodología de desarrollo de bases de datos relacionales basada en el modelo Entidad-Relación. - Matilde Celma; Juan Carlos Casamayor (JISBD, 2000)

Model-Based Engineering Applied to the Interpretation of the Human Genome. - Oscar Pastor 001; Ana M. Levin; Matilde Celma; Juan Carlos Casamayor; Aremy Virrueta; Luis E. Eraso (The Evolution of Conceptual Modeling, 2008)

Improving the Semantics of a Conceptual Schema of the Human Genome by Incorporating the Modeling of SNPs. - Oscar Pastor 001; Matthijs van der Kroon; Ana M. Levin; Matilde Celma; Juan Carlos Casamayor (IC3K, 2010)

Enforcing Conceptual Modeling to Improve the Understanding of Human Genome. - Oscar Pastor 001; Ana M. Levin; Matilde Celma; Juan Carlos Casamayor; Luis E. Eraso; Maria José Villanueva; Manuel Perez-Alonso (RCIS, 2010)

A Conceptual Modeling Approach To Improve Human Genome Understanding. - Oscar Pastor 001; Ana M. Levin; Juan Carlos Casamayor; Matilde Celma; Matthijs van der Kroon (Handbook of Conceptual Modeling, 2011)

Conceptual Modeling of Human Genome: Integration Challenges. - Oscar Pastor 001; Juan Carlos Casamayor; Matilde Celma; Laura Mota; M. Ángeles Pastor; Ana M. Levin (Conceptual Modelling and Its Theoretical Foundations, 2012)

Applying Conceptual Modeling to Better Understand the Human Genome. - José Fabián Reyes Román; Oscar Pastor 001; Juan Carlos Casamayor; Francisco Valverde (ER, 2016)

Modeling Life: A Conceptual Schema-centric Approach to Understand the Genome. - Oscar Pastor López 001; Ana León Palacio; José Fabián Reyes Román; Juan Carlos Casamayor (Conceptual Modeling Perspectives, 2017)

Genomic Data Management in Big Data Environments: The Colorectal Cancer Case. - Ana León Palacio; Alicia García Giménez; Juan Carlos Casamayor Ródenas; José Fabián Reyes Román (ER Workshops, 2018)

A Method to Identify Relevant Genome Data: Conceptual Modeling for the Medicine of Precision. - Ana León Palacio; Oscar Pastor López 001; Juan Carlos Casamayor (ER, 2018)

SALER: A Data Science Solution to Detect and Prevent Corruption in Public Administration. - Fernando Martínez-Plumed; Juan Carlos Casamayor; Cèsar Ferri; Jon Ander Gómez; Eduardo Vendrell Vidal (Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML, 2018)

Towards an Effective and Efficient Management of Genome Data: An Information Systems Engineering Perspective. - Alberto García S.; José Fabián Reyes Román; Juan Carlos Casamayor; Oscar Pastor 001 (CAiSE Forum, 2019)

Towards the Generation of a Species-Independent Conceptual Schema of the Genome. - Alberto García S.; Juan Carlos Casamayor (ER (Workshops), 2020)

Towards the Understanding of the Human Genome: A Holistic Conceptual Modeling Approach. - Alberto García S.; Ana León Palacio; José Fabián Reyes Román; Juan Carlos Casamayor; Oscar Pastor 001 (IEEE Access, 2020)

ISGE: A Conceptual Model-Based Method to Correctly Manage Genome Data. - Alberto García S.; Juan Carlos Casamayor; Oscar Pastor 001 (CAiSE Forum, 2021)

A Conceptual Model-Based Approach to Improve the Representation and Management of Omics Data in Precision Medicine. - Alberto García S.; Ana León Palacio; José Fabián Reyes Román; Juan Carlos Casamayor; Oscar Pastor 001 (IEEE Access, 2021)

Using conceptual modeling to improve genome data management. - Oscar Pastor 001; Ana Palacio León; José Fabián Reyes Román; Alberto García Simón; Juan Carlos Casamayor Ródenas (Briefings Bioinform., 2021)

On how to generalize species-specific conceptual schemes to generate a species-independent Conceptual Schema of the Genome. - Alberto García S.; Juan Carlos Casamayor (BMC Bioinform., 2021)

AGC-MAC: A Conceptual Model-Based Platform for the Management and Analysis of Clinical Data of Retina-Macula Diseases. - Jesús Carreño-Bolufer; José Fabián Reyes Román; Rubén Cabrera Beyrouti; Juan Carlos Casamayor Ródenas (ICWE Workshops, 2024)

Model-to-Model Transformation. - Ana Palacio León; Maribel Yasmina Santos; Alberto García S.; Juan Carlos Casamayor; Oscar Pastor 001 (Bus. Inf. Syst. Eng., 2024)