Dr Abel Armas Cervantes

Biography

Abel Armas Cervantes is an associate lecturer at the School of Computing and Information Systems at The University of Melbourne. Previously he was a postdoctoral research fellow at the Queensland University of Technology, where he was part of the BPM Discipline, and a junior researcher at the University of Tartu, where he was part of the Software Engineering group. He obtained his PhD in Computer Science from the University of Tartu in 2015. He was recipient of a best student paper award and co-inventor of two US patent applications. His research areas of interest include business process management, process mining, and social network analysis.

Recent publications

  1. Augusto, A.; Armas-cervantes, A.; Conforti, R.; Dumas, M.; La Rosa, M.; Reissner, D. Abstract-and-compare: A family of scalable precision measures for automated process discovery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SpringerLink. 2018, Vol. 11080 LNCS, pp. 158-175. DOI: 10.1007/978-3-319-98648-7_10
  2. Dumas, MARLON. Discovering process maps from event streams. ACM International Conference Proceeding Series. Association for Computing Machinery (ACM). 2018, pp. 86-95. DOI: 10.1145/3202710.3203154
  3. Armas Cervantes, A.; Dumas, M.; La Rosa, M.; Maaradji, A. Local Concurrency Detection in Business Process Event Logs. ACM Transactions on Internet Technology. Association for Computing Machinery. 2018.
  4. Van Dongen, BF.; Carmona, J. Online conformance checking using behavioural patterns. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature Switzerland. 2018, Vol. 11080 LNCS, pp. 250-267. DOI: 10.1007/978-3-319-98648-7_15
  5. Armas-cervantes, A. Automated compliance verification of business processes in apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2017, Vol. 1920.
  6. La Rosa, M. Incremental and interactive business process model repair in apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2017, Vol. 1920.
  7. Armas Cervantes, A.; Van Beest, NRTP.; La Rosa, M.; Dumas, M.; García-bañuelos, L. Interactive and incremental business process model repair. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2017, Vol. 10573 LNCS, pp. 53-74. DOI: 10.1007/978-3-319-69462-7_5
  8. Reißner, D.; Conforti, R.; Dumas, M.; La Rosa, M.; Armas-cervantes, A. Scalable conformance checking of business processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2017, Vol. 10573 LNCS, pp. 607-627. DOI: 10.1007/978-3-319-69462-7_38
  9. Armas-cervantes, A.; Van Beest, NRTP.; Dumas, M.; García-bañuelos, L.; Rosa, ML. Behavior-based process comparison in Apromore. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2016, Vol. 1789, pp. 34-38.
  10. Armas-cervantes, A.; Baldan, P.; Dumas, M.; Garcia-banuelos, L. Diagnosing behavioral differences between business process models: An approach based on event structures. Information Systems. PERGAMON-ELSEVIER SCIENCE LTD. 2016, Vol. 56, pp. 304-325. DOI: 10.1016/j.is.2015.09.009
  11. Polyvyanyy, A.; Armas-cervantes, A.; Dumas, M.; Garcia-banuelos, L. On the expressive power of behavioral profiles. Formal Aspects of Computing. SPRINGER. 2016, Vol. 28, Issue 4, pp. 597-613. DOI: 10.1007/s00165-016-0372-4
  12. Armas-cervantes, A.; Dumas, M.; Polyvyanyy, A. On the suitability of generalized behavioral profiles for process model comparison. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. 2016, Vol. 9421, pp. 13-28. DOI: 10.1007/978-3-319-33612-1_2
  13. Armas-cervantes, A.; Baldan, P.; Garcia-banuelos, L. Reduction of event structures under history preserving bisimulation. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC. 2016, Vol. 85, Issue 6, pp. 1110-1130. DOI: 10.1016/j.jlamp.2015.10.004
  14. Armas-cervantes, A.; Baldan, P.; Dumas, M.; Garcia-banuelos, L. Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2014, Vol. 8659, pp. 267-282. DOI: 10.1007/978-3-319-10172-9_17
  15. Dumas, M. BP-Diff: A tool for behavioral comparison of business process models. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2014, Vol. 1295, pp. 1-5.
  16. Dumas, M.; García-bañuelos, L.; Armas-cervantes, A. Event structures as a foundation for process model differencing, Part 1: Acyclic processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. 2013, Vol. 7843 LNCS, pp. 69-86. DOI: 10.1007/978-3-642-38230-7_5
  17. . Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. International Conference on Information and Knowledge Management, Proceedings. 2011, pp. 1785-1794. DOI: 10.1145/2063576.2063834

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile