Go to the content (press return)

ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Total activity: 7
Research group
Type of group
UPC research group
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Open in new window
08034 Barcelona
http://albcom.cs.upc.edu Open in new window
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.
VLSI systems, algorithms, combinatorics, complexity, data science, data structures, formal specification, genomics, graphs, verification
Fill in details (researchers incharge only)
  • De San Pedro Martín, Javier
    (until 2016-09-30)
  • Frances Medina, Guillem
    (until 2009-06-14)
  • Frias Moya, Leonor
    (until 2010-06-13)
  • Galceran Oms, Marc
    (until 2010-06-30)
  • Garcia Chacon, Alina
    (until 2007-04-30)
  • Gascon Caro, Adrian
    (until 2013-07-31)
  • Gel Moreno, Bernat
    (until 2010-12-31)
  • Gimenez Llach, Omer
    (until 2010-10-31)
  • Hernandez Pibernat, Hugo
    (until 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (until 2008-09-28)
  • Maneva, Elitza
    (until 2016-12-31)
    External to the UPC
  • Maneva, Elitza Nikolaeva
    (until 2009-11-05)
  • Meng, Jiangtao
    (until 2005-10-15)
  • Messegue Buisan, Arnau
    (until 2020-04-15)
  • Muñoz Gama, Jorge
    (until 2015-02-28)
  • Ochremiak, Joanna Regina
    (until 2016-08-15)
  • Oliva Valls, Sergi
    (until 2012-08-31)
  • Perez Gimenez, Xavier
    (until 2003-08-31)
  • Roca Perez, Antoni
    (until 2016-11-30)
  • Sanchez Charles, David
    (until 2015-12-01)

Scientific and technological production

1 to 7 of 7 results
  • Jutge.org: characteristics and experiences  Open access

     Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
    IEEE transactions on learning technologies
    Vol. 11, num. 3, p. 321-333
    DOI: 10.1109/TLT.2017.2723389
    Date of publication: 2018-07
    Journal article
    Access to the full text
  • Graph-based Models and Methods for Computing in the Large

     Carmona, J.; Orejas, F.; Serna, M.; Martinez, C.; Diaz, J.; Cortadella, J.; Sierra-Santibáñez, J.; Pino, E.; Roura, S.; Petit, J.; Gabarro, J.; Alvarez, C.; Edelmira Pasarella; Mylonakis, N.; Duch, A.; Blesa, M.; Steels, L.; Pérez, X.
    Competitive project
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

     Diaz, J.; Pino, E.; Garlik, M.; Atserias, A.; Messegue, A.; Petit, J.; Martinez, C.; Moreno, A.; Duch, A.; Blesa, M.; Edelmira Pasarella; Taymouri, F.; Sierra-Santibáñez, J.; Alvarez, C.; Serna, M.; Cortadella, J.; Messeguer, X.; Gabarro, J.; Roura, S.; Vidal, A.; Lauria, M.; Orejas, F.; Valiente, G.; Coma, B.; Carmona, J.
    Competitive project
  • Computational Models and Methods for Massive Structured Data

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares, J.; Pérez-Giménez, X.
    Competitive project
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals ALBCOM

     Diaz, J.; Cortadella, J.; Orejas, F.; Martinez, C.; Serna, M.; Alvarez, C.; Gabarro, J.; Atserias, A.; Messeguer, X.; Petit, J.; Pino, E.; Roura, S.; Valiente, G.; Carmona, J.; Godoy, G.; Duch, A.; Blesa, M.; Molter, H.; San Pedro, J. de; Munoz-Gama, J.; Roca, A.; Lauria, M.; Ochremiak, J.R.
    Competitive project

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Competitive project
  • Métodos formales y algoritmos para el diseño de sistemas

     Orejas, F.; Xhafa, F.; Godoy, G.; Costa, K.; Oliva, S.; Galceran, M.; Gascon, A.; Gel, B.; Hernandez, H.; Duch, A.; Blum, C.; Edelmira Pasarella; Diaz, J.; Pino, E.; Petit, J.; Alvarez, C.; Blesa, M.; Gabarro, J.; Cortadella, J.; Serna, M.; Carmona, J.
    Competitive project