Ponències/Comunicacions de congressos
Recent Submissions
-
A human-in-the-loop approach based on explainability to improve NTL detection
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference report
Open AccessImplementing 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
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference lecture
Open AccessTransition 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
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Conference report
Open AccessStreaming 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
(Springer, 2021)
Conference report
Open AccessA 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
(Association for Computing Machinery (ACM), 2021)
Conference report
Open AccessWe 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
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference report
Open AccessProcess 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
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference report
Open AccessA 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
(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 ...