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

  • Analytical study on typeface visual identification 

    Molinero Albareda, Xavier; Freixas Bosch, Josep; Tàpias Anton, Montserrat (SciTePress, 2024)
    Conference report
    Open Access
    In this study, our objective is to explore methodologies for the identification of diverse typefaces. Utilizing the gathered data, we conducted a thorough analysis of the outcomes, distinguishing between successes and ...
  • A proposal for an Educational Well-Being Index (EWI) for undergraduate course design 

    Blesa Aguilera, Maria Josep; Duch Brown, Amalia; Gabarró Vallès, Joaquim; Serna Iglesias, María José (SciTePress, 2024)
    Conference lecture
    Open Access
    Every day it is more common to hear around us about the publication of studies, surveys or statistical results about the well-being of people, workers, women in a given country. Indeed, as university professors, our work ...
  • On minimum vertex bisection of random d-regular graphs 

    Díaz Cort, Josep; Yasar Diner, Oznur; Serna Iglesias, María José; Serra Albó, Oriol (2024-09)
    Article
    Open Access
    Minimum vertex bisection is a graph partitioning problem in which the aim is to find a partition of the vertices into two equal parts that minimizes the number of vertices in one partition set that have a neighbor in the ...
  • Decay of solutions for second gradient viscoelasticity with type II heat conduction 

    Magaña Nieto, Antonio; Quintanilla de Latorre, Ramón (American Institute of Mathematical Sciences, 2024-06)
    Article
    Open Access
    In this work we analyse the time decay of solutions for the second gradient thermoelasticity when two dissipation mechanisms are introduced in the system. First we consider that the fourth spatial derivative of the velocity ...
  • Mix & Latch: Comparison with state-of-the-art retiming on a RISC-V benchmark 

    Lagostina, Lorenzo; Minnella, Filippo; Cortadella, Jordi; Casu, Mario R.; Lazarescu, Mihai T.; Lavagno, Luciano (Institute of Electrical and Electronics Engineers (IEEE), 2024-07)
    Article
    Open Access
    Flip-flops (FFs) are the most commonly used sequential elements in synchronous circuits, but their timing requirements limit the operating frequency. Borrowing time with a latch-based approach can increase operating ...
  • An a priori error analysis of a problem involving mixtures of continua with gradient enrichment 

    Bazarra, Noelia; Fernández García, José Ramón; Magaña Nieto, Antonio; Quintanilla de Latorre, Ramón; Magaña Centelles, Marc (2024-04-01)
    Article
    Restricted access - publisher's policy
    In this work, we study a strain gradient problem involving mixtures. The variational formulation is written as a first-order in time coupled system of parabolic variational equations. An existence and uniqueness result is ...
  • GenArchBench: A genomics benchmark suite for arm HPC processors 

    López Villellas, Lorien; Langarita Benítez, Rubén; Badouh, Asaf; Soria Pardos, Víctor; Aguado Puig, Quim; López Paradís, Guillem; Doblas Font, Max; Setoain, Javier; Kim, Chulho; Ono, Makoto; Armejach Sanosa, Adrià; Marco Sola, Santiago; Alastruey Benedé, Jesús; Ibáñez Marín, Pablo; Moretó Planas, Miquel (Elsevier, 2024-08)
    Article
    Open Access
    Arm usage has substantially grown in the High-Performance Computing (HPC) community. Japanese supercomputer Fugaku, powered by Arm-based A64FX processors, held the top position on the Top500 list between June 2020 and June ...
  • A computational framework based on the dynamic pipeline approach 

    Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltán, Cristina; Royo Sales, Juan Pablo (Elsevier, 2024-04-23)
    Article
    Open Access
    Stream processing has inspired new computational approaches to facilitate effectiveness and efficiency. One such approach is the dynamic pipeline, which serves as a powerful computational model for stream processing. It ...
  • Seto: A framework for the decomposition of Petri nets and transition systems 

    Teren, Viktor; Cortadella, Jordi; Villa, Tiziano (Institute of Electrical and Electronics Engineers (IEEE), 2023)
    Conference report
    Open Access
    This paper presents an overview of different approaches, based on theory of regions, for Transition System and Petri net decomposition into a synchronous product of restricted subclasses of Petri nets. A decomposition ...
  • On the expected cost of partial match queries in random Quad-K-d trees 

    Duch Brown, Amalia; Martínez Parra, Conrado (Springer, 2024-03-04)
    Article
    Open Access
    Quad-K-d trees introduced by Bereckzy et al. (In: Proceedings of the 11th Latin merican Theoretical Informatics Conference (LATIN). Lecture Notes in Computer Science, vol. 8392, pp. 743–754, 2014) are a generalization of ...
  • Social disruption games in signed networks 

    Molinero Albareda, Xavier; Riquelme Csori, Fabián; Serna Iglesias, María José (2024-05)
    Article
    Restricted access - publisher's policy
    Signed networks describe many real-world relations among users. Positive connections between two users or vertices generally mean good feelings between them, but negative connections mean bad feelings. A disruptor cycle ...
  • The k-Robinson–Foulds dissimilarity measures for comparison of labeled treesd 

    Khayatian, Elahe; Valiente Feruglio, Gabriel Alejandro; Zhang, Louxin (2024-01-25)
    Article
    Open Access
    Understanding the mutational history of tumor cells is a critical endeavor in unraveling the mechanisms that drive the onset and progression of cancer. Modeling tumor cell evolution with labeled trees motivates researchers ...

View more