Seguir
Abel Armas-Cervantes
Abel Armas-Cervantes
School of Computing and Information Systems, The University of Melbourne
Dirección de correo verificada de unimelb.edu.au
Título
Citado por
Citado por
Año
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
1142011
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
732018
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
73*2017
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
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
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
372016
Diagnosing Behavioral Differences between Business Process Models
A Armas-Cervantes
37*2015
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
312020
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
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
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
212020
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
172019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20