Carregant...
Carregant...

Vés al contingut (premeu Retorn)

ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Total activitats: 6
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
ALBCOM
Adreça
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Obrir en finestra nova
Localitat
Barcelona
URL
http://albcom.cs.upc.edu Obrir en finestra nova
Objectius
L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.
Paraules clau
Algorismes, Combinatòria, Complexitat, Especificació, Estructures de dades, Genòmica, Grafs, Sistemes VLSI, Verificació.
Completa aquestes dades (només responsables)
  • Cases Muñoz, Rafel
    (fins 2011-05-31)
  • Clariso Viladrosa, Robert
    (fins 2003-01-31)
  • Clerici Martinez, Silvia Ines
    (fins 2014-12-31)
  • Costa Gorgônio, Kyller
    (fins 2006-09-30)
  • De San Pedro Martín, Javier
    (fins 2016-09-30)
  • Frances Medina, Guillem
    (fins 2009-06-14)
  • Frias Moya, Leonor
    (fins 2010-06-13)
  • Galceran Oms, Marc
    (fins 2010-06-30)
  • Garcia Chacon, Alina
    (fins 2007-04-30)
  • Gascon Caro, Adrian
    (fins 2013-07-31)
  • Gel Moreno, Bernat
    (fins 2010-12-31)
  • Gimenez Llach, Omer
    (fins 2010-10-31)
  • Hernandez Pibernat, Hugo
    (fins 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (fins 2008-09-28)
  • Maneva, Elitza Nikolaeva
    (fins 2009-11-05)
  • Meng, Jiangtao
    (fins 2005-10-15)
  • Muñoz Gama, Jorge
    (fins 2015-02-28)
  • Ochremiak, Joanna Regina
    (fins 2016-08-15)
  • Oliva Valls, Sergi
    (fins 2012-08-31)
  • Perez Gimenez, Xavier
    (fins 2003-08-31)
  • Roca Perez, Antoni
    (fins 2016-11-30)
  • Sanchez Charles, David
    (fins 2015-12-01)

Producció científica

1 a 6 de 6 resultats
 
  • Clustering media items stemming from multiple social networks  Accés obert

     Steiner, T.; Verborgh, R.; Gabarro, J.; Mannens, E.; Van de Walle, R.
    Computer journal
    Vol. 58, num. 9, p. 1861-1875
    DOI: 10.1093/comjnl/bxt147
    Data de publicació: 2015-09-27
    Article en revista
    Accés al text complet
  • Analysing web-orchestrations under stress using uncertainty profiles  Accés obert

     Gabarro, J.; Serna, M.; Stewart, A.
    Computer journal
    Vol. 57, num. 11, p. 1591-1615
    DOI: 10.1093/comjnl/bxt063
    Data de publicació: 2014-11-01
    Article en revista
    Accés al text complet
  • Foundations of ANTCYCLE: self-synchronized duty-cycling in mobile sensor networks

     Hernandez, H.; Blum, C.
    Computer journal
    Vol. 54, num. 9, p. 1427-1448
    DOI: 10.1093/comjnl/bxq099
    Data de publicació: 2011-09
    Article en revista
  • Introduction to algebraic specification. part ii

     Orejas, F.
    Computer journal
    Vol. 35, num. 5, p. 468-477
    Data de publicació: 1992-10
    Article en revista
  • Introduction to algebraic specification. part i

     Orejas, F.
    Computer journal
    Vol. 35, num. 5, p. 460-467
    Data de publicació: 1992-10
    Article en revista
  • Introduction to algebraic specification. part ii

     Orejas, F.
    Computer journal
    Vol. 35, num. 5, p. 468-477
    Data de publicació: 1992-10
    Article en revista