Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. - Ivan Porres; Eladio Domínguez; Beatriz Pérez 001; Áurea Rodríguez; María Antonia Zapata (CAiSE Forum, 2007)

Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context. - Eladio Domínguez; Jorge Lloret; Beatriz Pérez 001; Áurea Rodríguez; Ángel Luis Rubio; María Antonia Zapata (ER Workshops, 2007)

A Survey of UML Models to XML Schemas Transformations. - Eladio Domínguez; Jorge Lloret; Beatriz Pérez 001; Áurea Rodríguez; Ángel Luis Rubio; María Antonia Zapata (WISE, 2007)

Tracing the Application of Clinical Guidelines. - Eladio Domínguez; Beatriz Pérez 001; María Antonia Zapata (APWeb Workshops, 2008)

Verification of Clinical Guidelines by Model Checking. - Beatriz Pérez 001; Ivan Porres (CBMS, 2008)

A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. - Ivan Porres; Eladio Domínguez; Beatriz Pérez 001; Áurea Rodríguez; María Antonia Zapata (ECBS, 2008)

Authoring and verification of clinical guidelines: A model driven approach. - Beatriz Pérez 001; Ivan Porres (J. Biomed. Informatics, 2010)

Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach. - Eladio Domínguez; Jorge Lloret; Beatriz Pérez 001; Áurea Rodríguez; Ángel Luis Rubio; María Antonia Zapata (Inf. Softw. Technol., 2011)

A systematic review of code generation proposals from state machine specifications. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María A. Zapata (Inf. Softw. Technol., 2012)

A UML profile for dynamic execution persistence with monitoring purposes. - Eladio Domínguez; Beatriz Pérez 001; María A. Zapata (MiSE, 2013)

Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María Antonia Zapata; Juan Lavilla; Alberto Allué (IEEE Trans. Knowl. Data Eng., 2014)

Developing provenance-aware query systems: an occurrence-centric approach. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María Antonia Zapata; Alberto Allué; Antonio López (Knowl. Inf. Syst., 2017)

Generating Persistence Structures for the Integration of Data and Control Aspects in Business Process Monitoring. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María A. Zapata; Alberto Allué; Antonio López (ICEIS (2), 2018)

Automating Provenance Capture in Software Engineering with UML2PROV. - Carlos Sáenz-Adán; Luc Moreau 001; Beatriz Pérez 001; Simon Miles; Francisco J. García Izquierdo (IPAW, 2018)

UML2PROV: Automating Provenance Capture in Software Engineering. - Carlos Sáenz-Adán; Beatriz Pérez 001; Trung Dong Huynh; Luc Moreau 001 (SOFSEM, 2018)

A systematic review of provenance systems. - Beatriz Pérez 001; Julio Rubio 001; Carlos Sáenz-Adán (Knowl. Inf. Syst., 2018)

A taxonomy for key performance indicators management. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María A. Zapata (Comput. Stand. Interfaces, 2019)

Reasoning about UML/OCL class diagrams using constraint logic programming and formula. - Beatriz Pérez 001; Ivan Porres (Inf. Syst., 2019)

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming. - Beatriz Pérez 001 (J. Biomed. Informatics, 2019)

Towards a Framework for KPI Evolution. - Eladio Domínguez; Beatriz Pérez 001; Ángel Luis Rubio; María A. Zapata (ENASE, 2020)

A Project-Based Learning Approach for Enhancing Learning Skills and Motivation in Software Engineering. - Beatriz Pérez 001; Ángel Luis Rubio (SIGCSE, 2020)

Enhancing the Learning of Database Access Programming using Continuous Integration and Aspect Oriented Programming. - Beatriz Pérez 001 (ICSE (SEET), 2021)

Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool. - César Domínguez 001; Francisco J. García Izquierdo; Arturo Jaime Elizondo; Beatriz Pérez 001; Ángel Luis Rubio; María Antonia Zapata (IEEE Trans. Learn. Technol., 2021)

Automated and non-intrusive provenance capture with UML2PROV. - Carlos Sáenz-Adán; Francisco J. García Izquierdo; Beatriz Pérez 001; Trung Dong Huynh; Luc Moreau 001 (Computing, 2022)

Integrating Provenance Capture and UML With UML2PROV: Principles and Experience. - Carlos Sáenz-Adán; Beatriz Pérez 001; Francisco J. García Izquierdo; Luc Moreau 001 (IEEE Trans. Software Eng., 2022)

PROV-IDEA: Supporting Interoperable Schema and Data Provenance within Database Evolution. - Beatriz Pérez 001; Ángel Luis Rubio; María A. Zapata (ACM Trans. Softw. Eng. Methodol., 2025)