Beatriz Pérez

29 papers A 1B 4C 1Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Enhancing Student Engagement and Learning in Database Programming Through Active Learning Strategies.
SIGCSE (1)
Ignacio Marco-Pérez, Beatriz Pérez
2026 J jnl
The Many Faces of Data Deletion: On the Significance and Implications of Deleting Data.
ACM Comput. Surv.
Ignacio Marco-Pérez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
2025 J jnl
PROV-IDEA: Supporting Interoperable Schema and Data Provenance within Database Evolution.
ACM Trans. Softw. Eng. Methodol.
Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
2025 J jnl
Process Mining Insights From a Student-Generated Questions Tool: Lower Workload and Higher Perceived Usefulness Improve the Learning Process.
IEEE Trans. Learn. Technol.
César Domínguez, Arturo Jaime, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata
2022 J jnl
Automated and non-intrusive provenance capture with UML2PROV.
Computing
Carlos Sáenz-Adán, Francisco J. García Izquierdo, Beatriz Pérez, Trung Dong Huynh, Luc Moreau
2022 J jnl
Integrating Provenance Capture and UML With UML2PROV: Principles and Experience.
IEEE Trans. Software Eng.
Carlos Sáenz-Adán, Beatriz Pérez, Francisco J. García Izquierdo, Luc Moreau
2021 — conf
Enhancing the Learning of Database Access Programming using Continuous Integration and Aspect Oriented Programming.
ICSE (SEET)
Beatriz Pérez
2021 J jnl
Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool.
IEEE Trans. Learn. Technol.
César Domínguez, Francisco J. García Izquierdo, Arturo Jaime Elizondo, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata
2020 A conf
A Project-Based Learning Approach for Enhancing Learning Skills and Motivation in Software Engineering.
SIGCSE
Beatriz Pérez, Ángel Luis Rubio
2020 B conf
Towards a Framework for KPI Evolution.
ENASE
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
2019 J jnl
A taxonomy for key performance indicators management.
Comput. Stand. Interfaces
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
2019 J jnl
Reasoning about UML/OCL class diagrams using constraint logic programming and formula.
Inf. Syst.
Beatriz Pérez, Ivan Porres
2019 J jnl
Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
J. Biomed. Informatics
Beatriz Pérez
2018 J jnl
A systematic review of provenance systems.
Knowl. Inf. Syst.
Beatriz Pérez, Julio Rubio, Carlos Sáenz-Adán
2018 — conf
Automating Provenance Capture in Software Engineering with UML2PROV.
IPAW
Carlos Sáenz-Adán, Luc Moreau, Beatriz Pérez, Simon Miles, Francisco J. García Izquierdo
2018 — conf
Generating Persistence Structures for the Integration of Data and Control Aspects in Business Process Monitoring.
ICEIS (2)
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata, Alberto Allué, Antonio López
2018 B conf
UML2PROV: Automating Provenance Capture in Software Engineering.
SOFSEM
Carlos Sáenz-Adán, Beatriz Pérez, Trung Dong Huynh, Luc Moreau
2017 J jnl
Developing provenance-aware query systems: an occurrence-centric approach.
Knowl. Inf. Syst.
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata, Alberto Allué, Antonio López
2014 J jnl
Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems.
IEEE Trans. Knowl. Data Eng.
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María Antonia Zapata, Juan Lavilla, Alberto Allué
2013 C conf
A UML profile for dynamic execution persistence with monitoring purposes.
MiSE
Eladio Domínguez, Beatriz Pérez, María A. Zapata
2012 J jnl
A systematic review of code generation proposals from state machine specifications.
Inf. Softw. Technol.
Eladio Domínguez, Beatriz Pérez, Ángel Luis Rubio, María A. Zapata
2011 J jnl
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach.
Inf. Softw. Technol.
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata
2010 J jnl
Authoring and verification of clinical guidelines: A model driven approach.
J. Biomed. Informatics
Beatriz Pérez, Ivan Porres
2008 — conf
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems.
ECBS
Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
2008 — conf
Tracing the Application of Clinical Guidelines.
APWeb Workshops
Eladio Domínguez, Beatriz Pérez, María Antonia Zapata
2008 B conf
Verification of Clinical Guidelines by Model Checking.
CBMS
Beatriz Pérez, Ivan Porres
2007 B conf
A Survey of UML Models to XML Schemas Transformations.
WISE
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata
2007 — conf
Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA.
CAiSE Forum
Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata
2007 — conf
Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context.
ER Workshops
Eladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata