Recent Submissions

  • CC4Spark: Distributing event logs and big complex conformance checking problems 

    Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona Vargas, Josep (CEUR-WS.org, 2021)
    Conference report
    Open Access
    Conformance 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 

    Quishpi Betún, Luis Hernán; Carmona Vargas, Josep; Padró, Lluís (Springer, 2020)
    Conference report
    Open Access
    The 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 

    Atserias, Albert; Kolaitis, Phokion (Association for Computing Machinery (ACM), 2021)
    Conference report
    Open Access
    Since 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 

    Galanti, Riccardo; Coma Puig, Bernat; de Leoni, Massimiliano; Carmona Vargas, Josep; Navarin, Nicolò (Institute of Electrical and Electronics Engineers (IEEE), 2020)
    Conference report
    Open Access
    Predictive 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 

    Carmona Vargas, Josep; Weidlich, Matthias; Dongen, Boudewijn F. van (Springer, 2019)
    Conference report
    Open Access
    Conformance 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 

    Díaz Cort, Josep; Yasar Diner, Oznur; Serna Iglesias, María José; Serra Albó, Oriol (Springer, 2020)
    Conference report
    Open Access
    List 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 

    Llabrés Segura, Mercè; Rosselló Llompart, Francesc A.; Valiente Feruglio, Gabriel Alejandro (Association for Computing Machinery (ACM), 2020)
    Conference report
    Open Access
    Cancer 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 

    Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa (Springer, 2020)
    Conference report
    Open Access
    In 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 

    Quishpi Betún, Luis Hernán; Carmona Vargas, Josep; Padró, Lluís (Springer, 2020)
    Conference report
    Open Access
    Organizations 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 

    Taymouri, Farbod; La Rosa, Marcello; Carmona Vargas, Josep (Springer, 2020)
    Conference report
    Open Access
    Comparing 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 

    Álvarez Faura, M. del Carme; Messegué Buisan, Arnau (Springer, 2019)
    Conference report
    Open Access
    We 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 

    López Cuenca, Francisco Anselmo; Sánchez Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2019)
    Conference report
    Open Access
    The 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 ...

View more