Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 98
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 50 de 98 resultats
 
  • MREPATT: detection and analysis of exact consecutive repeats in genomic sequences

     Roset, R.; Subirana, J.; Messeguer, X.
    Bioinformatics
    Vol. 19, num. 18, p. 2475-2476
    Data de publicació: 2003-12
    Article en revista
  • DnaSP, DNA polymorphism analyses by the coalescent and other methods  Accés obert  Activitat premiada

     Rozas, J.; Sánchez del Barrio, J.; Messeguer, X.; Rozas, R.
    Bioinformatics
    Vol. 19, num. 18, p. 2496-2497
    DOI: 10.1093/bioinformatics/btg359
    Data de publicació: 2003-12
    Article en revista
    Accés al text complet
  • Using parallelism in experimenting and fine tuning of parameters for metaheuristics  Accés obert

     Blesa, M.; Xhafa, F.
    Data: 2003-12
    Document cientificotècnic
    Accés al text complet
  • A Simple and fast approach for solving problems on planar graphs  Accés obert

     Fomin, F.; Thilikos, D.
    Data: 2003-12
    Document cientificotècnic
    Accés al text complet
  • Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms

     Atserias, A.
    Theoretical computer science
    Vol. 295, p. 27-39
    Data de publicació: 2003-11
    Article en revista
  • The complexity of restrictive H-coloring

     Diaz, J.; Serna, M.; Thilikos, D.
    Lecture notes in computer science
    Vol. 2573, p. 126-137
    Data de publicació: 2003-11
    Article en revista
  • SELECTED PAPERS IN HONOR OF L. HARPER. Theoretical computer science

     Diaz, J.
    Vol. 307, num. 3
    Col·laboració en revista
  • The algorithmic column

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 81, p. 79
    Data de publicació: 2003-10
    Article en revista
  • A Characterization of universal stability in the adversarial queuing model  Accés obert

     Serna, M.; Blesa, M.; Alvarez, C.
    Data: 2003-10
    Document cientificotècnic
    Accés al text complet
  • A Distributed algorithm to find Hamiltonian cycles in Gnp random graphs  Accés obert

     Levy, E.; Louchard, G.; Petit, J.
    Data: 2003-10
    Document cientificotècnic
    Accés al text complet
  • Bidimensional parameters and local treewidth  Accés obert

     Demaine, E.; Fomin, F.; Hajiaghayi, M.; Thilikos, D.
    Data: 2003-10
    Document cientificotècnic
    Accés al text complet
  • A random graph model for opical networks of sensrs

     Diaz, J.; Petit, J.; Serna, M.
    IEEE transactions on mobile computing
    Vol. 2, num. 3, p. 186-196
    Data de publicació: 2003-10
    Article en revista
  • Exploring Interaction Behaviour and Performance of Online Collaborative Learning Teams

     Xhafa, F.
    9th International Workshop on Groupware, CRIWG'03 . (International Conference on Groupware organized by the DRAKKAR team of the L.S.R. Laboratory (Grenoble, France))
    Data de presentació: 2003-09-28
    Presentació treball a congrés
  • Exploring Interaction Behaviour and Performance of Online Collaborative Learning Teams

     Daradoumis, T.; Xhafa, F.; Marques, J.
    Lecture notes in computer science
    Vol. 2806, p. 126-134
    Data de publicació: 2003-09
    Article en revista
  • Dominating sets and local treewidth

     Fedor, V.; Thilikos, D.
    Lecture notes in computer science
    Vol. 2832, p. 221-229
    Data de publicació: 2003-09
    Article en revista
  • On the monotonicity of games generated by symmetric submodular functions

     Thilikos, D.
    Discrete applied mathematics
    Vol. 131, p. 323-335
    Data de publicació: 2003-09
    Article en revista
  • Fixed-parameter algorithms for the (k,r)-center in planar graphs and map graphs  Accés obert

     Demaine, E.; Fomin, F.; Hajiaghayi, M.; Thilikos, D.
    Data: 2003-09
    Document cientificotècnic
    Accés al text complet
  • Dominating sets and local treewidth  Accés obert

     Thilikos, D.; Fomin, F.
    Data: 2003-09
    Document cientificotècnic
    Accés al text complet
  • Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

     Sierra-Santibáñez, J.
    Annals of mathematics and artificial intelligence
    Vol. 39, num. 1-2, p. 61-100
    DOI: 10.1023/A:1024464815668
    Data de publicació: 2003-09
    Article en revista
  • Adversarial models for priority-based networks

     Blesa, M.; Alvarez, C.; Serna, M.; Diaz, J.; Fernández, C.
    International Symposium on Mathematical Foundations of Computer Science
    p. 142-151
    Data de presentació: 2003-08
    Presentació treball a congrés
  • Searching Is Not Jumping

     Barriere, E.; Fraigniaud, P.; Santoro, N.; Thilikos, D.
    Lecture notes in computer science
    Vol. 2880, p. 34-45
    Data de publicació: 2003-08
    Article en revista
  • Starting with nondeterminism: the systematic derivation of linear-time graph layout algorithms

     Bodlaender, H.; Michael, F.; Thilikos, D.
    Lecture notes in computer science
    Vol. 2747, p. 239-248
    Data de publicació: 2003-08
    Article en revista
  • Computational Models for Web- and Grid-Based Computation

     Gabarro, J.; Stewart, A.; Clint, M.; Boyle, E.; Vallejo, I.
    Lecture notes in computer science
    Vol. 2790, p. 640-650
    Data de publicació: 2003-08
    Article en revista
  • Generic algorithms for the generation of combinatorial objects

     Martinez, C.; Molinero, X.
    Lecture notes in computer science
    Vol. 2747, p. 572-581
    DOI: 10.1007/978-3-540-45138-9_51
    Data de publicació: 2003-08
    Article en revista
  • Adversarial models for priority-based networks

     Alvarez, C.; Blesa, M.; Diaz, J.; Serna, M.
    Lecture notes in computer science
    Vol. 2747, p. 142-151
    DOI: 10.1007/978-3-540-45138-9_8
    Data de publicació: 2003-08
    Article en revista
  • Identification o Patterns in biological sequences at the ALGGEN server: PROMO and MALGEN

     Messeguer, X.
    Nucleic acids research
    Vol. 31, num. 13, p. 1-3
    Data de publicació: 2003-07
    Article en revista
  • Identification of patterns in biological sequences at the ALGGEN server: PROMO and MALGEN

     Farré, D.; Roset, R.; Huerta, M.; Adsuara, J.; Rosello, L.; Messeguer, X.
    Nucleic acids research
    Vol. 31, num. 13, p. 3651-3653
    Data de publicació: 2003-07
    Article en revista
  • Complexitat de Kolmogorov i questions de fonament

     Atserias, A.
    Butlletí de la Societat Catalana de Matemàtiques
    Vol. 18, num. 1, p. 7-17
    Data de publicació: 2003-07
    Article en revista
  • Computation of bisection width for random d-regular graphs  Accés obert

     Diaz, J.; Serna, M.; Wormald, N.
    Data: 2003-07
    Document cientificotècnic
    Accés al text complet
  • Bounds on the max and min bisection of random cubic and 4-regular graphs

     Diaz, J.; Serna, M.
    Theoretical computer science
    Vol. 307, num. 3, p. 531-547
    Data de publicació: 2003-07
    Article en revista
  • An Efficient generic algorithm for the generation of unlabelled cycles  Accés obert

     Martinez, C.; Molinero, X.
    Data: 2003-06-06
    Document cientificotècnic
    Accés al text complet
  • Timing-driven logic bi-decomposition

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 22, num. 6, p. 675-685
    Data de publicació: 2003-06
    Article en revista
  • Quasi-static scheduling of independent tasks for reactive systems

     Cortadella, J.; Kondratyev, A.; Lavagno, L.; Passerone, C.
    Lecture notes in computer science
    Vol. 2360, p. 80-99
    Data de publicació: 2003-06
    Article en revista
  • Experiments on the Minimum Linear Arrangement Problem

     Petit, J.
    ACM Journal of experimental algorithmics
    Vol. 8, p. 1-40
    Data de publicació: 2003-06
    Article en revista
  • Fixed-Parameter Algorithms for the (k,r)-Center in Planar Graphs and Map Graphs

     Demaine, E.D.; Fedor, V.; Mohammadtaghi, H.; Thilikos, D.
    Lecture notes in computer science
    Vol. 2719, p. 829-844
    Data de publicació: 2003-06
    Article en revista
  • Adversarial models for priority-based networks  Accés obert

     Alvarez, C.; Diaz, J.; Blesa, M.; Fernández, A.; Serna, M.
    Data: 2003-06
    Document cientificotècnic
    Accés al text complet
  • Generic algorithms for the generation of combinatorial objects  Accés obert

     Molinero, X.; Martinez, C.
    Data: 2003-06
    Document cientificotècnic
    Accés al text complet
  • Evaluation of basic protocols for optical smart dust networks

     Petit, J.; Diaz, J.; Serna, M.
    Lecture notes in computer science
    Vol. 2647, p. 97-106
    Data de publicació: 2003-06
    Article en revista
  • The algorithmic Column. Part II: 1998-2000

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 80, p. 61
    Data de publicació: 2003-06
    Article en revista
  • Constrained Tree Inclusion

     Valiente, G.
    Lecture notes in computer science
    Vol. 2676, num. 1, p. 366-377
    Data de publicació: 2003-05
    Article en revista
  • AThe Algorithmic Column

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 80, p. 61-63
    Data de publicació: 2003-05
    Article en revista
  • Relative Timing Based Verification of Concurrent Systems  Accés obert

     Peña, M.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Fringe analysis of synchronized parallel insertion algorithms in 2-3 Trees

     Gabarro, J.; Messeguer, X.
    Theoretical computer science
    Vol. 299, num. 1-3, p. 231-271
    Data de publicació: 2003-04
    Article en revista
  • The Complexity of deciding stability under FFS in the adversarial model  Accés obert

     Alvarez, C.; Blesa, M.; Diaz, J.; Fernández, A.; Serna, M.
    Data: 2003-04
    Document cientificotècnic
    Accés al text complet
  • On the maximum common embedded subtree problem for ordered trees  Accés obert

     Valiente, G.
    Data: 2003-03
    Document cientificotècnic
    Accés al text complet
  • Constrained tree inclusion  Accés obert

     Valiente, G.
    Data: 2003-03
    Document cientificotècnic
    Accés al text complet
  • From problems on trees and graphs to problems on strings

     Valiente, G.
    London Stringology Day
    Data de presentació: 2003-02-26
    Presentació treball a congrés
  • Combining spectral sequencing and parallel simulated annealing for the MinLA problem

     Petit, J.
    Parallel processing letters
    Vol. 13, num. 1, p. 77-91
    Data de publicació: 2003-02
    Article en revista
  • An efficient deterministic parallel algorithm for two processors precedence constrain schedule

     Serna, M.
    Theoretical computer science
    Vol. 292, num. 3, p. 639-652
    Data de publicació: 2003-02
    Article en revista
  • Efficient space and time multicomparison of genomes  Accés obert

     Messeguer, X.; Huerta, M.
    Data: 2003-02
    Document cientificotècnic
    Accés al text complet