Abel Armas-Cervantes
Abel Armas-Cervantes
School of Computing and Information Systems, The University of Melbourne
Verifierad e-postadress på unimelb.edu.au
Titel
Citeras av
Citeras av
År
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
812011
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
402014
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
242016
Diagnosing Behavioral Differences between Business Process Models
A Armas-Cervantes
24*2015
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
20*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
192017
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
162016
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
15*2018
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
102018
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
92018
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
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
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
52018
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
52016
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
52014
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
32019
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
Automated compliance verification of business processes in apromore
H Groefsema, NR van Beest, A Armas-Cervantes
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with …, 2017
22017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20