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

  • Accelerating the k-Means++ algorithm by using geometric information 

    Rodríguez i Corominas, Guillem; Blesa Aguilera, Maria Josep; Blum, Christian Clemens (Institute of Electrical and Electronics Engineers (IEEE), 2025-04-16)
    Article
    Open Access
    Clustering is a fundamental task in data analysis with applications across a wide range of fields, such as computer vision, pattern recognition, and data mining. Real-world use cases include social network analysis, medical ...
  • Weightedness measures from inequality systems 

    Albareda Sambola, Maria; Molinero Albareda, Xavier; Roura Ferret, Salvador (2025-07)
    Article
    Restricted access - publisher's policy
    A simple game is a cooperative game where some coalitions among players or voters became the (monotonic) set of winning coalitions, and the other ones form the set of losing coalitions. It is well-known that weighted voting ...
  • Take the challenge: compute the CO2e emissions of your programming course 

    Gabarró Vallès, Joaquim; Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Serna Iglesias, María José (Universitat Politècnica de València, 2023)
    Conference report
    Open Access
    Sustainability constraints ask for quick and drastic changes in the ways to teach at university. Here we study the amount of carbon emissions of lecturing a first course in programming. In addition to fix costs estimations, ...
  • Nash’s bargaining problem and the scale-invariant Hirsch citation index 

    Freixas Bosch, Josep; Hoerl, Roger; Zwicker, William (2025-03-23)
    Article
    Open Access
    A number of citation indices have been proposed for measuring and ranking the research publication records of scholars. Some of the best known indices, such as those proposed by Hirsch and Woeginger, are designed to reward ...
  • La tipografía como herramienta para la optometría 

    Balius Planelles, Andreu; Tàpias Anton, Montserrat; Molinero Albareda, Xavier; Álvarez Muñoz, José Luis (2024-11-18)
    Article
    Open Access
    La evaluación visual en gabinetes optométricos se centra en medir la agudeza visual usando optotipos como el anillo de Landolt y las letras de Sloan. Este artículo resalta la importancia de tener optotipos en forma de ...
  • QuickEd: high-performance exact sequence alignment based on bound-and-align 

    Doblas Font, Max; Lostes Cazorla, Óscar; Aguado Puig, Quim; Iñiguez Rodríguez, Cristian; Moretó Planas, Miquel; Marco Sola, Santiago (Oxford University Press, 2025-03-04)
    Article
    Open Access
    Motivation: Pairwise sequence alignment is a core component of multiple sequencing-data analysis tools. Recent advancements in sequencing technologies have enabled the generation of longer sequences at a much lower price. ...
  • The semantics of GQL-like path queries 

    Orejas Valdés, Fernando; Pino Blanco, Elvira (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2024)
    Conference report
    Open Access
    The success of graph databases (GDBs) has caused the development of several dozens of GDB products by companies like Neo4j, Oracle, Amazon, IBM or SAP. In parallel, several graph query languages have been designed for ...
  • Thresholds as mechanisms for weighting influence in the linear threshold rank 

    Blesa Aguilera, Maria Josep; Dominguez Besserer, Alejandro; Serna Iglesias, María José (Springer, 2024)
    Conference report
    Restricted access - publisher's policy
    Social networks are the natural space for the spreading of information and influence and have become a media themselves. Several models capturing that diffusion process have been proposed, most of them based on the Independent ...
  • Area-driven Boolean bi-decomposition by function approximation 

    Bernasconi, Anna; Ciriani, Valentina; Cortadella, Jordi; Costa, Marco; Villa, Tiziano (Association for Computing Machinery (ACM), 2025-01)
    Article
    Open Access
    Bi-decomposition rewrites logic functions as the composition of simpler components. It is related to Boolean division, where a given function is rewritten as the product of a divisor and a quotient, but bi-decomposition ...
  • MaxSAT resolution with inclusion redundancy 

    Bonacina, Ilario; Bonet Carbonell, M. Luisa; Lauria, Massimo (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024)
    Conference report
    Open Access
    Popular redundancy rules for SAT are not necessarily sound for MaxSAT. The works of [Bonacina-Bonet-Buss-Lauria’24] and [Ihalainen-Berg-Järvisalo’22] proposed ways to adapt them, but required specific encodings and more ...
  • Unbiased similarity estimators using samples 

    Martínez Parra, Conrado; Viola Deambrosis, Alfredo; Wang, Jun (Springer, 2023)
    Conference report
    Open Access
    Computing a similarity measure (or a distance) between two complex objects is a fundamental building block for a huge number of applications in a wide variety of domains. Since many tasks involve computing such similarities ...
  • 3D decision support tool for brain tumour surgery: the STRATUM Project 

    Fabelo Gómez, Himar; León Martín, Raquel; Torti, Emanuele; Marco Sola, Santiago; Verbers, Max; Falevoz, Yann; Ramallo Fariña, Yolanda; Weis, Christian; Cervero García, Teresa; Moretó Planas, Miquel (Institute of Electrical and Electronics Engineers (IEEE), 2024)
    Conference report
    Open Access
    Integrated digital diagnostics can support complex surgical procedures in many anatomical sites, brain tumour surgery being the most complex. STRATUM is a 5-year Horizon Europe funded project with the goal of developing ...

View more