Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 84
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 84 resultats
 
  • 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
  • Emptiness and finiteness for tree automata with global reflexive disequality constraints

     Creus, C.; Gascon, A.; Godoy, G.
    Journal of automated reasoning
    Vol. 51, num. 4, p. 371-400
    DOI: 10.1007/s10817-012-9270-5
    Data de publicació: 2013-12-01
    Article en revista
  • A fuzzy-based reliability system for knowledge sharing between robots in P2P JXTA-overlay platform

     Spaho, E.; Umezaki, K.; Barolli, L.; Xhafa, F.; Younas, M.
    Cluster computing
    Vol. 16, num. 4, p. 933-945
    DOI: 10.1007/s10586-012-0230-y
    Data de publicació: 2013-12
    Article en revista
  • Distributed-based massive processing of activity logs for efficient user modeling in a Virtual Campus

     Caballé , Santi; Xhafa, F.
    Cluster computing
    Vol. 16, num. 4, p. 829-844
    DOI: 10.1007/s10586-013-0256-9
    Data de publicació: 2013-12
    Article en revista
  • Area-optimal transistor folding for 1-D gridded cell design  Accés obert

     Cortadella, J.
    IEEE transactions on computer-aided design of integrated circuits and systems
    Vol. 32, num. 11, p. 1708-1721
    DOI: 10.1109/TCAD.2013.2269680
    Data de publicació: 2013-11
    Article en revista
    Accés al text complet
  • Reasoning about orchestrations of web services using partial correctness

     Stewart, A.; Gabarro, J.; Keenan, A.
    Formal aspects of computing
    Vol. 25, num. 6, p. 833-846
    DOI: 10.1007/s00165-011-0212-5
    Data de publicació: 2013-11-01
    Article en revista
  • Non-linear rewrite closure and weak normalization

     Creus, C.; Godoy, G.; Massanes, F.; Tiwari, A.K.
    Journal of automated reasoning
    Vol. 51, num. 3, p. 281-324
    DOI: 10.1007/s10817-012-9262-5
    Data de publicació: 2013-10
    Article en revista
  • Experimental results from a MANET testbed in outdoor bridge environment considering BATMAN routing protocol

     Kulla, E.; Ikeda, M.; Oda, T.; Barolli, L.; Xhafa, F.; Biberaj, A.
    Computing
    Vol. 95, num. 10-11, p. 1073-1086
    DOI: 10.1007/s00607-012-0225-9
    Data de publicació: 2013-10
    Article en revista
  • Application of SmartBox end-device for medical care using JXTA-Overlay P2P system

     Barolli, L.; Spaho, E.; Xhafa, F.; Younas, M.
    Computing
    Vol. 95, num. 10-11, p. 1039-1051
    DOI: 10.1007/s00607-012-0233-9
    Data de publicació: 2013-10
    Article en revista
  • Beam-ACO for the repetition-free longest common subsequence problem

     Blum, C.; Blesa, M.; Calvo, B.
    Biennal International Conference on Artificial Evolution
    p. 187-198
    Data de presentació: 2013-10
    Presentació treball a congrés
  • 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
  • Membre de l'Academia Europaea

     Cortadella, J.
    Premi o reconeixement
  • Complexity of Computation and Reasoning Group

     Tzameret, I.; Atserias, A.
    Projecte R+D+I competitiu
  • Utilizing artificial neural networks and genetic algorithms to build an algo-trading model for intra-day foreign exchange speculation

     Evant, C.; Pappas, K.; Xhafa, F.
    Mathematical and computer modelling
    Vol. 58, num. 5-6, p. 1249-1266
    DOI: 10.1016/j.mcm.2013.02.002
    Data de publicació: 2013-09
    Article en revista
  • 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
  • The HOM problem is decidable

     Godoy, G.; Giménez, O.
    Journal of the ACM
    Vol. 60, num. 4, p. Article 23-
    DOI: 10.1145/2501600
    Data de publicació: 2013-07-18
    Article en revista
  • Centrality measures based on power indices for social networks

     Molinero, X.; Riquelme, F.; Serna, M.
    European Conference on Operational Research
    p. 413
    Data de presentació: 2013-07-04
    Presentació treball a congrés
  • WMN-GA system for node placement in WMNs: effect of grid shape

     Oda, T.; Spaho, E.; Barolli, A.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 47-56
    DOI: 10.1007/978-94-007-6996-0_6
    Data de presentació: 2013-07
    Presentació treball a congrés
  • WMN-GA system for node placement in WMNs: performance evaluation for weibull distribution of mesh clients

     Barolli, A.; Oda, T.; Xhafa, F.; Barolli, L.; Papajorgji , P.; Takizawa, M.
    IEEE International Conference on Advanced Information Networking and Applications Workshops
    p. 223-231
    DOI: 10.1007/978-94-007-6996-0_24
    Data de presentació: 2013-07
    Presentació treball a congrés
  • The proof-search problem between bounded-width resolution and bounded-degree semi-algebraic proofs

     Atserias, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 1-17
    DOI: 10.1007/978-3-642-39071-5_1
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of OLSR protocol in a grid manhattan VANET scenario for different applications

     Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.; Kolici, V.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 47-52
    DOI: 10.1109/CISIS.2013.18
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A fuzzy-based system to evaluate the peer reliability in JXTA-Overlay P2P

     Umezaki, K.; Spaho, E.; Barolli, L.; Xhafa, F.; Barolli, V.; Iwashige, J.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 111-116
    DOI: 10.1109/CISIS.2013.26
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of WMNs using hill climbing algorithm considering giant component and different distributions

     Chang, X.; Oda, T.; Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 161-167
    DOI: 10.1007/978-94-007-6996-0_17
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Data as a Service (DaaS) for sharing and processing of large data collections in the cloud

     Terzo, O.; Ruiu, P.; Bucci, E.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 475-480
    DOI: 10.1109/CISIS.2013.87
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance evaluation of WMN-GA system for node placement in WMNs considering exponential and Weibull Distribution of mesh clients and different selection and mutation operators

     Barolli, A.; Oda, T.; Barolli, L.; Xhafa, F.; Takizawa, M.; Papajorgji , P.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 169-175
    DOI: 10.1109/CISIS.2013.35
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Effect of AODV HELLO packets for different mobility degrees

     Kulla, E.; Hiyama, M.; Ikeda, M.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 21-26
    DOI: 10.1109/CISIS.2013.14
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Using STK toolkit for evaluating a GA base algorithm for ground station scheduling

     Xhafa, F.; Herrero , X.; Barolli, A.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 265-273
    DOI: 10.1109/CISIS.2013.50
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A hill climbing algorithm for ground station scheduling

     Xhafa, F.; Herrero, J.; Barolli, A.; Takizawa, M.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 131-139
    DOI: 10.1007/978-94-007-6996-0-14
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance comparison of OLSR and AODV protocols in a VANET crossroad scenario

     Spaho, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 37-45
    DOI: 10.1007/978-94-007-6996-0_5
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Robot control architectures: a survey

     Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 863-871
    DOI: 10.1007/978-94-007-6996-0_90
    Data de presentació: 2013-07
    Presentació treball a congrés
  • An IoT-based framework for supporting children with autism spectrum disorder

     Sula, A.; Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.; Miho, R.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 193-202
    DOI: 10.1007/978-94-007-6996-0_21
    Data de presentació: 2013-07
    Presentació treball a congrés
  • A fuzzy-based system for evaluation of trustworthiness for P2P communication in JXTA-overlay

     Umezaki, K.; Spaho, E.; Matsuo, K.; Barolli, L.; Xhafa, F.; Iwashige, J.
    International Conference on Information Technology Convergence and Services and International Conference on Intelligent Robotics, Automations, Telecommunication Facilities, and Applications
    p. 451-460
    DOI: 10.1007/978-94-007-6996-0_47
    Data de presentació: 2013-07
    Presentació treball a congrés
  • Performance analysis of WMNs using simulated annealing algorithm for different temperature values

     Sakamoto, S.; Oda, T.; Kulla, E.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 164-168
    DOI: 10.1109/CISIS.2013.34
    Data de presentació: 2013-07
    Presentació treball a congrés
  • 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

     Munoz-Gama, J.; Carmona, J.; Aalst, W. M.P.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 291-310
    DOI: 10.1007/978-3-642-38697-8_16
    Data de presentació: 2013-06-28
    Presentació treball a congrés
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Müller, M.; Oliva, S.
    IEEE Conference on Computational Complexity
    p. 109-120
    DOI: 10.1109/CCC.2013.20
    Data de presentació: 2013-06-05
    Presentació treball a congrés
    Accés al text complet
  • Evaluation of contact synchronization algorithms for the Android platform

     Segui, V.; Xhafa, F.
    Mathematical and computer modelling
    Vol. 57, num. 11-12, p. 2895-2903
    DOI: 10.1016/j.mcm.2011.12.039
    Data de publicació: 2013-06
    Article en revista
  • On the fixation probability of superstars

     Diaz, J.; Goldberg, L.; Mertzios, G.B.; Richerby, D.; Serna, M.; Spirakis, P.G.
    Proceedings of the Royal Society A. Mathematical physical and engineering sciences
    Vol. 469, num. 2156, p. 20130193-
    DOI: 10.1098/rspa.2013.0193
    Data de publicació: 2013-05-29
    Article en revista
  • Star-shaped mediation in influence games  Accés obert

     Molinero, X.; Riquelme, F.; Serna, M.
    Cologne-Twente Workshop on Graphs and Combinatorial Optimization
    p. 179-182
    Data de presentació: 2013-05-21
    Presentació treball a congrés
    Accés al text complet
  • Fun in CS2

     Duch, A.; Petit, J.; Rodriguez, E.; Roura, S.
    International Conference on Computer Supported Education
    p. 437-442
    DOI: 10.5220/0004389604370442
    Data de presentació: 2013-05-07
    Presentació treball a congrés
  • Compatibility in a multi-component environment

     Carmona, J.; Kleijn, J.
    Theoretical computer science
    Vol. 484, p. 1-15
    DOI: 10.1016/j.tcs.2013.03.006
    Data de publicació: 2013-05-06
    Article en revista
  • On the Complexity of Resolution-based Proof Systems  Accés obert

     Oliva, S.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • A satellite explosion in the genome of holocentric nematodes

     Subirana, J.; Messeguer, X.
    PLoS one
    Vol. 8, num. 4
    DOI: 10.1371/journal.pone.0062221
    Data de publicació: 2013-04-24
    Article en revista
  • Fibonacci BSTs: a new balancing method for binary search trees

     Roura, S.
    Theoretical computer science
    Vol. 482, p. 48-59
    DOI: 10.1016/j.tcs.2012.11.027
    Data de publicació: 2013-04-22
    Article en revista
  • The Hiring Problem and its Algorithmic Applications  Accés obert

     Helmi, A.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Automatic Synthesis and Optimization of Chip Multiprocessors  Accés obert

     Nikitin, N.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • On the hardness of game equivalence under local isomorphism

     Gabarro, J.; Garcia, A.; Serna, M.
    RAIRO. Theoretical informatics and applications
    Vol. 47, num. 2, p. 147-169
    DOI: 10.1051/ita/2012024
    Data de publicació: 2013-04
    Article en revista