Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 118
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 118 resultats
 
  • Análisis de la evolución de un curso: productividad y desigualdad  Accés obert

     Blesa, M.; Duch, A.; Gabarro, J.; Petit, J.; Serna, M.
    Jornadas de Enseñanza Universitaria de la Informática
    p. 161-168
    Data de presentació: 2016-07-07
    Presentació treball a congrés
    Accés al text complet
  • Continuous assessment in the evolution of a CS1 course: The pass rate/workload ratio

     Blesa, M.; Duch, A.; Gabarro, J.; Petit, J.; Serna, M.
    DOI: 10.1007/978-3-319-29585-5
    Data de publicació: 2016
    Capítol de llibre
    Imatge
  • A MOOC on Approaches to Machine Translation  Accés obert

     Ruiz, M.; Formiga, L.; Torrillas, O.; Petit, J.; Fonollosa, José A. R.
    International review of research in open and distance learning
    Vol. 16, num. 6, p. 174-205
    DOI: 10.19173/irrodl.v16i6.2145
    Data de publicació: 2015-11-01
    Article en revista
    Accés al text complet
  • A cost-benefit analysis of continuous assessment

     Duch, A.; Gabarro, J.; Petit, J.; Blesa, M.; Serna, M.
    International Conference on Computer Supported Education
    p. 57-66
    DOI: 10.5220/0005432300570066
    Data de presentació: 2015-05-25
    Presentació treball a congrés
  • Detailed description of the development of a MOOC in the topic of statistical machine translation

     Ruiz, M.; Formiga, L.; Petit, J.; Fonollosa, José A. R.
    Lecture notes in computer science
    Vol. 8856, p. 92-98
    DOI: 10.1007/978-3-319-13647-9_10
    Data de publicació: 2014-11-12
    Article en revista
  • A boolean rule-based approach for manufacturability-aware cell routing  Accés obert

     Cortadella, J.; Petit, J.; Gomez, S.; Moll, F.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 33, num. 3, p. 409-422
    DOI: 10.1109/TCAD.2013.2292514
    Data de publicació: 2014-03-01
    Article en revista
    Accés al text complet
  • Modelos y métodos computacionales para datos masivos estructurados

     Orejas, F.; Diaz, J.; Cortadella, J.; Serna, M.; Alvarez, C.; Pino, E.; Carmona, J.; Gabarro, J.; Xhafa, F.; Edelmira Pasarella; Petit, J.; Mylonakis, N.; Martinez, C.; Duch, A.; Godoy, G.; Roura, S.; Roca, A.; Soares-Ribeiro, J.; Pérez-Giménez, X.
    Projecte R+D+I competitiu
  • 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.
    Projecte R+D+I competitiu
  • Better feedback for educational online judges  Accés obert

     Mani, A.; Venkataramani, D.; Petit, J.; Roura, S.
    International Conference on Computer Supported Education
    p. 176-183
    DOI: 10.5220/0004842801760183
    Presentació treball a congrés
    Accés al text complet
  • Fun in CS2

     Duch, A.; Petit, J.; Rodriguez, E.; Roura, S.
    International Conference on Computer Supported Education
    p. 437-442
    DOI: 10.5220/0004389604370442
    Data de presentació: 2013-05-07
    Presentació treball a congrés
  • Physical-aware system-level design for tiled hierarchical chip multiprocessors  Accés obert

     Cortadella, J.; San Pedro, J. de; Nikitin, N.; Petit, J.
    ACM International Symposium on Physical Design
    p. 3-10
    DOI: 10.1145/2451916.2451920
    Data de presentació: 2013
    Presentació treball a congrés
    Accés al text complet
  • Physical planning for the architectural exploration of large-scale chip multiprocessors

     San Pedro, J. de; Nikitin, N.; Cortadella, J.; Petit, J.
    IEEE/ACM International Symposium on Networks-on-Chip
    p. 1-2
    DOI: 10.1109/NoCS.2013.6558399
    Data de presentació: 2013
    Presentació treball a congrés
  • Integrating formal verification in an online judge for e-Learning logic circuit design

     San Pedro, J. de; Carmona, J.; Cortadella, J.; Petit, J.
    ACM Technical Symposium on Computer Science Education
    p. 451-456
    DOI: 10.1145/2157136.2157268
    Data de presentació: 2012
    Presentació treball a congrés
  • Jutge.org: an educational programming judge

     Gimenez, O.; Petit, J.; Roura, S.
    ACM Technical Symposium on Computer Science Education
    p. 445-450
    DOI: 10.1145/2157136.2157267
    Data de presentació: 2012
    Presentació treball a congrés
  • Addenda to the survey of layout problems

     Petit, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 105, p. 177-201
    Data de publicació: 2011-10
    Article en revista
  • Jutge.org  Accés obert

     Giménez, O.; Petit, J.; Roura, S.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Accés al text complet
  • Data structures libraries

     Frias, L.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Topology control algorithms in WISELIB

     Anguera, J.; Blesa, M.; Farré, J.; Lopez, V.; Petit, J.
    Workshop on Software Engineering for Sensor Network Applications
    p. 14-19
    DOI: 10.1145/1809111.1809118
    Data de presentació: 2010-05
    Presentació treball a congrés
  • Lists revisited: cache-conscious STL lists

     Frias, L.; Petit, J.; Roura, S.
    ACM Journal of experimental algorithmics
    Vol. 14, p. 3.5:1-3.5:27
    DOI: 10.1145/1498698.1564505
    Data de publicació: 2009-12-10
    Article en revista
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Diaz, J.; Orejas, F.; Galceran, M.; Oliva, S.; Godoy, G.; Atserias, A.; Martinez, C.; Edelmira Pasarella; Pino, E.; Alvarez, C.; Blum, C.; Gabarro, J.; Cortadella, J.; Molinero, X.; Serna, M.; Messeguer, X.; Roura, S.; Blesa, M.; Valiente, G.; Duch, A.; Carmona, J.; Hernandez, H.; Gel, B.; Gascon, A.; Petit, J.
    Projecte R+D+I competitiu
  • Combining Digital Access and Parallel Partition for Quicksort and Quickselect

     Frias, L.; Petit, J.
    2nd International Workshop on Multicore Software Engineering
    p. 33-40
    Data de presentació: 2009-05-18
    Presentació treball a congrés
  • Programació 1: A pure problem-oriented approach for a CS1 course

     Giménez, O.; Petit, J.; Roura, S.
    Informatics Education Europe
    p. 185-192
    Data de presentació: 2009-03-11
    Presentació treball a congrés
  • High level communication functionalities for wireless sensor networks

     Alvarez, C.; Diaz, J.; Petit, J.; Rolim, J.; Serna, M.
    Theoretical computer science
    Vol. 406, num. 3, p. 240-246
    Data de publicació: 2008-10
    Article en revista
  • Parallel Partition Revisited

     Frias, L.; Petit, J.
    Lecture notes in computer science
    Vol. 5038, p. 142-153
    Data de publicació: 2008-08
    Article en revista
  • Parallel partition revisited  Accés obert

     Frias, L.; Petit, J.
    Data: 2008-02
    Document cientificotècnic
    Accés al text complet
  • Métodos formales y algoritmos para el diseño de sistemas

     Orejas, F.; Xhafa, F.; Godoy, G.; Costa, K.; Oliva, S.; Galceran, M.; Gascon, A.; Gel, B.; Hernandez, H.; Duch, A.; Blum, C.; Edelmira Pasarella; Diaz, J.; Pino, E.; Petit, J.; Alvarez, C.; Blesa, M.; Gabarro, J.; Cortadella, J.; Serna, M.; Carmona, J.
    Projecte R+D+I competitiu
  • Communication tree problems

     Alvarez, C.; Cases, R.; Diaz, J.; Petit, J.; Serna, M.
    Theoretical computer science
    Vol. 381, num. 1-3, p. 197-217
    Data de publicació: 2007-08
    Article en revista
  • Efficient Data Structure Libraries

     Frias, L.; Petit, J.; Roura, S.
    Algorithm Engineering Workshop
    p. 28-30
    Presentació treball a congrés
  • Generic Parallel Implementations for Tabu Search

     Blesa, M.; Petit, J.; Xhafa, F.
    Computer systems science and engineering
    Vol. 21, num. 6, p. 413-432
    Data de publicació: 2006-11
    Article en revista
  • Fonaments de programació: problemes resolts en C++

     Franch, X.; Marco, J.; Molinero, X.; Petit, J.; Xhafa, F.
    Data de publicació: 2006-09
    Llibre
    Imatge
  • Introducció a la programació: problemes resolts

     Franch, X.; Marco, J.; Molinero, X.; Petit, J.; Xhafa, F.
    Data de publicació: 2006-09
    Llibre
    Imatge
  • Efficient parallel LAN/WAN algorithms for optimization. The MALLBA project

     Alba, E.; Almeida, F.; Blesa, M.; Cotta, C.; Diaz, M.; Dorta, I.; Gabarro, J.; Leon, C.; Luque, G.; Petit, J.; Rodríguez, M.; Rojas, A.; Xafa, F.; Xhafa, F.
    Parallel computing
    Vol. 32, num. 5-6, p. 415-440
    Data de publicació: 2006-06
    Article en revista
  • Kernels for the Vertex Cover Problem on the Preferred Attachment Problem

     Petit, J.
    International Workshop on Experimental Algorithms
    Data de presentació: 2006-05-26
    Presentació treball a congrés
  • Kernels for the Vertex Cover Problem on the Preferred Attachment Model

     Diaz, J.; Petit, J.; Thilikos, D.
    Lecture notes in computer science
    Vol. 4007, p. 231-240
    Data de publicació: 2006-05
    Article en revista
  • Lists revisited: Cache conscious STL listts

     Petit, J.; Roura, S.; Frias, L.
    Lecture notes in computer science
    Vol. 4007, p. 109-120
    Data de publicació: 2006-05
    Article en revista
  • 6th eXtreme Challenge

     Petit, J.; Roura, S.
    Premi o reconeixement
  • Lists Revisited: Cache Conscious STL Lists

     Frias, L.; Petit, J.; Roura, S.
    International Workshop on Experimental Algorithms
    p. 121-133
    Presentació treball a congrés
  • Lists revisited: cache conscious STL lists  Accés obert

     Frias, L.; Petit, J.; Roura, S.
    Data: 2005-11
    Document cientificotècnic
    Accés al text complet
  • Generic parallel implementations for Tabu Search  Accés obert

     Blesa, M.; Petit, J.; Xhafa, F.
    Data: 2005-11
    Document cientificotècnic
    Accés al text complet
  • Ricoh/Sun Contest POWERED BY U!,

     Petit, J.; Roura, S.
    Premi o reconeixement
  • Theoretical computer science

     Petit, J.
    Col·laboració en revista
  • Discrete applied mathematics

     Petit, J.
    Col·laboració en revista
  • High level communication functionalities for wireless sensor networks  Accés obert

     Alvarez, C.; Diaz, J.; Petit, J.; Rolim, J.; Serna, M.
    Data: 2004-11
    Document cientificotècnic
    Accés al text complet
  • A distributed algorithm to find hamiltonian cycles in gnp random graphs.

     Petit, J.
    Lecture notes in computer science
    p. 1-12
    Data de publicació: 2004-11
    Article en revista
  • Concurs de Programació 2004

     Petit, J.; Roura, S.
    Premi o reconeixement
  • Efficient and reliable high level communication in randomly deployed wireless sensor networks

     Alvarez, C.; Diaz, J.; Petit, J.; Serna, M.
    ACM International workshop on mobility management and wireless access
    p. 106-110
    Presentació treball a congrés
  • 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