Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 20
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 20 de 20 resultats
 
  • Distinció Jaume Vicens Vives a la Qualitat Docent Universitària

     Messeguer, X.; Aguado, F.; Verdu, AMC.; Mas, M.T.; López, D.; Carazo, N.
    Premi o reconeixement
  • State encoding of large asynchronous controllers

     Carmona, J.; Cortadella, J.
    Design Automation Conference
    p. 939-944
    Presentació treball a congrés
  • Diagnóstico de la Igualdad de Oportunidades en la Universitat Politènica de Catalunya

     Martinez, C.; Lusa, A.; Calvet, M.; Gallego, M.I.; Pons, O.; Tura, M.
    VI Congreso Iberoamericano de Ciencia, Tecnología y Género
    p. 1
    Presentació treball a congrés
  • From molecular interactions to gates: a systematic approach

     Carmona, J.; Cortadella, J.; Yousuke, T.; Ferdinand, P.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 891-898
    Presentació treball a congrés
  • Effect of combined oxygenation and gettering on minority carrier lifetime in high-resistivity fz silicon

     Lozano, M.; Ullán, M.; Martinez, C.; Fonseca, L.; Rafí Tatjer, Joan Marc; Campabadal, F.; Cabruja, E.; Fleta, C.; Bermejo, S.
    Journal of the Electrochemical Society
    Vol. 151, num. 10, p. 1-33
    Data de publicació: 2004-09
    Article en revista
  • Ponència

     Carmona, J.
    Workshop on Token Based Computing
    Data de presentació: 2004-06-22
    Presentació treball a congrés
  • Synthesis of Asynchronous Hardware from Petri Nets

     Carmona, J.; Cortadella, J.; Khomenko, V.; Yakovlev, A.
    Data de publicació: 2004-04-30
    Capítol de llibre
    Imatge
  • Structural Methods for the Synthesis of Well-formed Concurrent Specificantions

     Carmona, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Interactive Behaviour of Multi-Component Systems

     Carmona, J.; Kleijn, H.
    Workshop on Token Based Computing
    p. 27-31
    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
  • 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
  • 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
    Accés al text complet
  • ILP Models for the Synthesis of Asynchronous Control Circuits

     Carmona, J.; Cortadella, J.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 818-825
    Presentació treball a congrés
  • Synthesis of Reactive Systems: Application to Asynchronous Circuit Design

     Carmona, J.; Cortadella, J.; Pastor, E.
    Data de publicació: 2002-11-30
    Capítol de llibre
    Imatge
  • Input/Output Compatibility of Reactive Systems

     Carmona, J.
    Formal Methods in Computer-Aided Design
    Data de presentació: 2002-11-06
    Presentació treball a congrés
  • Input/Output Compatibility of Reactive Systems

     Carmona, J.; Cortadella, J.
    Lecture notes in computer science
    Vol. 2517, p. 360-377
    Data de publicació: 2002-11
    Article en revista
  • A structural encoding technique for the synthesis of asynchronous circuits

     Carmona, J.; Cortadella, J.; Pastor, E.
    Fundamenta informaticae
    Vol. 50, num. 2, p. 135-154
    Data de publicació: 2002-03
    Article en revista
  • Input/Output Compatibility of Reactive Systems

     Carmona, J.; Cortadella, J.
    Formal Methods in Computer-Aided Design
    p. 360-377
    Presentació treball a congrés
  • PROMO: a virtual laboratory for the prediction of transcriptuion factor binding sites

     Pages, A.; Kellan, P.; Myers, R.; Jenner, R.; Martinez, J.; Nuñez, O.; Messeguer, X.
    I Jornadas de Bioinformatica
    p. 22
    Presentació treball a congrés
  • Preparació, realització i avaluació de pràctiques de programació

     Martinez, C.; Medina, M.; Perez, L.; Pla, N.; Puig, A.; Solano, L.
    Data de publicació: 1995-01
    Llibre