• Publications
  • Influence
An environment for mophosyntactic processing of unrestricted Spanish text
A fast, broad-coverage, accurate morphological analyzer for Spanish words, MACO+, which is an extended and improved version of that described in (Acebo et al., 1994), which is currently being used to annotate the LexEsp corpus.
Morphosyntactic analysis and parsing of unrestricted Spanish text
This on{line demonstration is about an environment for massive processing of unrestricted Spanish text that consists of three stages: morphological analysis, POS disambiguation and parsing, which enables visualization and analysis of intermediate results.
An SMT-based discovery algorithm for C-nets
This paper proposes an algorithm to discover a causal net from a set of traces based on encoding the problem as a Satisfiability Modulo Theories (SMT) formula, and uses a binary search strategy to optimize the derived model.
Performance-preserving clustering of elastic controllers
A method for reducing the complexity of the control layer by clustering controllers with similar functionality and taking into account layout information is proposed, thus avoiding optimizations that can be physically unfeasible.
Amending C-net discovery algorithms
This paper describes an algorithm that can be applied as a second step to any discovery technique to significantly improve the quality of the final Causal net derived.
An environment for the automatic verification of digital circuits
The aim of this project is to implement a system for the automatic verification of digital circuits written in a high-level hardware description language (Verilog), to be potentially used to assist a
Model-Agnostic Process Modeling Master Thesis
Modeling techniques in Business Process Management (BPM) often suffer from low adoption due to the variety of profiles found in organizations. This project aims to provide a novel alternative to BPM
Logic synthesis of handshake components using structural clustering techniques
A methodology to optimize handshake circuits is presented. The approach selects clusters of the initial handshake network for which signals representing internal channels within a cluster are hidden.
A High-level strategy for C-net discovery
A high-level strategy is presented, which uses appropriate clustering techniques to split the log into pieces, and benefits from the additive nature of causal nets, and allows amalgamating structurally the discovered Causal net of each piece to derive a valuable model.
Decomposed process discovery and conformance checking
The term decomposed in the two definitions is mainly describing the way the two problems are tackled operationally, to face their computational complexity by splitting the initial problem into smaller problems that can be solved individually and often more efficiently.