Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas. - Carmelo Del Valle; Rafael M. Gasca; Juan Antonio Ortega 001; María Teresa Gómez-López (Inteligencia Artif., 2002)

Arquitectura para la Consulta a Bases de Datos Restrictivas. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Rafael Ceballos (JISBD, 2003)

CSP aplicados a la diagnosis basada en modelos. - Rafael Ceballos; Carmelo Del Valle; María Teresa Gómez-López; Rafael M. Gasca (Inteligencia Artif., 2003)

CSP y Bases de Datos Restrictivas. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Rafael Ceballos (Inteligencia Artif., 2003)

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle (CDB, 2004)

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Sergio Pozo (IBERAMIA, 2004)

Securing Mobile Agent Based Tele-Assistance Systems. - Sergio Pozo; Rafael M. Gasca; María Teresa Gómez-López (TELECARE, 2004)

Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Fernando de la Rosa Troyano (DEXA, 2005)

Analysis and Visualization of the DX Community with Information Extracted from the Web. - Fernando de la Rosa Troyano; María Teresa Gómez-López; Rafael M. Gasca (DEXA, 2005)

ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Victor Cejudo (JISBD, 2005)

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Sergio Pozo (AINA (2), 2006)

Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. - María Teresa Gómez-López; Rafael M. Gasca (JISBD, 2006)

An integration of model-based techniques for determining the minimal diagnosis. - Rafael Ceballos; María Teresa Gómez-López; Rafael Martinez Gasca; Carmelo Del Valle (Inteligencia Artif., 2006)

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. - Rafael M. Gasca; Carmelo Del Valle; María Teresa Gómez-López; Rafael Ceballos (CAEPIA, 2007)

A compiled model for faults diagnosis based on different techniques. - Rafael Ceballos; María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle (AI Commun., 2007)

Developing a labelled object-relational constraint database architecture for the projection operator. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle (Data Knowl. Eng., 2009)

Improving the Diagnosability of Business Process Management Systems Using Test Points. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Rafael Ceballos (Business Process Management Workshops, 2010)

Run-Time Auditing for Business Processes Data Using Constraints. - María Teresa Gómez-López; Rafael M. Gasca (Business Process Management Workshops, 2010)

Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca; Diana Borrego (ICAART (2), 2011)

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. - María Teresa Gómez-López; Rafael M. Gasca; Luisa Parody; Diana Borrego (ISD, 2011)

Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca (BPMN, 2012)

Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis. - María Teresa Gómez-López; Rafael M. Gasca; Stefanie Rinderle-Ma (EDOC Workshops, 2013)

18K: An implementation of the ISO 8000-1×0. - Ismael Caballero 001; Isabel Bermejo; Rafael M. Gasca; Luisa Parody; Mario Piattini; María Teresa Gómez-López (ICIQ, 2013)

Data-Oriented Declarative Language for Optimizing Business Processes. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca (ISD, 2013)

CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca; Angel Jesus Varela-Vaca (RCIS, 2013)

Diagnosing correctness of semantic workflow models. - Diana Borrego; Rik Eshuis; María Teresa Gómez-López; Rafael M. Gasca (Data Knowl. Eng., 2013)

Minimizing test-point allocation to improve diagnosability in business process models. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (J. Syst. Softw., 2013)

Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. - María Teresa Gómez-López; Diana Borrego; Rafael M. Gasca (BIS, 2014)

Service Level Agreement for Data Quality Governed By ISO 8000-1X0. - Ismael Caballero 001; Luisa Parody; Isabel Bermejo; María Teresa Gómez-López; Rafael M. Gasca; Mario Piattini (ICIQ, 2014)

Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness. - María Teresa Gómez-López; Luisa Parody; Rafael M. Gasca; Stefanie Rinderle-Ma (OTM Conferences, 2014)

Using Constraint Programming in Selection Operators for Constraint Databases. - María Teresa Gómez-López; Rafael M. Gasca (Expert Syst. Appl., 2014)

Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes. - María Teresa Gómez-López; Rafael M. Gasca; José Miguel Pérez-Álvarez (Int. J. Cooperative Inf. Syst., 2014)

Validation, Diagnosis and Decision-Making Support of Data in Business Processes. - María Teresa Gómez-López (Business Process Management Workshops, 2015)

Automating correctness verification of artifact-centric business process models. - Diana Borrego; Rafael M. Gasca; María Teresa Gómez-López (Inf. Softw. Technol., 2015)

Compliance validation and diagnosis of business data constraints in business processes at runtime. - María Teresa Gómez-López; Rafael M. Gasca; José Miguel Pérez-Álvarez (Inf. Syst., 2015)

Computing Alignments with Constraint Programming: The Acyclic Case. - María Teresa Gómez-López; Diana Borrego; Josep Carmona 001; Rafael M. Gasca (ATAED@Petri Nets/ACSD, 2016)

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. - Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (BIS, 2016)

Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. - María Teresa Gómez-López; José Miguel Pérez-Álvarez; Ángel Jesús Varela-Vaca; Rafael M. Gasca (Business Process Management Workshops, 2016)

Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. - José Miguel Pérez-Álvarez; María Teresa Gómez-López; Angel Jesus Varela-Vaca; Fco. Fernando de la Rosa Troyano; Rafael M. Gasca (Business Process Management Workshops, 2016)

Hybrid Diagnosis Applied to Multiple Instances in Business Processes. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (BMMDS/EMMSAD, 2016)

Process Instance Query Language to Include Process Performance Indicators in DMN. - José Miguel Pérez-Álvarez; María Teresa Gómez-López; Luisa Parody; Rafael M. Gasca (EDOC Workshops, 2016)

PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle. - Luisa Parody; María Teresa Gómez-López; Isabel Bermejo; Ismael Caballero 001; Rafael M. Gasca; Mario Piattini (RCIS, 2016)

Hybrid business process modeling for the optimization of outcome data. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca (Inf. Softw. Technol., 2016)

An Architecture for Querying Business Process, Business Process Instances, and Business Data Models. - María Teresa Gómez-López; Antonia M. Reina Quintero; Luisa Parody; José Miguel Pérez-Álvarez; Manfred Reichert (Business Process Management Workshops, 2017)

A Model-Driven Framework for Domain Specific Process Design and Governance. - Adrian Mos; Mario Cortes Cornax; José Miguel Pérez-Álvarez; María Teresa Gómez-López (BPM (Demos), 2017)

Domain-Specific Data Management for Platform-Independent Process Governance. - Mario Cortes Cornax; José Miguel Pérez-Álvarez; Adrian Mos; María Teresa Gómez-López (ER Forum/Demos, 2017)

FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. - Luisa Parody; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Rafael M. Gasca (ISD, 2017)

Object Relational Constraint Databases for GIS. - María Teresa Gómez-López; Rafael M. Gasca (Encyclopedia of GIS, 2017)

Standardizing Process Data Exploitation by means of a Process Instance Metamodel. - Antonio Cancela; Antonia M. Reina Quintero; Alejandro García-García; María Teresa Gómez-López (SIMPDA, 2018)

Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation. - José Miguel Pérez-Álvarez; Alejandro Maté; María Teresa Gómez-López; Juan Trujillo 001 (Comput. Ind., 2018)

DMN for Data Quality Measurement and Assessment. - Álvaro Valencia-Parra; Luisa Parody; Ángel Jesús Varela-Vaca; Ismael Caballero 001; María Teresa Gómez-López (Business Process Management Workshops, 2019)

Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data. - Álvaro Valencia-Parra; Belén Ramos-Gutiérrez; Angel Jesus Varela-Vaca; María Teresa Gómez-López; Antonio Garcia Bernal (BPM (Industry Forum), 2019)

CHAMALEON: Framework to improve Data Wrangling with Complex Data. - Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Paolo Ceravolo (ICIS, 2019)

Process mining to unleash variability management: discovering configuration workflows using logs. - Ángel Jesús Varela-Vaca; José Angel Galindo; Belén Ramos-Gutiérrez; María Teresa Gómez-López; David Benavides 001 (SPLC (A), 2019)

Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models. - Angel Jesus Varela-Vaca; Luisa Parody; Rafael M. Gasca; María Teresa Gómez-López (IEEE Access, 2019)

Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium. - Ladjel Bellatreche; Fadila Bentayeb; Mária Bieliková; Omar Boussaid; Barbara Catania; Paolo Ceravolo; Elena Demidova; Mírian Halfeld Ferrari; María Teresa Gómez-López; Carmem S. Hara; Slavica Kordic; Ivan Lukovic; et al. (ADBIS/TPDL/EDA Workshops, 2020)

Towards the Detection of Promising Processes by Analysing the Relational Data. - Belén Ramos-Gutiérrez; Luisa Parody; María Teresa Gómez-López (ADBIS/TPDL/EDA Workshops, 2020)

Definition and Verification of Security Configurations of Cyber-Physical Systems. - Ángel Jesús Varela-Vaca; David Garcia Rosado; Luis Enrique Sánchez; María Teresa Gómez-López; Rafael M. Gasca; Eduardo Fernández-Medina (CyberICPS/SECPRE/ADIoT@ESORICS, 2020)

AMADEUS: towards the AutoMAteD secUrity teSting. - Ángel Jesús Varela-Vaca; Rafael M. Gasca; Jose Antonio Carmona-Fombella; María Teresa Gómez-López (SPLC (A), 2020)

Prognosis of multiple instances in time-aware declarative business process models. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (Comput. Ind., 2020)

Unleashing Constraint Optimisation Problem solving in Big Data environments. - Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; Luisa Parody; María Teresa Gómez-López (J. Comput. Sci., 2020)

Verifying the manipulation of data objects according to business process and data models. - José Miguel Pérez-Álvarez; María Teresa Gómez-López; Rik Eshuis; Marco Montali; Rafael M. Gasca (Knowl. Inf. Syst., 2020)

Measuring data-centre workflows complexity through process mining: the Google cluster case. - Damián Fernández-Cerero; Ángel Jesús Varela-Vaca; Alejandro Fernández-Montes; María Teresa Gómez-López; José Antonio Álvarez-Bermejo (J. Supercomput., 2020)

Enabling Process Mining in Airbus Manufacturing. - Álvaro Valencia-Parra; Belén Ramos-Gutiérrez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Antonio Garcia Bernal (Business Process Management Cases (2), 2021)

CC4Spark: Distributing event logs and big complex conformance checking problems. - Álvaro Valencia-Parra; Angel Jesus Varela-Vaca; María Teresa Gómez-López; Josep Carmona 001 (BPM (PhD/Demos), 2021)

A NLP-Oriented Methodology to Enhance Event Log Quality. - Belén Ramos-Gutiérrez; Ángel Jesús Varela-Vaca; F. Javier Ortega; María Teresa Gómez-López; Moe Thandar Wynn (BPMDS/EMMSAD@CAiSE, 2021)

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. - Belén Ramos-Gutiérrez; María Teresa Gómez-López; Diana Borrego; Rafael Ceballos; Rafael M. Gasca; Antonio Barea (IEEE Access, 2021)

CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. - Ángel Jesús Varela-Vaca; David Garcia Rosado; Luis Enrique Sánchez; María Teresa Gómez-López; Rafael M. Gasca; Eduardo Fernández-Medina (Comput. Ind., 2021)

Decision-making support for input data in business processes according to former instances. - José Miguel Pérez-Álvarez; Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca; Paolo Ceravolo (Comput. Sci. Inf. Syst., 2021)

DMN4DQ: When data quality meets DMN. - Álvaro Valencia-Parra; Luisa Parody; Ángel Jesús Varela-Vaca; Ismael Caballero 001; María Teresa Gómez-López (Decis. Support Syst., 2021)

Discovering configuration workflows from existing logs using process mining. - Belén Ramos-Gutiérrez; Ángel Jesús Varela-Vaca; José A. Galindo; María Teresa Gómez-López; David Benavides 001 (Empir. Softw. Eng., 2021)

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (Expert Syst. Appl., 2021)

Empowering conformance checking using Big Data through horizontal decomposition. - Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Josep Carmona 001; Robin Bergenthum (Inf. Syst., 2021)

Process Instance Query Language and the Process Querying Framework. - José Miguel Pérez-Álvarez; Antonio Cancela Díaz; Luisa Parody; Antonia M. Reina Quintero; María Teresa Gómez-López (Process Querying Methods, 2022)

Advisory: vulnerability analysis in software development project dependencies. - Antonio Germán Márquez; José A. Galindo; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; David Benavides 001 (SPLC (B), 2022)

Reasoning on the usage control security policies over data artifact business process models. - Montserrat Estañol; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Ernest Teniente; Rafael M. Gasca (Comput. Sci. Inf. Syst., 2022)

A domain-specific language for the specification of UCON policies. - Antonia M. Reina Quintero; Salvador Martínez Perez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Jordi Cabot (J. Inf. Secur. Appl., 2022)

Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology. - Vanessa Pradas Fernández; Ángel Jesús Varela-Vaca; María Teresa Gómez-López (CAiSE, 2023)

When business processes meet complex events in logistics: A systematic mapping study. - Belén Ramos-Gutiérrez; Antonia M. Reina Quintero; Luisa Parody; María Teresa Gómez-López (Comput. Ind., 2023)

Feature models to boost the vulnerability management process. - Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Antonio Germán Márquez (J. Syst. Softw., 2023)

ELI: an IoT-aware big data pipeline with data curation and data quality. - Francisco José de Haro-Olmo; Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; José Antonio Álvarez-Bermejo; María Teresa Gómez-López (PeerJ Comput. Sci., 2023)

On making informed decisions regarding clustering event logs in process discovery. - Belén Ramos-Gutiérrez; Ana Lavalle; Rafael Corchuelo; Alejandro Maté; Juan C. Trujillo; María Teresa Gómez-López (Zenodo, 2023)

On making informed decisions regarding clustering event logs in process discovery. - Belén Ramos-Gutiérrez; Ana Lavalle; Rafael Corchuelo; Alejandro Maté; Juan C. Trujillo; María Teresa Gómez-López (Zenodo, 2023)

Editorial: recent advances in process analytics. - Paolo Ceravolo; Claudio Di Ciccio; Chiara Di Francescomarino; María Teresa Gómez-López; Fabrizio Maria Maggi; Renuka Sindhgatta (J. Intell. Inf. Syst., 2023)

Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning. - Carlos Blanco 001; David Garcia Rosado; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Eduardo Fernández-Medina (Internet Things, 2023)

Variability in data transformation: towards data migration product lines. - David Romero-Organvidez; David Benavides 001; José Miguel Horcas; María Teresa Gómez-López (VaMoS, 2024)

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (Comput. Secur., 2024)

Enabling security risk assessment and management for business process models. - David Garcia Rosado; Luis Enrique Sánchez; Ángel Jesús Varela-Vaca; Antonio Santos-Olmo; María Teresa Gómez-López; Rafael M. Gasca; Eduardo Fernández-Medina (J. Inf. Secur. Appl., 2024)

BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning. - Cristóbal Barba-González; Ismael Caballero 001; Ángel Jesús Varela-Vaca; José A. Cruz-Lemus; María Teresa Gómez-López; Ismael Navas-Delgado (Inf. Softw. Technol., 2024)

Explaining the Compliance of Security Policies for GDPR in Business Processes. - José Luis Cobo-Ariza; Joaquín Arregui; Antonia M. Reina Quintero; Ángel Jesús Varela-Vaca; María Teresa Gómez-López (CAiSE Workshops, 2025)

Optimising secure and sustainable smart home configurations. - Daniel Muñoz-Heredia; Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López (Internet Things, 2025)

Informed decision-making in prioritising product variants. - Diana Borrego; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Rafael M. Gasca (PeerJ Comput. Sci., 2025)

Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies. - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (SoftwareX, 2025)

Business process models and simulation to enable GDPR compliance. - Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Yolanda Morales Zamora; Rafael M. Gasca (Int. J. Inf. Sec., 2025)

DMN4DQ+: Optimising data repair to enhance data usability. - Álvaro Valencia-Parra; Ángel Jesús Varela-Vaca; Luisa Parody; Ismael Caballero 001; María Teresa Gómez-López (Expert Syst. Appl., 2026)