A
Abel Armas-Cervantes
Researcher at University of Melbourne
Publications - 27
Citations - 485
Abel Armas-Cervantes is an academic researcher from University of Melbourne. The author has contributed to research in topics: Business process & Process mining. The author has an hindex of 10, co-authored 25 publications receiving 388 citations. Previous affiliations of Abel Armas-Cervantes include Queensland University of Technology & University of Tartu.
Papers
More filters
Proceedings ArticleDOI
Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs
TL;DR: This paper presents two improvements to existing landmark-based shortest path estimation methods that relate to the use of shortest-path trees (SPTs) and a new landmark selection strategy that seeks to maximize the coverage of all shortest paths by the selected landmarks.
Book ChapterDOI
Online conformance checking using behavioural patterns
Andrea Burattin,Sebastiaan J. van Zelst,Abel Armas-Cervantes,Boudewijn F. van Dongen,Josep Carmona +4 more
TL;DR: A generic framework for online conformance checking is presented, in which the underlying process is represented in terms of behavioural patterns and no assumption on the starting point of cases is needed, on the basis of Petri nets.
Book ChapterDOI
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures
TL;DR: This work addresses the problem of diagnosing behavioral differences between pairs of business process models by proposing a technique to reduce event duplication in an AES while preserving canonicity and proposing a notion of unfolding that captures all possible causes of each event in a cycle.
Book ChapterDOI
Scalable Conformance Checking of Business Processes
TL;DR: In this article, a log is converted into a deterministic automaton in a lossless manner, and the input process model is converted to another minimal automaton, and a minimal error-correcting synchronized product of both automata is calculated using an A* heuristic.
Journal ArticleDOI
Diagnosing behavioral differences between business process models
TL;DR: A technique for diagnosing behavioral differences between process models based on a translation from process models to event structures and relying on the theory of complete unfolding prefixes enables the diagnosis of behavioral differences in terms of activity repetition and causal relations that hold in one model but not in the other.