Recent Submissions

  • A human-in-the-loop approach based on explainability to improve NTL detection 

    Coma Puig, Bernat; Carmona Vargas, Josep (Institute of Electrical and Electronics Engineers (IEEE), 2021)
    Conference report
    Open Access
    Implementing systems based on Machine Learning to detect fraud and other Non-Technical Losses (NTL) is challenging: the data available is biased, and the algorithms currently used are black-boxes that cannot be either ...
  • Decomposition of transition systems into sets of synchronizing state machines 

    Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2021)
    Conference lecture
    Open Access
    Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is ...
  • Towards a dynamic pipeline framework implemented in (parallel) Haskell 

    Royo Sales, Juan Pablo; Pasarella Sánchez, Ana Edelmira; Zoltán, Cristina; Vidal Serodio, Maria Esther (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
    Conference report
    Open Access
    Streaming processing has given rise to new computation paradigms to provide effective and efficient data stream processing. The most important features of these new paradigms are the exploitation of parallelism, the capacity ...
  • On bipartite sum basic equilibria 

    Álvarez Faura, M. del Carme; Messegué Buisan, Arnau (Springer, 2021)
    Conference report
    Restricted access - publisher's policy
    A connected and undirected graph G of size n≥1 is said to be a sum basic equilibrium iff for every edge uv from G and any node v′ from G, when performing the swap of the edge uv for the edge uv′ the sum of the ...
  • Forward and backward linear threshold ranks 

    Blesa Aguilera, Maria Josep; García Rodríguez, Pau; Serna Iglesias, María José (Association for Computing Machinery (ACM), 2021)
    Conference report
    Open Access
    We propose the FwLTR and BwLTR, two new centrality measures based on the Linear Threshold model. In contrast to the Linear Threshold rank (LTR), these measures differentiate between the incoming and the outgoing neighborhoods ...
  • An A*-algorithm for computing discounted anti-alignments in process mining 

    Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Institute of Electrical and Electronics Engineers (IEEE), 2021)
    Conference report
    Open Access
    Process mining techniques aim at analyzing and monitoring processes through event data. Formal models like Petri nets serve as an effective representation of the processes. A central question in the field is to assess the ...
  • On the expressive power of homomorphism counts 

    Atserias, Albert; Kolaitis, Phokion; Wu, Wei-Lin (Institute of Electrical and Electronics Engineers (IEEE), 2021)
    Conference report
    Open Access
    A classical result by Lovász asserts that two graphs G and H are isomorphic if and only if they have the same left profile, that is, for every graph F, the number of homomorphisms from F to G coincides with the number of ...
  • 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 ...

View more