Recent Submissions

  • Refining indeterministic choice: Imprecise probabilities and strategic thinking 

    Castro Rabal, Jorge; Gabarró Vallès, Joaquim; Serna Iglesias, María José (2020-11)
    Article
    Open Access
    Often, uncertainty is present in processes that are part of our routines. Having tools to understand the consequences of unpredictability is convenient. We introduce a general framework to deal with uncertainty in the realm ...
  • A navigational logic for reasoning about graph properties 

    Navarro Gómez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2021-01)
    Article
    Restricted access - publisher's policy
    Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to ...
  • Alignment of biological networks by integer linear programming: virus-host protein-protein interaction networks 

    Llabrés Segura, Mercè; Riera Roca, Gabriel; Rosselló Llompart, Francesc A.; Valiente Feruglio, Gabriel Alejandro (2020-11-18)
    Article
    Open Access
    Background: The alignment of protein-protein interaction networks was recently formulated as an integer quadratic programming problem, along with a linearization that can be solved by integer linear programming software ...
  • AligNet: alignment of protein-protein interaction networks 

    Alcala Mena, Adrià; Alberich Martí, Ricardo; Llabrés Segura, Mercè; Rosselló Llompart, Francesc A.; Valiente Feruglio, Gabriel Alejandro (2020-11-18)
    Article
    Open Access
    Background: All molecular functions and biological processes are carried out by groups of proteins that interact with each other. Metaproteomic data continuously generates new proteins whose molecular functions and relations ...
  • Optimized SAT encoding of conformance checking artefacts 

    Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (2020-07-08)
    Article
    Restricted access - publisher's policy
    Conformance checking is a growing discipline that aims at assisting organizations in monitoring their processes. On its core, conformance checking relies on the computation of particular artefacts which enable reasoning ...
  • Computing alignments of well-formed process models using local search 

    Taymouri, Farbod; Carmona Vargas, Josep (2020-05)
    Article
    Open Access
    The alignment of observed and modeled behavior is an essential element for organizations, since it opens the door for conformance checking and enhancement of processes. The state-of-the-art technique for computing alignments ...
  • Flexible process model mapping using relaxation labeling 

    Delicado Alcántara, Luis; Carmona Vargas, Josep; Padró, Lluís (2020-09-28)
    Article
    Open Access
    Computing a mapping between two process models is a crucial technique, since it enables reasoning and operating across processes, like providing a similarity score between two processes, or merging different process variants ...
  • Learning random points from geometric graphs or orderings 

    Díaz Cort, Josep; Mcdiarmid, Colin; Mitsche, Dieter (2020-09)
    Article
    Restricted access - publisher's policy
    Let Xv for v∈V be a family of n iid uniform points in the square (Formula presented.). Suppose first that we are given the random geometric graph (Formula presented.), where vertices u and v are adjacent when the Euclidean ...
  • Taller de programación Android 

    Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Hernández Pibernat, Hugo; Serna Iglesias, María José (Asociación de Técnicos de Informática, 2011-11)
    Article
    Open Access
    Mediante el programa Google EMEA's AndroidEDU, la Universirat Politècnica de Catalunya ha impartido, desde febrero de 2010, un novedoso taller de programación para Android. Durante diez semanas se tratan diferentes temas ...
  • Supporting the process of learning and teaching process models 

    Sánchez Ferreres, Josep; Delicado Alcántara, Luis; Andaloussi, Amine Abbad; Burattin, Andrea; Calderón Ruiz, Guillermo; Weber, Barbara; Carmona Vargas, Josep; Padró, Lluís (2020-03-30)
    Article
    Restricted access - publisher's policy
    The creation of a process model faces the challenge of constructing a syntactically correct entity which accurately reflects the semantics of the reality, and is understandable. This paper proposes a framework called ...
  • Some subsystems of constant-depth Frege with parity 

    Garlik, Michal; Kolodziejczyk, Andrzej (2018-11)
    Article
    Open Access
    We consider three relatively strong families of subsystems of AC0[2]-Frege proof systems, i.e., propositional proof systems using constant-depth formulas with an additional parity connective, for which exponential lower ...
  • A tour in process mining: from practice to algorithmic challenges 

    Van der Aalst, Wil M.P.; Carmona Vargas, Josep; Chatain, Thomas; Dongen, Boudewijn F. van (2019-11-01)
    Article
    Open Access
    Process mining seeks the confrontation between modeled behavior and observed behavior. In recent years, process mining techniques managed to bridge the gap between traditional model-based process analysis (e.g., simulation ...

View more