Loading...
Loading...

Go to the content (press return)

ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Total activity: 1
Type
Research group
Type of group
UPC research group
Acronym
ALBCOM
Address
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Open in new window
City
08034 Barcelona
URL
http://albcom.cs.upc.edu Open in new window
Objectives
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.
Keywords
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)
  • Godoy Balil, Guillermo
    (until 2016-12-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)
  • 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 1 of 1 results
 

  • 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
    Loading...