Follow
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
1152011
Interactive and incremental business process model repair
A Armas Cervantes, NRTP van Beest, M La Rosa, M Dumas, ...
OTM Confederated International Conferences" On the Move to Meaningful …, 2017
77*2017
Online conformance checking using behavioural patterns
A Burattin, SJ Zelst, A Armas-Cervantes, BF Dongen, J Carmona
International Conference on Business Process Management, 250-267, 2018
762018
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
592017
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
522014
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
402016
Diagnosing Behavioral Differences between Business Process Models
A Armas-Cervantes
40*2015
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
372016
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
IEEE Transactions on Knowledge and Data Engineering 34 (4), 1870-1888, 2020
362020
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
262018
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, ...
Information Systems 94, 101561, 2020
242020
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
242018
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), 1-23, 2019
182019
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
142016
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
112013
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
102018
Efficient conditional compliance checking of business process models
H Groefsema, N van Beest, A Armas-Cervantes
Computers in Industry 115, 103181, 2020
92020
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
92014
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
92013
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
92012
The system can't perform the operation now. Try again later.
Articles 1–20