Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 8
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)

Producció científica

1 a 8 de 8 resultats
 
  • Bounded-width QBF is PSPACE-complete  Accés obert

     Atserias, A.; Oliva, S.
    Journal of computer and system sciences
    Vol. 80, num. 7, p. 1415-1429
    DOI: 10.1016/j.jcss.2014.04.014
    Data de publicació: 2014-11-01
    Article en revista
    Accés al text complet
  • Evaluation of struggle strategy in genetic algorithms for ground stations scheduling problem

     Xhafa, F.; Herrero , X.; Barolli, A.; Barolli, L.; Takizawa, M.
    Journal of computer and system sciences
    Vol. 79, num. 7, p. 1086-1100
    DOI: 10.1016/j.jcss.2013.01.023
    Data de publicació: 2012-02-12
    Article en revista
  • Equilibria problems on games: complexity versus succinctness

     Alvarez, C.; Gabarro, J.; Serna, M.
    Journal of computer and system sciences
    Vol. 77, num. 6, p. 1172-1197
    DOI: 10.1016/j.jcss.2011.01.001
    Data de publicació: 2011-11
    Article en revista
  • Causal graphs and structurally restricted planning

     Chen, H.; Gimenez, O.
    Journal of computer and system sciences
    Vol. 76, num. 7, p. 579-592
    DOI: 10.1016/j.jcss.2009.10.013
    Data de publicació: 2010-11
    Article en revista
  • Efficient algorithms for counting parameterized list H-colorings

     Diaz, J.; Serna, M.; Thilikos, D.
    Journal of computer and system sciences
    Vol. 74, num. 5, p. 919-937
    Data de publicació: 2008-08
    Article en revista
  • A combinatorial characterization of resolution width

     Atserias, A.; Dalmau, V.
    Journal of computer and system sciences
    Vol. 74, num. 3, p. 323-334
    DOI: 10.1016/j.jcss.2007.06.025
    Data de publicació: 2008-05
    Article en revista
  • Approximation algorithms for classes of graphs excluding single-crossing graphs as minors

     Demaine, E.D.; Mohammadtaghi, H.; Nishimura, N.; Prabhakar, R.; Thilikos, D.
    Journal of computer and system sciences
    Vol. 69, num. 2, p. 166-195
    Data de publicació: 2004-09
    Article en revista
  • Monotone simulations of nonmonotone proofs

     Atserias, A.; Galesi, N.; Pudlák, P.
    Journal of computer and system sciences
    Vol. 65, p. 626-638
    Data de publicació: 2002-12
    Article en revista