Abel Armas-Cervantes
Abel Armas-Cervantes
School of Computing and Information Systems, The University of Melbourne
Email verificata su unimelb.edu.au
Titolo
Citata da
Citata da
Anno
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
1032011
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
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
362017
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
34*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
322016
Diagnosing Behavioral Differences between Business Process Models
A Armas-Cervantes
32*2015
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
262018
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
242016
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
172018
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
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
Measuring fitness and precision of automatically discovered process models: A principled and scalable approach
A Augusto, R Conforti, A Armas-Cervantes, M Dumas, M La Rosa
IEEE Transactions on Knowledge and Data Engineering, 2020
82020
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
82012
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
72014
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
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
52020
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
52019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20