El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica (vegeu http://albcom.cs.upc.edu/ per a més detalls). La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, tal com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.

El grupo de investigación ALBCOM une 19 reconocidos investigadores en métodos formales; diseño, automatización y verificación de VLSI; algoritmos y complejidad; bioinformática (véase http://albcom.cs.upc.edu/ para más detalles). La investigación que se realiza a ALBCOM tiene un importante prestigio en la comunidad científica internacional, debido a la calidad de su investigación, tal como muestran sus publicaciones, y a la actividad en proyectos de investigación y de transferencia de tecnología con empresas e instituciones del sector.

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Adaptive logspace reducibility and parallel time 

    Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Jenner, Birgit (1991-11)
    External research report
    Open Access
    We discuss two notions of functional oracle for logarithmic space-bounded machines, which differ in whether there is only one oracle tape for both the query and the answer or a separate tape for the answer, which can still ...
  • 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 ...
  • 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 ...
  • The design of a parallel algorithm to solve the word problem for the free partially commutative groups 

    Gabarró Vallès, Joaquim (1991-10-15)
    External research report
    Open Access
    We develop a parallel algorithm to solve the word problem for free partially commutative groups. These groups were introduced by C. Wrathall to generalize free groups. We represent the elements of these groups as a certain ...

View more