Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 153
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 153 resultats
 
  • Construct, merge, solve and adapt: Application to the repetition-free longest common subsequence problem  Accés obert

     Blum, C.; Blesa, M.
    Lecture notes in computer science
    Vol. 9595, p. 46-57
    DOI: 10.1007/978-3-319-30698-8_4
    Data de publicació: 2016-03
    Article en revista
    Accés al text complet
  • Self-tracking reloaded: Applying process mining to personalized health care from labeled sensor data

     Sztyler, T.; Carmona, J.; Völker, J.; Stuckenschmidt, H.
    Lecture notes in computer science
    Vol. 9930, p. 160-180
    DOI: 10.1007/978-3-662-53401-4_8
    Data de publicació: 2016
    Article en revista
  • Mining conditional partial order graphs from event logs

     Mokhov, A.; Carmona, J.; Beaumont, J.
    Lecture notes in computer science
    Vol. 9930, p. 114-136
    DOI: 10.1007/978-3-662-53401-4_6
    Data de publicació: 2016
    Article en revista
  • Abstract constraint data types  Accés obert

     Fiadeiro, J.; Orejas, F.
    Lecture notes in computer science
    Vol. 8950, p. 155-170
    DOI: 10.1007/978-3-319-15545-6_12
    Data de publicació: 2015
    Article en revista
    Accés al text complet
  • Firefighting as a game  Accés obert

     Alvarez, C.; Blesa, M.; Molter, H.
    Lecture notes in computer science
    num. 8882, p. 108-119
    DOI: 10.1007/978-3-319-13123-8_9
    Data de publicació: 2014-12-10
    Article en revista
    Accés al text complet
  • 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
  • On the complexity of metric dimension

     Diaz, J.; Pottonen, O.; Serna, M.; van Leeuwen, E.J.
    Lecture notes in computer science
    Vol. 7501, p. 419-430
    DOI: 10.1007/978-3-642-33090-2_37
    Data de publicació: 2012-09-05
    Article en revista
  • Iterated greedy algorithms for the maximal covering location problem

     Rodríguez, F.; Blum, C.; Lozano, M.; García, C.
    Lecture notes in computer science
    Vol. 7245, p. 172-181
    DOI: 10.1007/978-3-642-29124-1_15
    Data de publicació: 2012
    Article en revista
  • An artificial bee colony algorithm for the unrelated parallel machines scheduling problem

     Rodríguez, F.; García, C.; Blum, C.; Lozano, M.
    Lecture notes in computer science
    Vol. 7492, p. 143-152
    DOI: 10.1007/978-3-642-32964-7_15
    Data de publicació: 2012
    Article en revista
  • Hiring above the m-th best candidate: a generalization of records in permutations

     Helmi, A.; Martinez, C.; Panholzer, A.
    Lecture notes in computer science
    num. 7256, p. 470-481
    DOI: 10.1007/978-3-642-29344-3_40
    Data de publicació: 2012
    Article en revista
  • Social-aware forwarding improves routing performance in pocket switched networks

     Diaz, J.; Marchetti, A.; Dieter, M.; Santi, P.; Stefa, J.
    Lecture notes in computer science
    Vol. 6942, p. 723-735
    Data de publicació: 2011-09-01
    Article en revista
  • Web services and Incerta Spiriti: a game theoretic approach to uncertainty

     Gabarro, J.; Serna, M.; Stewart, A.
    Lecture notes in computer science
    Vol. 6717, p. 651-662
    DOI: 10.1007/978-3-642-22152-1_55
    Data de publicació: 2011-06-24
    Article en revista
  • Solving the two-dimensional bin packing problem with a probabilistic multi-start heuristic

     Baumgartner, L.; Schmid, V.; Blum, C.
    Lecture notes in computer science
    Vol. 6683, p. 76-90
    DOI: 10.1007/978-3-642-25566-3_6
    Data de publicació: 2011
    Article en revista
  • Hybrid algorithms for the variable sized bin packing problem

     Blum, C.; Hemmelmayr, V.; Pibernat, H.H; Schmid, V.
    Lecture notes in computer science
    num. 6373, p. 16-30
    DOI: 10.1007/978-3-642-16054-7_2
    Data de publicació: 2010-10
    Article en revista
  • A hybrid metaheuristic for the longest common subsequence problem

     Lozano, M.; Blum, C.
    Lecture notes in computer science
    num. 6373, p. 1-15
    DOI: 10.1007/978-3-642-16054-7_1
    Data de publicació: 2010-10
    Article en revista
  • Reconstructing geometrically consistent tree structures from noisy images

     Türetken, E.; Blum, C.; González, G.; Fua, P.
    Lecture notes in computer science
    num. 6361, p. 291-299
    DOI: 10.1007/978-3-642-15705-9_36
    Data de publicació: 2010-09
    Article en revista
  • Stressed web environments as strategic games: Risk profiles and weltanschauung  Accés obert

     Gabarro, J.; Kilpatrick, P.; Serna, M.; Stewart, A.
    Lecture notes in computer science
    Vol. 6084, p. 189-204
    Data de publicació: 2010-07-15
    Article en revista
    Accés al text complet
  • A randomized iterated greedy algorithm for the founder sequence reconstruction problem

     Benedettini, S.; Blum, C.; Roli, A.
    Lecture notes in computer science
    num. 6073, p. 37-51
    DOI: 10.1007/978-3-642-13800-3_4
    Data de publicació: 2010-04
    Article en revista
  • Rank selection in multidimensional data

     Duch, A.; Jimenez, R.; Martinez, C.
    Lecture notes in computer science
    Vol. 6034, p. 674-685
    DOI: 10.1007/978-3-642-12200-2_58
    Data de publicació: 2010
    Article en revista
  • Interval sorting

     Jimenez, R.; Martinez, C.
    Lecture notes in computer science
    Vol. 6198, p. 238-249
    DOI: 10.1007/978-3-642-14165-2_21
    Data de publicació: 2010
    Article en revista
  • Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

     Serna, M.; Shaltiel, R.; Jansen, K.; Rolim, J.
    Lecture notes in computer science
    Vol. 6302, p. 1-12
    DOI: 10.1007/978-3-642-15369-3
    Data de publicació: 2010
    Article en revista
  • Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

     Orejas, F.; Guerra, E.; Lara, D.; Ehrig, H.
    Lecture notes in computer science
    Vol. 5728, p. 383-397
    Data de publicació: 2009-01
    Article en revista
  • Beam-ACO Based on Stochastic Sampling for Makespan Optimization Concerning the TSP with Time Windows

     Lopez-Ibañez, M.; Blum, C.; Thiruvady, D.; Ernst, A.; Meyer, B.
    Lecture notes in computer science
    Vol. 5482, num. -, p. 97-108
    DOI: 10.1007/978-3-642-01009-5_9
    Data de publicació: 2009-01
    Article en revista
  • A GA(TS) Hybrid Algorithm for Scheduling in Computational Grids

     Xhafa, F.; Gonzalez, J.; Dahal, K.; Abraham, A.
    Lecture notes in computer science
    Vol. 5572, p. 285-292
    Data de publicació: 2009-01
    Article en revista
  • Logic Synthesis of Handshake Components Using Structural Clustering Techniques

     Fernandez-Nogueira, F.; Carmona, J.
    Lecture notes in computer science
    Vol. 5349, p. 188-198
    Data de publicació: 2009-01
    Article en revista
  • Sensor field: a computational model

     Alvarez, C.; Duch, A.; Gabarro, J.; Serna, M.
    Lecture notes in computer science
    Vol. 5804, p. 3-14
    DOI: 10.1007/978-3-642-05434-1_3
    Data de publicació: 2009
    Article en revista
  • Pattern-based model-to-model transformation: handling attribute conditions

     Guerra, E.; Lara, J.; Orejas, F.
    Lecture notes in computer science
    Vol. 5563, p. 83-99
    DOI: 10.1007/978-3-642-02408-5_7
    Data de publicació: 2009
    Article en revista
  • On the power of mediators

     Diaz, J.; Dieter, M.; Rustagi, N.; Saia, J.
    Lecture notes in computer science
    Vol. 5929, p. 455-462
    DOI: 10.1007/978-3-642-10841-9
    Data de publicació: 2009
    Article en revista
  • Hybridizing Beam-ACO with constraint programming for single machine job scheduling

     Thiruvady, D.; Blum, C.; Meyer, B.; Ernst, A.
    Lecture notes in computer science
    Vol. 5818, p. 30-44
    DOI: 10.1007/978-3-642-04918-7_3
    Data de publicació: 2009
    Article en revista
  • Tabu search for the founder sequence reconstruction problem: a preliminary study

     Roli, A.; Blum, C.
    Lecture notes in computer science
    Vol. 5518, p. 1035-1042
    DOI: 10.1007/978-3-642-02481-8_157
    Data de publicació: 2009
    Article en revista
  • Beam-ACO based on stochastic sampling: a case study on the TSP with time windows

     López, M.; Blum, C.
    Lecture notes in computer science
    Vol. 5851, p. 59-73
    DOI: 10.1007/978-3-642-11169-3_5
    Data de publicació: 2009
    Article en revista
  • A compendium of heuristic methods for scheduling in computational grids

     Xhafa, F.; Abraham, A.
    Lecture notes in computer science
    Vol. 5788, p. 751-758
    DOI: 10.1007/978-3-642-04394-9
    Data de publicació: 2009
    Article en revista
  • On the specification and verification of model transformations

     Orejas, F.; Wirsing, M.
    Lecture notes in computer science
    Vol. 5700, p. 140-161
    DOI: 10.1007/978-3-642-04164-8_8
    Data de publicació: 2009
    Article en revista
  • The acquisition of linguistic competence for communicating propositional logic sentences

     Sierra-Santibáñez, J.; Santibáñez, J.
    Lecture notes in computer science
    Vol. 4995, p. 175-192
    DOI: 10.1007/978-3-540-87654-0_9
    Data de publicació: 2008-11
    Article en revista
  • Embedding and Confluence of Graph Transformations with Negative Application Conditions

     Lambers, L.; Hartmut, E.; Ulrike, P.; Orejas, F.
    Lecture notes in computer science
    num. 5214, p. 162-177
    Data de publicació: 2008-09
    Article en revista
  • Attributed Graph Constraints

     Orejas, F.
    Lecture notes in computer science
    num. 5214, p. 274-288
    DOI: 10.1007/978-3-540-87405-8_19
    Data de publicació: 2008-09
    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
  • Topic 9: Parallel and Distributed Programming

     Gabarro, J.
    Lecture notes in computer science
    Vol. 5168, p. 686-687
    DOI: 10.1007/978-3-540-85451-7_73
    Data de publicació: 2008-08
    Article en revista
  • On the Complexity of Equilibria Problems in Angel-Daemon Games

     Gabarro, J.; Garcia, A.; Serna, M.
    Lecture notes in computer science
    Vol. 5092, p. 31-40
    Data de publicació: 2008-06
    Article en revista
  • A Logic of Graph Constraints

     Orejas, F.; Hartmut, E.; Ulrike, P.
    Lecture notes in computer science
    num. 4961, p. 179-198
    Data de publicació: 2008-04
    Article en revista
  • Elasticity and Petri Nets

     Cortadella, J.; Kishinevsky, M.; Bufistov, D.; Carmona, J.; Julvez, J.
    Lecture notes in computer science
    Vol. 5100, p. 221-249
    Data de publicació: 2008-01
    Article en revista
  • Horn query learning with multiple refinement

     Sierra-Santibáñez, J.; Santibáñez, J.
    Lecture notes in computer science
    Vol. 5361, p. 503-513
    DOI: 10.1007/978-3-540-89694-4_51
    Data de publicació: 2008
    Article en revista
  • Supporting Effective Monitoring and Knowledge Building in Online Collaborative Learning Systems

     Caballé , Santi; Juan, A.; Xhafa, F.
    Lecture notes in computer science
    Vol. 5288, p. 205-214
    DOI: 10.1007/978-3-540-87781-3_23
    Data de publicació: 2008-01
    Article en revista
  • A Cut-Free and Invariant-Free Sequent Calculus for PLTL

     Gaintzarain, J.; Hermo, M.; Lucio, P.; Navarro, M.; Orejas, F.
    Lecture notes in computer science
    Vol. 4646, p. 481-495
    DOI: 10.1007/978-3-540-74915-8_36
    Data de publicació: 2007-09
    Article en revista
  • On the Complexity of Game Isomorphism

     Gabarro, J.; Garcia, A.; Serna, M.
    Lecture notes in computer science
    Vol. 4708, p. 559-571
    Data de publicació: 2007-08
    Article en revista
  • Random Models for Geometric Graphs

     Serna, M.
    Lecture notes in computer science
    Vol. 4525, p. 35
    Data de publicació: 2007-05
    Article en revista
  • Seeded Tree Alignment and Planar Tanglegram Layout

     Lozano, A.; Pinter, R.; Rokhlenko, O.; Valiente, G.; Ziv-Ukelson, M.
    Lecture notes in computer science
    Vol. 4645, p. 98-110
    DOI: 10.1007/978-3-540-74126-8_10
    Data de publicació: 2007-01
    Article en revista
  • Reconstructing Metabolic Pathways by Bidirectional Chemical Search

     Félix, L.; Rosselló, F.; Valiente, G.
    Lecture notes in computer science
    Vol. 4695, p. 217-232
    DOI: 10.1007/978-3-540-75140-3_15
    Data de publicació: 2007-01
    Article en revista
  • Probabilistic beam search for the longest common subsequence problem

     Blum, C.; Blesa, M.
    Lecture notes in computer science
    Vol. 4638, p. 150-161
    DOI: 10.1007/978-3-540-74446-7_11
    Data de publicació: 2007
    Article en revista
  • Minimal representations for majority games

     Freixas, J.; Molinero, X.; Roura, S.
    Lecture notes in computer science
    Vol. 4497, p. 297-306
    DOI: 10.1007/978-3-540-73001-9_31
    Data de publicació: 2007-01
    Article en revista