Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 52
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 50 de 52 resultats
 
  • Aligning textual and graphical descriptions of processes through ILP techniques  Accés obert

     Sànchez-Ferreres, J.; Carmona, J.; Padro, L.
    International Conference on Advanced Information Systems Engineering
    p. 413-427
    DOI: 10.1007/978-3-319-59536-8_26
    Data de presentació: 2017-06
    Presentació treball a congrés
    Accés al text complet
  • De Menos a Distinto: Estudio de la Implantación de R en las asignaturas del grado de estadística  Accés obert

     Baixeries, J.; Fairen, M.; Gabarro, J.; Edelmira Pasarella
    Jornadas de Enseñanza Universitaria de la Informática
    p. 253-260
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • Aprendizaje Computacional y Comunicación

     Arias, M.; Duarte-López, A.; Valentin Fernandez, J.; Arratia, A.; Hernandez Fernandez, A.; Casas, B.; Sierra-Santibáñez, J.; Baixeries, J.; Ferrer-i-Cancho, R.; Morrill, G.; Belanche, Ll.; Castro, J.; Balcazar, J. L.; Gavaldà, R.; Lozano, A.
    Projecte R+D+I competitiu
  • Gestió i Anàlisi de Dades Complexes

     Gavaldà, R.; Balcazar, J. L.; Morrill, G.; Castro, J.; Delgado, J.; Sierra-Santibáñez, J.; Arias, M.; Arratia, A.; Baixeries, J.; Ferrer-i-Cancho, R.; Valentin Fernandez, J.; Hernandez Fernandez, A.; Larriba, J.; Perez-Casany, M.; Prat, A.; Guisado, J.; Martinez, X.; Duarte-López, A.
    Projecte R+D+I competitiu
  • MINERIA EN DATOS BIOLOGICOS Y SOCIALES: ALGORITMOS, TEORIA E IMPLEMENTACION

     Gavaldà, R.; Morrill, G.; Quattoni, A.J.; Arratia, A.; B. Balle; Arias, M.; Casas, B.; Bifet, A.C.; Berral, J.; Lopez, J.; Baixeries, J.; Delgado, J.; Belanche, Ll.; Castro, J.; Lozano, A.; Ferrer-i-Cancho, R.; Sierra-Santibáñez, J.; Hernandez Fernandez, A.
    Projecte R+D+I competitiu
  • LARCA

     Gavaldà, R.; Delgado, J.; Sierra-Santibáñez, J.; Baixeries, J.; Arias, M.; Castro, J.; Bifet, A.C.; Lopez, J.; Morrill, G.; Balcazar, J. L.; Berral, J.; Quattoni, A.J.; Arratia, A.; B. Balle; Ferrer-i-Cancho, R.; Hernandez Fernandez, A.
    Projecte R+D+I competitiu
  • SECUENCIAS SIMBOLICAS:ANALISIS,APRENDIZAJE,MINERIA Y EVOLUCION - BARCELONA

     Gavaldà, R.; Arratia, A.; Sierra-Santibáñez, J.; Berral, J.; Lozano, A.; Baixeries, J.; Arias, M.; Morrill, G.; Bifet, A.C.; Lopez, J.; Delgado, J.; Ferrer-i-Cancho, R.; Quattoni, A.J.
    Projecte R+D+I competitiu
  • Algoritmos: Ingeniería y experimentación

     Martinez, C.; Duch, A.
    Projecte R+D+I competitiu
  • Improving the performance of multidimensional search using fingers

     Duch, A.; Martinez, C.
    ACM Journal of experimental algorithmics
    Vol. 10, p. 1-23
    DOI: 10.11455/1064546.1180615
    Data de publicació: 2005-11
    Article en revista
  • Multiple Sequence Alignment for characterizing the lineal structure of revision

     Alonso, L.; Castellón, I.; Escribano, J.; Messeguer, X.; Padro, L.
    4th International Conference on Languages Resources and Evaluation (LREC 2004)
    p. 1-2
    Presentació treball a congrés
  • Lower bounds for the weak pigeonhole principle and random formulas beyond resolution

     Atserias, A.; Bonet, M.; Esteban, J. L.
    Information and computation
    Vol. 176, num. 2, p. 136-152
    Data de publicació: 2002-08
    Article en revista
  • Connected and internal graph searching  Accés obert

     Barriere, E.; Fraigniaud, P.; Santoro, N.; Thilikos, D.
    Data: 2002-07
    Document cientificotècnic
    Accés al text complet
  • The complexity of resource-bounded propositional proofs  Activitat premiada

     Atserias, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Unsatisfiable Random Formulas Are Hard to Certify

     Atserias, A.
    Annual ACM/IEEE Symposium on Logic in Computer Science
    p. 325-334
    Data de presentació: 2002
    Presentació treball a congrés
  • Recontamination helps when searching a graph without jumping

     Barriere, E.; Thilikos, D.
    Combinatorics 2002
    p. 27-28
    Presentació treball a congrés
  • Kleene Award for Best Student Paper

     Atserias, A.
    Premi o reconeixement
  • On the automatizability of Resolution and related propositional proof systems

     Atserias, A.; Bonet, M.
    Annual Conference of the European Association for Computer Science Logic
    p. 569-583
    DOI: 10.1007/3-540-45793-3_38
    Data de presentació: 2002
    Presentació treball a congrés
  • Monotone proofs of the pigeon hole principle

     Atserias, A.; Galesi, N.; Gavaldà, R.
    Mathematical logic quarterly
    Vol. 47, num. 4, p. 461-474
    Data de publicació: 2001-09
    Article en revista
  • 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
  • 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
  • Monotone Proofs of the Pigeon Hole Principle

     Galesi, N.; Atserias, A.; Gavaldà, R.
    Electronic colloquium on computational complexity
    num. TR00-008, p. 1-13
    Data de publicació: 2000-02
    Article en revista
  • ALGGEN:portal de aplicaciones bioinformaticas

     Delgado, J.; Lozano, A.; Messeguer, X.
    I Jornadas de Bioinformatica
    p. 84
    Presentació treball a congrés
  • An Image Similarity Measure Based on Graph Matching

     Valiente, G.
    7th Int. Symp. String Processing and Information Retrieval
    p. 28-38
    Presentació treball a congrés
  • A Relational View of Subgraph Isomorphism

     Cortadella, J.; Valiente, G.
    5th International Seminar on RelationalnMethods in Computer Science
    p. 45-54
    Presentació treball a congrés
  • Graph pattern matching using constraint satisfaction

     Larrosa, J.; Valiente, G.
    Joint APPLIGRAPH and GETGRATS Workshop onnGraph Transformation Systems
    p. 189-196
    Presentació treball a congrés
  • A Relational view of subgraph isomorphism  Accés obert

     Cortadella, J.; Valiente, G.
    Data: 1999-10
    Document cientificotècnic
    Accés al text complet
  • Linear Orderings of random geometric graphs

     Diaz, J.; Petit, J.; Serna, M.
    Lecture notes in computer science
    Vol. 1665, p. 291-302
    Data de publicació: 1999-09
    Article en revista
  • Redundancy and subsumption in high-level replacement systems  Accés obert

     Valiente, G.; Kreowski, H.
    Data: 1999-07
    Document cientificotècnic
    Accés al text complet
  • Grammatica: an implementation of algebraic graph transformation on Mathematica  Accés obert

     Valiente, G.
    Data: 1999-07
    Document cientificotècnic
    Accés al text complet
  • Algebraic transformation of unary partial algebras II: single-pushout approach

     Burmeister, P.; Montserrat, M.; Rossello, F.; Valiente, G.
    Theoretical computer science
    Vol. 216, num. 1-2, p. 311-362
    DOI: 10.1016/S0304-3975(97)00282-X
    Data de publicació: 1999-03-06
    Article en revista
  • Grammatica: An Implementation of Algebraic Graph Rewriting on Mathematica

     Valiente, G.
    International Workshop on Theory and Applications of Graph Transformations (TAGT 98)
    p. 261-267
    Presentació treball a congrés
  • An Environment for Morphosyntactic Processing of Unrestricted Spanish Text

     Carmona, J.; Cervell, S.; Marquez, L.; Padro, L.; Placer, R.; Rodriguez, H.; Taulé, M.; Turmo, J.; Martí, M. A.
    International Conference on Language Resource & Evaluation
    p. 915-922
    Presentació treball a congrés
  • Redundancy and Subsumption in High Level Replacemet Systems

     Kreowski, H.; Valiente, G.
    International Workshop on Theory and Applications of Graph Transformations (TAGT 98)
    p. 242-250
    Presentació treball a congrés
  • Morphosyntactic Analysis and Parsing of Unrestricted Spanish Text

     Atserias, J.; Carmona, J.; Castellón, I.; Cervell, S.; Civit, M.; Marquez, L.; Martí, M. A.; Padro, L.; Placer, R.; Rodriguez, H.; Taulé, M.; Turmo, J.
    International Conference on Language Resource & Evaluation
    p. 1267-1274
    Presentació treball a congrés
  • Algebraic transformation of unary partial algebras I: double-pushout approach

     Burmeister, P.; Rossello, F.; Torrens, J.; Valiente, G.
    Theoretical computer science
    Vol. 184, num. 1-2, p. 145-193
    DOI: 10.1016/S0304-3975(96)00139-9
    Data de publicació: 1997-09-30
    Article en revista
  • Trade-offs for Real Applications of Graph Transformation

     Valiente, G.
    First APPLIGRAPH Worshop
    Data de presentació: 1997-06-27
    Presentació treball a congrés
  • Single-pushout rewriting in categories of spans I: the general setting  Accés obert

     Montserrat, M.; Francesc, R.; Torrens, J.; Valiente, G.
    Data: 1997-05
    Document cientificotècnic
    Accés al text complet
  • Single-pushout hypergraph rewriting through free completions  Accés obert

     Alberich, R.; Francesc, R.; Valiente, G.
    Data: 1997-02
    Document cientificotècnic
    Accés al text complet
  • Double-pushout hypergraph rewriting through free completions  Accés obert

     Burmeister, P.; Rosselló, F.; Valiente, G.
    Data: 1996-10
    Document cientificotècnic
    Accés al text complet
  • A Partial Algebras Approach to Graph Transformation

     Alberich, R.; Burmeister, P.; Rosselló, F.; Valiente, G.; Wojdylo, B.
    Data: 1996-10
    Document cientificotècnic
  • Algebraic transformation of unary partial algebras I: double-pushout approach  Accés obert

     Burmeister, P.; Monserrat, M.; Rosselló, F.; Valiente, G.
    Data: 1996-10
    Document cientificotècnic
    Accés al text complet
  • Rewriting Partial Graphs

     Valiente, G.
    Dagstuhl Seminar 9637 on Graph Transformations in Computer Science
    Data de presentació: 1996-09-09
    Presentació treball a congrés
  • A Partial Algebras Approach to Graph Transformation

     Alberich, R.; Burmeister, P.; Rosselló, F.; Valiente, G.; Wojdylo, B.
    Lecture notes in computer science
    Vol. 1073, num. 1, p. 1-15
    Data de publicació: 1996-07
    Article en revista
  • Do Journals honor LaTeX submissions?

     Valiente, G.
    Tugboat
    Vol. 17, num. 2, p. 191-199
    Data de publicació: 1996-06
    Article en revista
  • Algebraic transformation of unary partial algebras II: single-pushout approach  Accés obert

     Burmeister, P.; Montserrat, M.; Rosselló, F.; Valiente, G.
    Data: 1996-06
    Document cientificotècnic
    Accés al text complet
  • Rewriting in categories of spans  Accés obert

     Monserrat, M.; Rosselló, F.; Torrens, J.; Valiente, G.
    Data: 1996-03
    Document cientificotècnic
    Accés al text complet
  • Rewriting Partial Graphs

     Valiente, G.
    Dagstuhl Seminar 9637 on Graph Transformations in Computer Science
    p. 8
    Presentació treball a congrés