Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 89
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 89 resultats
 
  • A Compendium of problems Complete for Symmetric Logarithmic Space

     Alvarez, C.
    Computational complexity
    Vol. 9, p. 123-145
    Data de publicació: 2000-12
    Article en revista
  • Constructive linear time algorithms for small cutwidth and carving-width

     Thilikos, D.; Serna, M.
    Lecture notes in computer science
    Vol. 1969, p. 192-203
    Data de publicació: 2000-12
    Article en revista
  • Parallel skeletons for tabu search method  Accés obert

     Blesa, M.; Hernàndez, L.; Xhafa, F.
    Data: 2000-12
    Document cientificotècnic
    Accés al text complet
  • Simple and efficient tree pattern matching  Accés obert

     Valiente, G.
    Data: 2000-12
    Document cientificotècnic
    Accés al text complet
  • A structural encoding technique for the synthesis of asynchronous circuits  Accés obert

     Carmona, J.; Cortadella, J.; Pastor, E.
    Data: 2000-12
    Document cientificotècnic
    Accés al text complet
  • Ordered generation of combinatorial structures

     Martinez, C.
    II Jornades de Matemàtica Discreta i Algorísmica
    Data de presentació: 2000-11-12
    Presentació treball a congrés
  • Counting H-colorings of Partial k-trees  Accés obert

     Diaz, J.; Serna, M.; Thilikos, D.
    Data: 2000-11
    Document cientificotècnic
    Accés al text complet
  • Modelos de grafos para la web

     Alvarez, C.; Diaz, J.; Serna, M.
    Data de publicació: 2000-11
    Capítol de llibre
  • Faulty random geometric networks

     Diaz, J.; Petit, J.; Serna, M.
    Parallel processing letters
    Vol. 10, p. 343-357
    Data de publicació: 2000-11
    Article en revista
  • Convergence Theorems for some layout measures on random lattice and random geometric graphs

     Diaz, J.; Petit, J.; Serna, M.
    Combinatorics probability and computing
    Vol. 9, p. 489-511
    Data de publicació: 2000-11
    Article en revista
  • ACID WG Working group on asynchronous circuit design

     Cortadella, J.; Junyent, G.
    Projecte R+D+I competitiu
  • An introductory programming pilot course using Java

     Franch, X.; Gabarro, J.; Gómez, A.; Vazquez, A.
    Bulletin of the European Association for Theoretical Computer Science
    num. 69, p. 152-154
    Data de publicació: 2000-10
    Article en revista
  • Partiality and Approximation Schemes for Local Consistency in Networks on Constraints

     Dendris, N.; Lefteris, K.; Stamatiou, Y.; Thilikos, D.
    Constraints
    Vol. 5, num. 3, p. 251-273
    Data de publicació: 2000-10
    Article en revista
  • Faulty random geometric networks  Accés obert

     Diaz, J.; Petit, J.; Serna, M.
    Data: 2000-10
    Document cientificotècnic
    Accés al text complet
  • A Survey on graph layout problems  Accés obert

     Diaz, J.; Petit, J.; Serna, M.
    Data: 2000-10
    Document cientificotècnic
    Accés al text complet
  • Constructive linear time algorithms for branchwidth  Accés obert

     Thilikos, D.; Bodlaender, H.
    Data: 2000-10
    Document cientificotècnic
    Accés al text complet
  • A C++ implementation of Tabu search for k-cardinality tree problem based on generic programming and component reuse

     Blesa, M.; Xhafa, F.
    Generative and Component-Based Software Engineering, Second International Symposium
    p. 648-652
    Data de presentació: 2000-10
    Presentació treball a congrés
  • Letter from the President

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 72, p. 1
    Data de publicació: 2000-10
    Article en revista
  • Modelos de grafos para la web

     Alvarez, C.; Diaz, J.; Serna, M.
    Números
    Vol. 43-44, p. 477-480
    Data de publicació: 2000-10
    Article en revista
  • Constructive Negation without Subsidiary Trees

     Pino, E.
    International Workshop on Functional and Logic Programming
    Data de presentació: 2000-09-28
    Presentació treball a congrés
  • Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pastor, E.; Yakovlev, A.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 18, num. 9, p. 1221-1236
    Data de publicació: 2000-09
    Article en revista
  • A Constructive linear time algorithm for small cutwidth  Accés obert

     Thilikos, D.; Serna, M.; Bodlaender, H.
    Data: 2000-09
    Document cientificotècnic
    Accés al text complet
  • A C++ implementation of a skeleton for Tabu Search method  Accés obert

     Blesa, M.; Xhafa, F.
    Data: 2000-09
    Document cientificotècnic
    Accés al text complet
  • Accés al text complet
  • A Note on polynomial-size monotone proofs of the pigeon hole principle  Accés obert

     Atserias, A.
    Data: 2000-09
    Document cientificotècnic
    Accés al text complet
  • Redundancy and subsumption in high-level replacement systems

     Hans-Joerg, K.; Valiente, G.
    Lecture notes in computer science
    Vol. 1764, num. 1, p. 215-227
    DOI: 10.1007/978-3-540-46464-8_15
    Data de publicació: 2000-09
    Article en revista
  • Primes is in P (without restrictions)

     Diaz, J.
    Data de publicació: 2000-08
    Capítol de llibre
    Imatge
  • H-coloring of graphs

     Diaz, J.
    Data de publicació: 2000-08
    Capítol de llibre
    Imatge
  • Algebraic Rules for reasoning about BSP programs

     Gabarro, J.
    CMPP 2000 Second International Workshop on Constructive Methods for Parallel Programming
    Data de presentació: 2000-07-02
    Presentació treball a congrés
  • Monotone proofs of the pigeonhole principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Lecture notes in computer science
    Vol. 1853, num. 1, p. 172-183
    Data de publicació: 2000-07
    Article en revista
  • On the competitiveness of the move-to-front rule

     Martinez, C.; Roura, S.
    Theoretical computer science
    Vol. 242, num. 1-2, p. 313-325
    Data de publicació: 2000-07
    Article en revista
  • On graph powers for leaf-labeled trees

     Nishimura, N.; Prabhakar, R.; Thilikos, D.
    Lecture notes in computer science
    Vol. 1851, p. 125-138
    Data de publicació: 2000-07
    Article en revista
  • Constructive negation without subsidiary trees  Accés obert

     Edelmira Pasarella; Pino, E.; Orejas, F.
    Data: 2000-07
    Document cientificotècnic
    Accés al text complet
  • On graph powers for leaf-labeled trees  Accés obert

     Nishimura, N.; Prabhakar, R.; Thilikos, D.
    Data: 2000-07
    Document cientificotècnic
    Accés al text complet
  • A type-theoretic approach to proof support for algebraic design frameworks.  Accés obert

     MILONAKYS, N.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Finding Smallest Supertrees under Minor Containment

     Nishimura, N.; Prabhakar, R.; Thilikos, D.
    International journal of foundations of computer science
    Vol. 11, num. 3, p. 445-465
    Data de publicació: 2000-06
    Article en revista
  • Hardware and Petri Nets: Application to Asynchronous Circuit design

     Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
    Lecture notes in computer science
    Vol. 1825, p. 1-15
    Data de publicació: 2000-06
    Article en revista
  • Letter from the President

     Diaz, J.
    Bulletin of the European Association for Theoretical Computer Science
    num. 71, p. 1-2
    Data de publicació: 2000-06
    Article en revista
  • Integration and Classification of Data Type and Specification Techniques

     Orejas, F.
    Integration of Specification Techniques with Applications to Engineering
    Data de presentació: 2000-04-02
    Presentació treball a congrés
  • A general algebraic framework for studying modular systems

     Orejas, F.; Pino, E.
    Lecture notes in computer science
    Vol. 1827, p. 271-290
    Data de publicació: 2000-04
    Article en revista
  • Axiomatic framework for developing BSP-style programs

     Gabarro, J.
    Parallel algorithms and applications
    Vol. 14, num. 4, p. 271-292
    Data de publicació: 2000-04
    Article en revista
  • H-colorings of large degree graphs  Accés obert

     Diaz, J.; Nesetril, J.; Serna, M.; Thilikos, D.
    Data: 2000-04
    Document cientificotècnic
    Accés al text complet
  • Monotone proofs of the pigeon hole principle  Accés obert

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Data: 2000-04
    Document cientificotècnic
    Accés al text complet
  • The Descriptive complexity of the fixed-points of bounded formulas  Accés obert

     Atserias, A.
    Data: 2000-04
    Document cientificotècnic
    Accés al text complet
  • Graph Pattern Matching using Constraint Satisfaction

     Valiente, G.
    Joint APPLIGRAPH and GETGRATS Workshop onnGraph Transformation Systems
    Data de presentació: 2000-03-25
    Presentació treball a congrés
  • Double-pullback graph transitions: a rule-based framework with incomplete information

     Orejas, F.
    Lecture notes in computer science
    num. 1764, p. 85-102
    Data de publicació: 2000-03
    Article en revista