Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 407
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 407 resultats
 
  • Uncertainty analysis of simple macroeconomic models using Angel-Daemon games

     Gabarro, J.; Serna, M.
    Data: 2016-09-19
    Document cientificotècnic
  • Measuring satisfaction in societies with opinion leaders and mediators  Accés obert

     Molinero, X.; Riquelme, F.; Serna, M.
    Data: 2016-05-14
    Document cientificotècnic
  • Dimension and codimension of simple games

     Kurz, S.; Molinero, X.; Olsen, M.; Serna, M.
    DOI: arxiv.org/abs/1602.04328
    Data: 2016-02-13
    Document cientificotècnic
  • Modelling service-oriented computing with temporal symbolic graph transformation systems  Accés obert

     Mylonakis, N.; Orejas, F.; Fiadeiro, J.
    Data: 2015-12-21
    Document cientificotècnic
    Accés al text complet
  • Adaptive clock with useful jitter  Accés obert

     Cortadella, J.; Lavagno, L.; López, P.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    Data: 2015-05-19
    Document cientificotècnic
    Accés al text complet
  • On the complexity of exchanging  Accés obert

     Molinero, X.; Olsen, M.; Serna, M.
    Data: 2015-03-24
    Document cientificotècnic
    Accés al text complet
  • Stars and celebrities: A network creation game  Accés obert

     Alvarez, C.; Blesa, M.; Duch, A.; Messegue, A.; Serna, M.
    Data: 2015
    Document cientificotècnic
    Accés al text complet
  • A graph-semantics of business configurations  Accés obert

     Fiadeiro, J.; Mylonakis, N.; Orejas, F.
    Data: 2014
    Document cientificotècnic
    Accés al text complet
  • Firefighting as a Game  Accés obert

     Alvarez, C.; Blesa, M.; Molter, H.
    Data: 2014
    Document cientificotècnic
    Accés al text complet
  • Event-based real-time decomposed conformance analysis  Accés obert

     vanden Broucke, S.K.L.M.; Munoz-Gama, J.; Carmona, J.; Baesens, B.; Vanthienen, J.
    Data: 2013-12-13
    Document cientificotècnic
    Accés al text complet
  • Absorption time of the Moran process

     Diaz, J.; Goldberg, L.; Richerby, D.; Serna, M.
    Data: 2013-12-02
    Document cientificotècnic
  • On the stability of generalized second price auctions with budgets

     Diaz, J.; Giotis, I.; Kirousis, L.; Markakis, E.; Serna, M.
    Data: 2013-09-26
    Document cientificotècnic
  • Power indices of influence games and new centrality measures for social networks

     Molinero, X.; Riquelme, F.; Serna, M.
    Data: 2013-06-28
    Document cientificotècnic
  • Hierarchical conformance checking of process models based on event logs  Accés obert

     Muñoz, J.; Carmona, J.; Aalst, W. M.P.
    Data: 2013
    Document cientificotècnic
    Accés al text complet
  • Analysis of the strategy "Hiring above the alpha-quantile"  Accés obert

     Helmiy, A.; Martinez, C.; Panholzer, A.
    Data: 2012-11
    Document cientificotècnic
    Accés al text complet
  • On the fixation probability of superstars

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    Data: 2012-02-07
    Document cientificotècnic
  • A high-level strategy for C-net discovery  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Borrowed contexts for attributed graphs  Accés obert

     Orejas, F.; Boronat, A.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • An SMT-based discovery algorithm for C-nets  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Amending C-net discovery algorithms  Accés obert

     Solé, M.; Carmona, J.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Checking bisimilarity for attributed graph transformation  Accés obert

     Orejas, F.; Boronat, A.; Golas, U.; Mylonakis, N.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • A framework of hierarchical graphs and its application to the semantics of SRML  Accés obert

     Mylonakis, N.; Orejas, F.
    Data: 2012
    Document cientificotècnic
    Accés al text complet
  • Approximating fixation probabilities in the generalized Moran process

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    Data: 2011-11-11
    Document cientificotècnic
  • Planar metric dimension is NP-complete

     Diaz, J.; Pottonen, O.; van Leeuwen, E.J.
    Data: 2011-07-12
    Document cientificotècnic
  • Continuous monitoring in the dynamic sensor field model  Accés obert

     Alvarez, C.; Diaz, J.; Dieter, M.; Serna, M.
    Data: 2011-05
    Document cientificotècnic
    Accés al text complet
  • Computational models for networks of tiny artifacts

     Alvarez, C.; Chatzigiannakis, I.; Duch, A.; Gabarro, J.; Michail, O.; Serna, M.; Spirakis, P.G.
    Data: 2011-01-05
    Document cientificotècnic
  • Social-aware forwarding improves routing performance in pocket switched networks

     Diaz, J.; Marchetti, A.; Dieter, M.; Santi, P.; Stefa, J.
    Data: 2011-01-02
    Document cientificotècnic
  • Jutge.org  Accés obert

     Giménez, O.; Petit, J.; Roura, S.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Static task mapping for tiled chip multiprocessors with multiple voltage islands  Accés obert

     Nikitin, N.; Cortadella, J.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Enhancing precision in process conformance: stability, confidence and severity  Accés obert

     Muñoz, J.; Carmona, J.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Hiring above the m-th best candidate: a generalization of records in permutations  Accés obert

     Helmi, A.; Martinez, C.; Panholzer, A.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Highway construction for wireless sensor networks  Accés obert

     Segura, A.; Blesa, M.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Accés al text complet
  • On deletions in open addressing hashing  Accés obert

     Jimenez, R.; Martinez, C.
    Data: 2011
    Document cientificotècnic
    Accés al text complet
  • Introduction to programming

     Cortadella, J.; Gavaldà, R.; Orejas, F.
    Data: 2010-09-01
    Document cientificotècnic
  • Process mining meets abstract interpretation  Accés obert

     Carmona, J.; Cortadella, J.
    Data: 2010-07
    Document cientificotècnic
    Accés al text complet
  • Theoretical aspects of graph models for MANETS  Accés obert

     Diaz, J.; Dieter, M.; Santi, P.
    Data: 2010-03-01
    Document cientificotècnic
    Accés al text complet
  • A protocol for self-synchronized duty-cycling in sensor nenworks: generic implementation in Wiselib

     Hernandez, H.; Blesa, M.; Blum, C.; Baumgartner, T.; Fekete, S.; Kröller, A.
    Data: 2010
    Document cientificotècnic
  • Adapting a sensor net to the dynamic environment in a wildlife scenario: a case study

     Blesa, M.; Blum, C.; De Caro, A.; Degener, B.; Kempkes, B.; Leone, P.; Persiano, G.; Meyer auf der Heide, , F.; Mylonas, G.
    Data: 2010
    Document cientificotècnic
  • Process mining from a basis of state regions  Accés obert

     Sole, M.; Carmona, J.
    Data: 2010-01
    Document cientificotècnic
    Accés al text complet
  • Self-synchronized duty-cycling for sensor networks with energy harvesting capabilities: Implementation in Wiselib  Accés obert

     Hernández, H.; Baumgartner, T.; Blum, C.; Blesa, M.; Fekete, S.; Kröller, A.
    Data: 2010
    Document cientificotècnic
    Accés al text complet
  • The complexity of game isomorphism  Accés obert

     Gabarro, J.; Garcia-Holgado, A.; Serna, M.
    Data: 2010
    Document cientificotècnic
    Accés al text complet
  • Guía y Normas de Programación de las Prácticas de PS

     Jimenez, R.; Martinez, C.
    Data: 2009-12-20
    Document cientificotècnic
  • Rank selection in multidimensional data  Accés obert

     Duch, A.; Jimenez, R.; Martinez, C.
    Data: 2009-11-04
    Document cientificotècnic
    Accés al text complet
  • On the proper intervalization of colored caterpillar trees  Accés obert

     Alvarez, C.; Serna, M.
    Data: 2009-11-01
    Document cientificotècnic
    Accés al text complet
  • On the complexity of problems on simple games  Accés obert

     Freixas, J.; Molinero, X.; Olsen, M.; Serna, M.
    Data: 2009-10-08
    Document cientificotècnic
    Accés al text complet
  • Sensor field: a computational model  Accés obert

     Alvarez, C.; Duch, A.; Gabarro, J.; Serna, M.
    Data: 2009-09-23
    Document cientificotècnic
    Accés al text complet