Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. - Konstantin Tretyakov; Abel Armas-Cervantes; Luciano García-Bañuelos; Jaak Vilo; Marlon Dumas (CIKM, 2011)

Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. - Abel Armas-Cervantes; Luciano García-Bañuelos; Marlon Dumas (WS-FM, 2012)

Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. - Abel Armas-Cervantes; Paolo Baldan; Marlon Dumas; Luciano García-Bañuelos (BPM, 2014)

BP-Diff: A Tool for Behavioral Comparison of Business Process Models. - Abel Armas; Paolo Baldan; Marlon Dumas; Luciano García-Bañuelos (BPM (Demos), 2014)

On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. - Abel Armas-Cervantes; Marlon Dumas; Luciano García-Bañuelos; Artem Polyvyanyy (WS-FM, 2015)

Behavior-based Process Comparison in Apromore. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marlon Dumas; Luciano García-Bañuelos; Marcello La Rosa (BPM (Demos), 2016)

On the expressive power of behavioral profiles. - Artem Polyvyanyy; Abel Armas-Cervantes; Marlon Dumas; Luciano García-Bañuelos (Formal Aspects Comput., 2016)

Diagnosing behavioral differences between business process models: An approach based on event structures. - Abel Armas-Cervantes; Paolo Baldan; Marlon Dumas; Luciano García-Bañuelos (Inf. Syst., 2016)

Reduction of event structures under history preserving bisimulation. - Abel Armas-Cervantes; Paolo Baldan; Luciano García-Bañuelos (J. Log. Algebraic Methods Program., 2016)

Incremental and Interactive Business Process Model Repair in Apromore. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marcello La Rosa; Marlon Dumas; Simon Raboczi (BPM (Demos), 2017)

Automated Compliance Verification of Business Processes in Apromore. - Heerko Groefsema; Nick van Beest; Abel Armas-Cervantes (BPM (Demos), 2017)

Interactive and Incremental Business Process Model Repair. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marcello La Rosa; Marlon Dumas; Luciano García-Bañuelos (OTM Conferences (1), 2017)

Scalable Conformance Checking of Business Processes. - Daniel Reißner; Raffaele Conforti; Marlon Dumas; Marcello La Rosa; Abel Armas-Cervantes (OTM Conferences (1), 2017)

Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery. - Adriano Augusto; Abel Armas-Cervantes; Raffaele Conforti; Marlon Dumas; Marcello La Rosa; Daniel Reißner (BPM, 2018)

Online Conformance Checking Using Behavioural Patterns. - Andrea Burattin; Sebastiaan J. van Zelst; Abel Armas-Cervantes; Boudewijn F. van Dongen; Josep Carmona 001 (BPM, 2018)

Explaining Non-compliance of Business Process Models Through Automated Planning. - Fabrizio Maria Maggi; Andrea Marrella; Giuseppe Capezzuto; Abel Armas-Cervantes (ICSOC, 2018)

Discovering process maps from event streams. - Volodymyr Leno; Abel Armas-Cervantes; Marlon Dumas; Marcello La Rosa; Fabrizio Maria Maggi (ICSSP, 2018)

Local Concurrency Detection in Business Process Event Logs. - Abel Armas-Cervantes; Marlon Dumas; Marcello La Rosa; Abderrahmane Maaradji (ACM Trans. Internet Techn., 2019)

Process Model Repair. - Abel Armas-Cervantes (Encyclopedia of Big Data Technologies, 2019)

Efficient conditional compliance checking of business process models. - Heerko Groefsema; Nick R. T. P. van Beest; Abel Armas-Cervantes (Comput. Ind., 2020)

Efficient Conformance Checking using Alignment Computation with Tandem Repeats. - Daniel Reißner; Abel Armas-Cervantes; Marcello La Rosa (CoRR, 2020)

Scalable alignment of process models and event logs: An approach based on automata and S-components. - Daniel Reißner; Abel Armas-Cervantes; Raffaele Conforti; Marlon Dumas; Dirk Fahland; Marcello La Rosa (Inf. Syst., 2020)

Discovering Unseen Behaviour from Event Logs. - Abel Armas-Cervantes; Farbod Taymouri (Petri Nets, 2022)

Generalization in Automated Process Discovery: A Framework based on Event Log Patterns. - Daniel Reißner; Abel Armas-Cervantes; Marcello La Rosa (CoRR, 2022)

Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach. - Adriano Augusto; Abel Armas-Cervantes; Raffaele Conforti; Marlon Dumas; Marcello La Rosa (IEEE Trans. Knowl. Data Eng., 2022)

Visualising Healthcare Process Variability. - Hunter Chen Chen; Abel Armas-Cervantes; Vickie Irving; Brian Dorricott; Daniel Capurro (MedInfo, 2023)

From IoT Event Logs to Human Routines via Community Detection Algorithms. - Massimo Callisto De Donato; Fabrizio Fornari 001; Abel Armas-Cervantes (Business Process Management Workshops, 2024)

All Optimal k-Bounded Alignments Using the FM-Index. - Astrid Rivera-Partida; Abel Armas-Cervantes; Luciano García-Bañuelos; Luis Rodríguez-Flores (CoopIS, 2024)

Process Mining Benefits Model: A Preliminary Study. - Nungki Dian S. Darmayanti; Abel Armas-Cervantes; Sherah Kurnia; Arti Dian Nastiti (IC3INA, 2024)

Discovering Changes in Cell Stability Using Process Mining: A Case Study. - Johnson Zhou; Abel Armas-Cervantes; Zahra Dasht Bozorgi; Ellen Otte; Artem Polyvyanyy (ICPM, 2024)

Dusting for fingerprints: Tracking online student engagement. - Abel Armas-Cervantes; Ehsan Abedin; Farbod Taymouri (Comput. Educ. Artif. Intell., 2024)

Automated Business Process Analysis: An LLM-Based Approach to Value Assessment. - William De Michele; Abel Armas-Cervantes; Lea Frermann (CAiSE Forum, 2025)