Loading...
Loading...

Go to the content (press return)

ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Total activity: 6
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)
  • 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)
  • 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 6 of 6 results
 
  • Letter from the President

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 69, p. 1-2
    Date of publication: 1999-10
    Journal article
    Loading...
  • Manifesto to EATCS and SIGACT

     Diaz, J.; Vitter, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 69, p. 2
    Date of publication: 1999-10
    Journal article
    Loading...
  • From basic views and aspects to integration of specification formalisms

     Orejas, F.
    Bulletin of the European Association for Theoretical Computer Science
    num. 69, p. 98-109
    Date of publication: 1999-10
    Journal article
    Loading...
  • Letter from the President

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 68, p. 1-2
    Date of publication: 1999-06
    Journal article
    Loading...
  • Guidelines for ICALP Org. Proposals

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 68, p. 18-19
    Date of publication: 1999-06
    Journal article
    Loading...
  • Letter from the President

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 67, p. 1-2
    Date of publication: 1999-02
    Journal article
    Loading...