Ponències/Comunicacions de congressos
Recent Submissions
-
CC4Spark: Distributing event logs and big complex conformance checking problems
(CEUR-WS.org, 2021)
Conference report
Open AccessConformance checking is one of the disciplines that best exposes the power of process mining, since it allows detecting anomalies and deviations in business processes, helping to assess and improve the quality of these. ... -
Improving the extraction of process annotations from text with inter-sentence analysis
(Springer, 2020)
Conference report
Open AccessThe automatic extraction of formal process information from textual descriptions of processes is a challenging problem, but worth exploring, since it enables organizations to align complementary information that talks about ... -
Structure and complexity of bag consistency
(Association for Computing Machinery (ACM), 2021)
Conference report
Open AccessSince the early days of relational databases, it was realized that acyclic hypergraphs give rise to database schemas with desirable structural and algorithmic properties. In a by-now classical paper, Beeri, Fagin, Maier, ... -
Explainable predictive process monitoring
(Institute of Electrical and Electronics Engineers (IEEE), 2020)
Conference report
Open AccessPredictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business ... -
Actionable conformance checking: from intuitions to code
(Springer, 2019)
Conference report
Open AccessConformance checking is receiving increasing attention in the last years. This is due to several reasons, that can be summarized into two: the explosion of digital information that talks about processes, and the need to ... -
On list k-coloring convex bipartite graphs
(Springer, 2020)
Conference report
Open AccessList k–Coloring (LI k-COL) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..., k}. The problem is known to be NP-hard ... -
A generalized Robinson-Foulds distance for clonal trees, mutation trees, and phylogenetic trees and networks
(Association for Computing Machinery (ACM), 2020)
Conference report
Open AccessCancer evolution is often modeled by clonal trees (whose nodes are labeled by multiple somatic mutations) or mutation trees (where nodes are labeled by single somatic mutations). Clonal trees are generated from sequence ... -
Incremental concurrent model synchronization using triple graph grammars
(Springer, 2020)
Conference report
Open AccessIn the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views, dynamic behavior, structure, distributed information, etc. Then, maintaining ... -
Extracting annotations from textual descriptions of processes
(Springer, 2020)
Conference report
Open AccessOrganizations often have textual descriptions as a way to document their main processes. These descriptions are primarily used by the company’s personnel to understand the processes, specially for those ones that cannot ... -
Business process variant analysis based on mutual fingerprints of event logs
(Springer, 2020)
Conference report
Open AccessComparing business process variants using event logs is a common use case in process mining. Existing techniques for process variant analysis detect statistically-significant differences between variants at the level of ... -
On the price of anarchy for high-price links
(Springer, 2019)
Conference report
Open AccessWe study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant, Luthra, Maneva, Papadimitriou and Shenker in 2003. This is a selfish network creation model where ... -
From process models to chatbots
(Springer, 2019)
Conference report
Open AccessThe effect of digital transformation in organizations needs to go beyond automation, so that human capabilities are also augmented. A possibility in this direction is to make formal representations of processes more ...
RSS 1.0