Abel Armas-Cervantes
Abel Armas-Cervantes
School of Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au
Title
Cited by
Cited by
Year
Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs
K Tretyakov, A Armas-Cervantes, L García-Bañuelos, J Vilo, M Dumas
Proceedings of the 20th ACM international conference on Information and …, 2011
872011
Behavioral comparison of process models based on canonically reduced event structures
A Armas-Cervantes, P Baldan, M Dumas, L García-Bañuelos
International Conference on Business Process Management, 267-282, 2014
412014
Interactive and incremental business process model repair
AA Cervantes, NRTP van Beest, M La Rosa, M Dumas, ...
OTM Confederated International Conferences" On the Move to Meaningful …, 2017
28*2017
Diagnosing behavioral differences between business process models: An approach based on event structures
A Armas-Cervantes, P Baldan, M Dumas, L Garcia-Bañuelos
Information systems 56, 304-325, 2016
282016
Diagnosing Behavioral Differences between Business Process Models
A Armas-Cervantes
28*2015
Scalable conformance checking of business processes
D Reißner, R Conforti, M Dumas, M La Rosa, A Armas-Cervantes
OTM Confederated International Conferences" On the Move to Meaningful …, 2017
272017
On the expressive power of behavioral profiles
A Polyvyanyy, A Armas-Cervantes, M Dumas, L García-Bañuelos
Formal Aspects of Computing 28 (4), 597-613, 2016
202016
Online conformance checking using behavioural patterns
A Burattin, SJ van Zelst, A Armas-Cervantes, BF van Dongen, J Carmona
International Conference on Business Process Management, 250-267, 2018
182018
Discovering process maps from event streams
V Leno, A Armas-Cervantes, M Dumas, M La Rosa, FM Maggi
Proceedings of the 2018 International Conference on Software and System …, 2018
162018
and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery
A Augusto, A Armas-Cervantes, R Conforti, M Dumas, M La Rosa, ...
International Conference on Business Process Management, 158-175, 2018
122018
Processing search queries using a data structure
K Tretjakov, L García-Bañuelos, A Armas-Cervantes, J Vilo, MG Dumas
US Patent 8,521,724, 2013
92013
BP-Diff: A Tool for Behavioral Comparison of Business Process Models
A Armas-Cervantes, P Baldan, M Dumas, L Garcıa-Banuelos
Proceedings of the BPM Demo Sessions, 1-6, 2014
82014
Processing search queries in a network of interconnected nodes
K Tretjakov, L Garcia-Bañuelos, A Armas-Cervantes, J Vilo, MG Dumas
US Patent 8,527,503, 2013
82013
Event structures as a foundation for process model differencing, part 1: acyclic processes
A Armas-Cervantes, L García-Bañuelos, M Dumas
International Workshop on Web Services and Formal Methods, 69-86, 2012
72012
Explaining non-compliance of business process models through automated planning
FM Maggi, A Marrella, G Capezzuto, AA Cervantes
International Conference on Service-Oriented Computing, 181-197, 2018
62018
Reduction of event structures under history preserving bisimulation
A Armas-Cervantes, P Baldan, L García-Bañuelos
Journal of Logical and Algebraic Methods in Programming 85 (6), 1110-1130, 2016
62016
On the suitability of generalized behavioral profiles for process model comparison
A Armas-Cervantes, M Dumas, L García-Bañuelos, A Polyvyanyy
International Workshop on Web Services and Formal Methods, 13-28, 2014
62014
Measuring fitness and precision of automatically discovered process models: a principled and scalable approach
A Augusto, A Armas Cervantes, R Conforti, M Dumas, M La Rosa, ...
Technical report, University of Melbourne, 2019
42019
Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components
D Reißner, A Armas-Cervantes, R Conforti, M Dumas, D Fahland, ...
arXiv preprint arXiv:1910.09767, 2019
22019
Local concurrency detection in business process event logs
A Armas-Cervantes, M Dumas, ML Rosa, A Maaradji
ACM Transactions on Internet Technology (TOIT) 19 (1), 16, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20