Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 21
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 21 de 21 resultats
 
  • The approximability of problems complete for p

     Serna, M.; Spirakis, P.G.
    Lecture notes in computer science
    Vol. 401, num. 0, p. 193-204
    Data de publicació: 1989-12
    Article en revista
  • Asymptotic behaviour of some non limiform mearures

     Serna, M.
    RAIRO. Theoretical informatics and applications
    Vol. 0, num. 0
    Data de publicació: 1989-12
    Article en revista
  • Non recursive functions have transcendental generating functions  Accés obert

     Cucker, J.; Gabarro, J.
    RAIRO. Theoretical informatics and applications
    Vol. 23, num. 4, p. 445-448
    Data de publicació: 1989-12
    Article en revista
    Accés al text complet
  • Development of algebraic specifications with constraints

     Orejas, F.; Sacristán, V.; Clerici, S.I.
    DOI: 10.1007/3-540-51722-7
    Data de publicació: 1989-11
    Capítol de llibre
    Imatge
  • Semantical constructions for categories of behavioural specifications

     Orejas, F.; Nivela, M.; Ehrig, H.
    DOI: 10.1007/3-540-51722-7
    Data de publicació: 1989-11
    Capítol de llibre
    Imatge
  • Tipos de datos y lenguajes de programación

     Orejas, F.
    Mundo electrónico. Edición internacional
    num. 200, p. 244-255
    Data de publicació: 1989-11
    Article en revista
  • Disseny de memòries d'instruccions per a processadors segmentats

     Jove, T.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • THE PARALLEL COMPLESITY OF THE SUBGTAPH CONNECTIVITY PROBLEM.

     Serna, M.
    30TH.IEE SYMP. ON FONDATIONS OF COMPUTER SCIENCE.
    Data de presentació: 1989-10-01
    Presentació treball a congrés
  • Iterated GSMs and Co-CFL

     Autebert, J.-M.; Gabarro, J.
    Acta informatica
    Vol. 26, num. 8, p. 749-769
    DOI: 10.1007/BF00289160
    Data de publicació: 1989-10
    Article en revista
  • Making branches transparent to the execution unit

     Cortadella, J.; Llaberia, J.
    International journal of mini and microcomputers
    Vol. 11, num. 1, p. 13-17
    Data de publicació: 1989-10
    Article en revista
  • Nonuniform complexity classes specified by lower and upper bounds  Accés obert

     Balcazar, J. L.; Gabarro, J.
    RAIRO. Theoretical informatics and applications
    Vol. 23, num. 1, p. 177-194
    DOI: 10.1051/ita/1989230201771
    Data de publicació: 1989-09
    Article en revista
    Accés al text complet
  • Reduced instruction buffer for RISC architectures

     Jove, T.; Cortadella, J.
    Microprocessing and microprogramming
    Vol. 27, num. 1, p. 1987-1993
    DOI: 10.1016/0165-6074(89)90026-4
    Data de publicació: 1989-08
    Article en revista
  • Complexity classes with complete problems between p and np-c

     Alvarez, C.; Diaz, J.; Toran, J.
    FUNDAMENTALS OF COMPUTATION THEORY
    p. 13-24
    DOI: 10.1007/3-540-51498-8_2
    Presentació treball a congrés
  • On the average size of the intersection of binary trees  Accés obert

     Baeza, R.; Cases, R.; Diaz, J.; Martinez, C.
    Data: 1989-01
    Document cientificotècnic
    Accés al text complet
  • On unification over unrestricted pairs of trees  Accés obert

     Cases, R.; Diaz, J.
    Data: 1989-01
    Document cientificotècnic
    Accés al text complet
  • Parallel complexity of partially commutative monoids  Accés obert

     Alvarez, C.; Gabarro, J.
    Data: 1989-01
    Document cientificotècnic
    Accés al text complet
  • Incremental Construction and Analysis of Requirements Specifications (ICARUS)

     Orejas, F.; Franch, X.; Clerici, S.I.
    Projecte R+D+I competitiu