default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbel Armas-Cervantes
Person information
- affiliation: University of Melbourne, School of Computing and Information Systems, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Abel Armas-Cervantes, Ehsan Abedin
, Farbod Taymouri:
Dusting for fingerprints: Tracking online student engagement. Comput. Educ. Artif. Intell. 6: 100232 (2024)- [c17]Johnson Zhou, Abel Armas-Cervantes, Zahra Dasht Bozorgi, Ellen Otte, Artem Polyvyanyy:
Discovering Changes in Cell Stability Using Process Mining: A Case Study. ICPM 2024: 65-72 - 2023
- [c16]Hunter Chen Chen, Abel Armas-Cervantes, Vickie Irving, Brian Dorricott, Daniel Capurro:
Visualising Healthcare Process Variability. MedInfo 2023: 790-794 - 2022
- [j7]Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa:
Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach. IEEE Trans. Knowl. Data Eng. 34(4): 1870-1888 (2022) - [c15]Abel Armas-Cervantes, Farbod Taymouri:
Discovering Unseen Behaviour from Event Logs. Petri Nets 2022: 23-42 - [i5]Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa:
Generalization in Automated Process Discovery: A Framework based on Event Log Patterns. CoRR abs/2203.14079 (2022) - 2020
- [j6]Heerko Groefsema, N. R. T. P. van Beest, Abel Armas-Cervantes:
Efficient conditional compliance checking of business process models. Comput. Ind. 115: 103181 (2020) - [j5]Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa:
Scalable alignment of process models and event logs: An approach based on automata and S-components. Inf. Syst. 94: 101561 (2020) - [i4]Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa:
Efficient Conformance Checking using Alignment Computation with Tandem Repeats. CoRR abs/2004.01781 (2020)
2010 – 2019
- 2019
- [j4]Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji:
Local Concurrency Detection in Business Process Event Logs. ACM Trans. Internet Techn. 19(1): 16:1-16:23 (2019) - [r1]Abel Armas-Cervantes:
Process Model Repair. Encyclopedia of Big Data Technologies 2019 - [i3]Daniël Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa:
Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components. CoRR abs/1910.09767 (2019) - 2018
- [c14]Adriano Augusto, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Daniel Reißner:
Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery. BPM 2018: 158-175 - [c13]Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona:
Online Conformance Checking Using Behavioural Patterns. BPM 2018: 250-267 - [c12]Fabrizio Maria Maggi, Andrea Marrella, Giuseppe Capezzuto, Abel Armas-Cervantes:
Explaining Non-compliance of Business Process Models Through Automated Planning. ICSOC 2018: 181-197 - [c11]Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi:
Discovering process maps from event streams. ICSSP 2018: 86-95 - [i2]Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi:
Discovering Process Maps from Event Streams. CoRR abs/1804.02704 (2018) - 2017
- [c10]Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Simon Raboczi:
Incremental and Interactive Business Process Model Repair in Apromore. BPM (Demos) 2017 - [c9]Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes:
Automated Compliance Verification of Business Processes in Apromore. BPM (Demos) 2017 - [c8]Abel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos:
Interactive and Incremental Business Process Model Repair. OTM Conferences (1) 2017: 53-74 - [c7]Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes:
Scalable Conformance Checking of Business Processes. OTM Conferences (1) 2017: 607-627 - 2016
- [j3]Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos:
On the expressive power of behavioral profiles. Formal Aspects Comput. 28(4): 597-613 (2016) - [j2]Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos:
Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56: 304-325 (2016) - [j1]Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
Reduction of event structures under history preserving bisimulation. J. Log. Algebraic Methods Program. 85(6): 1110-1130 (2016) - [c6]Abel Armas-Cervantes, N. R. T. P. van Beest, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa:
Behavior-based Process Comparison in Apromore. BPM (Demos) 2016: 34-38 - 2015
- [c5]Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy:
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison. WS-FM 2015: 13-28 - 2014
- [c4]Abel Armas, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos:
BP-Diff: A Tool for Behavioral Comparison of Business Process Models. BPM (Demos) 2014: 1 - [c3]Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano García-Bañuelos:
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM 2014: 267-282 - [i1]Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
Reduction of Event Structures under History Preserving Bisimulation. CoRR abs/1403.7181 (2014) - 2012
- [c2]Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas:
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes. WS-FM 2012: 69-86 - 2011
- [c1]Konstantin Tretyakov, Abel Armas-Cervantes, Luciano García-Bañuelos, Jaak Vilo, Marlon Dumas:
Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs. CIKM 2011: 1785-1794
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-02 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
