| 2021 | BPM | CC4Spark: Distributing event logs and big complex conformance checking problems. | lvaro Valencia-Parra, Angel Jesus Varela-Vaca, Mara Teresa Gmez-Lpez, Josep Carmona |
| 2019 | BPM | Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data. | lvaro Valencia-Parra, Beln Ramos-Gutirrez, Angel Jesus Varela-Vaca, Mara Teresa Gmez-Lpez, Antonio Garcia Bernal |
| 2016 | BPM | Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. | Jos Miguel Prez-lvarez, Mara Teresa Gmez-Lpez, Angel Jesus Varela-Vaca, Francisco Fernando de la Rosa Troyano, Rafael M. Gasca |
| 2013 | RCIS | CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. | Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca, Angel Jesus Varela-Vaca |
| 2011 | RCIS | Contract-based test generation for data flow of business processes using constraint programming. | Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca |
| 2011 | RCIS | A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. | Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez |
| 2011 | SECRYPT | OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. | Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo |
| 2010 | AINA | A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
| 2009 | ICCSA | MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
| 2009 | SECRYPT | Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos |