Abel Armas-Cervantes

36 papers A 5B 4Journal 15Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automated Business Process Analysis: An LLM-Based Approach to Value Assessment. CAiSE Forum William De Michele, Abel Armas-Cervantes, Lea Frermann
2025	J	`jnl`	Automated Business Process Analysis: An LLM-Based Approach to Value Assessment. CoRR William De Michele, Abel Armas-Cervantes, Lea Frermann
2025	J	`jnl`	Measuring and visualizing healthcare process variability. J. Biomed. Informatics Pengfei Yin, Abel Armas-Cervantes, Daniel Capurro
2024	B	`conf`	All Optimal k-Bounded Alignments Using the FM-Index. CoopIS Astrid Rivera-Partida, Abel Armas-Cervantes, Luciano García-Bañuelos, Luis Rodríguez-Flores
2024	B	`conf`	Discovering Changes in Cell Stability Using Process Mining: A Case Study. ICPM Johnson Zhou, Abel Armas-Cervantes, Zahra Dasht Bozorgi, Ellen Otte, Artem Polyvyanyy
2024	J	`jnl`	Dusting for fingerprints: Tracking online student engagement. Comput. Educ. Artif. Intell. Abel Armas-Cervantes, Ehsan Abedin, Farbod Taymouri
2024	—	`conf`	From IoT Event Logs to Human Routines via Community Detection Algorithms. Business Process Management Workshops Massimo Callisto De Donato, Fabrizio Fornari, Abel Armas-Cervantes
2024	—	`conf`	Process Mining Benefits Model: A Preliminary Study. IC3INA Nungki Dian S. Darmayanti, Abel Armas-Cervantes, Sherah Kurnia, Arti Dian Nastiti
2023	—	`conf`	Visualising Healthcare Process Variability. MedInfo Hunter Chen Chen, Abel Armas-Cervantes, Vickie Irving, Brian Dorricott, Daniel Capurro
2022	B	`conf`	Discovering Unseen Behaviour from Event Logs. Petri Nets Abel Armas-Cervantes, Farbod Taymouri
2022	J	`jnl`	Generalization in Automated Process Discovery: A Framework based on Event Log Patterns. CoRR Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa
2022	J	`jnl`	Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach. IEEE Trans. Knowl. Data Eng. Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa
2020	J	`jnl`	Efficient Conformance Checking using Alignment Computation with Tandem Repeats. CoRR Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa
2020	J	`jnl`	Efficient conditional compliance checking of business process models. Comput. Ind. Heerko Groefsema, Nick R. T. P. van Beest, Abel Armas-Cervantes
2020	J	`jnl`	Scalable alignment of process models and event logs: An approach based on automata and S-components. Inf. Syst. Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa
2019	J	`jnl`	Local Concurrency Detection in Business Process Event Logs. ACM Trans. Internet Techn. Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji
2019	—	`ch.`	Process Model Repair. Encyclopedia of Big Data Technologies Abel Armas-Cervantes
2019	J	`jnl`	Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components. CoRR Daniël Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa
2018	A	`conf`	Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery. BPM Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Daniel Reißner
2018	J	`jnl`	Discovering Process Maps from Event Streams. CoRR Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi
2018	B	`conf`	Discovering process maps from event streams. ICSSP Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi
2018	A	`conf`	Explaining Non-compliance of Business Process Models Through Automated Planning. ICSOC Fabrizio Maria Maggi, Andrea Marrella, Giuseppe Capezzuto, Abel Armas-Cervantes
2018	A	`conf`	Online Conformance Checking Using Behavioural Patterns. BPM Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona
2017	—	`conf`	Automated Compliance Verification of Business Processes in Apromore. BPM (Demos) Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes
2017	—	`conf`	Incremental and Interactive Business Process Model Repair in Apromore. BPM (Demos) Abel Armas-Cervantes, Nick R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Simon Raboczi
2017	—	`conf`	Interactive and Incremental Business Process Model Repair. OTM Conferences (1) Abel Armas-Cervantes, Nick R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos
2017	—	`conf`	Scalable Conformance Checking of Business Processes. OTM Conferences (1) Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes
2016	—	`conf`	Behavior-based Process Comparison in Apromore. BPM (Demos) Abel Armas-Cervantes, Nick R. T. P. van Beest, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa
2016	J	`jnl`	Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
2016	J	`jnl`	On the expressive power of behavioral profiles. Formal Aspects Comput. Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos
2016	J	`jnl`	Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
2015	—	`conf`	On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. WS-FM Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy
2014	A	`conf`	Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos
2014	J	`jnl`	Reduction of Event Structures under History Preserving Bisimulation. CoRR Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos
2012	—	`conf`	Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. WS-FM Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas
2011	A	`conf`	Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. CIKM Konstantin Tretyakov, Abel Armas-Cervantes, Luciano García-Bañuelos, Jaak Vilo, Marlon Dumas