Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 97
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 97 resultats
 
  • Conformance Checking and Diagnosis in Process Mining  Accés obert

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Firefighting as a game

     Alvarez, C.; Blesa, M.; Molter, H.
    Workshop on Algorithms and Models for the Web Graph
    p. 108-119
    DOI: 10.1007/978-3-319-13123-8_9
    Data de presentació: 2014-12-18
    Presentació treball a congrés
  • 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
  • Single-entry single-exit decomposed conformance checking

     Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    Information systems
    Vol. 46, p. 102-122
    DOI: 10.1016/j.is.2014.04.003
    Data de publicació: 2014-12
    Article en revista
  • Process discovery algorithms using numerical abstract domains  Accés obert

     Carmona, J.; Cortadella, J.
    IEEE transactions on knowledge and data engineering
    Vol. 26, num. 12, p. 3064-3076
    DOI: 10.1109/TKDE.2013.156
    Data de publicació: 2014-12-01
    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
  • A hierarchical approach for generating regular floorplans  Accés obert

     San Pedro, J. de; Cortadella, J.; Roca, A.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 655-662
    DOI: 10.1109/ICCAD.2014.7001422
    Data de presentació: 2014-11-05
    Presentació treball a congrés
    Accés al text complet
  • Analysing web-orchestrations under stress using uncertainty profiles  Accés obert

     Gabarro, J.; Serna, M.; Stewart, A.
    Computer journal
    Vol. 57, num. 11, p. 1591-1615
    DOI: 10.1093/comjnl/bxt063
    Data de publicació: 2014-11-01
    Article en revista
    Accés al text complet
  • Bounded-width QBF is PSPACE-complete  Accés obert

     Atserias, A.; Oliva, S.
    Journal of computer and system sciences
    Vol. 80, num. 7, p. 1415-1429
    DOI: 10.1016/j.jcss.2014.04.014
    Data de publicació: 2014-11-01
    Article en revista
    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.
    International Conference on Cooperative Information Systems
    p. 345-363
    DOI: 10.1007/978-3-662-45563-0_20
    Data de presentació: 2014-10-31
    Presentació treball a congrés
    Accés al text complet
  • Decomposing alignment-based conformance checking of data-aware process models  Accés obert

     de Leoni, M.; Munoz-Gama, J.; Carmona, J.; Van der Aalst , W.M.P.
    International Conference on Cooperative Information Systems
    p. 3-20
    DOI: 10.1007/978-3-662-45563-0_1
    Data de presentació: 2014-10-29
    Presentació treball a congrés
    Accés al text complet
  • Parallel programming paradigms and frameworks in big data era

     Dobre, C.; Xhafa, F.
    International journal of parallel programming
    Vol. 42, num. 5, p. 710-738
    DOI: 10.1007/s10766-013-0272-7
    Data de publicació: 2014-10-01
    Article en revista
  • Smart care spaces: pervasive sensing technologies for at-home care

     Thomas, A.; Moore, P.; Evant, C.; Shah, H.; Sharma, M.; Mount, S.; Xhafa, F.; Pham, H.; Barolli, L.; Patel, A.; Wilcox, A.; Chapman, C.; Chima, P.
    International journal of Ad Hoc and ubiquitous computing
    Vol. 16, num. 4, p. 268-282
    DOI: 10.1504/IJAHUC.2014.064862
    Data de publicació: 2014-09-19
    Article en revista
  • Long non-coding RNAs as a source of new peptides  Accés obert

     Ruiz, J.; Messeguer, X.; Subirana, J.; Albà, M.
    eLife
    Vol. 3, p. 1-24
    DOI: 10.7554/eLife.03523
    Data de publicació: 2014-09-16
    Article en revista
    Accés al text complet
  • Correctness of incremental model synchronization with triple graph grammars

     Orejas, F.; Pino, E.
    Jornadas sobre Programación y Lenguajes
    p. 7-9
    Data de presentació: 2014-09-16
    Presentació treball a congrés
  • Absorption Time of the Moran Process

     Diaz, J.; Goldberg, L.; Richerby, D.; Serna, M.
    International Workshop on Randomization and Computation
    p. 630-642
    DOI: 10.4230/LIPIcs.APPROX-RANDOM.2014.630
    Data de presentació: 2014-09-06
    Presentació treball a congrés
  • Trustworthiness in P2P: performance behaviour of two fuzzy-based systems for JXTA-overlay platform

     Spaho, E.; Sakamoto, S.; Barolli, L.; Xhafa, F.; Ikeda, M.
    Soft computing
    Vol. 18, num. 9, p. 1783-1793
    DOI: 10.1007/s00500-013-1206-4
    Data de publicació: 2014-09-01
    Article en revista
  • An efficient PHR service system supporting fuzzy keyword search and fine-grained access control

     Xhafa, F.; Wang, J.; Chen, X.; Liu, J.; Li, J.; Krause, P.
    Soft computing
    Vol. 18, num. 9, p. 1795-1802
    DOI: 10.1007/s00500-013-1202-8
    Data de publicació: 2014-09
    Article en revista
  • A recommender system for process discovery  Accés obert

     Ribeiro, J.; Carmona, J.; Misir, M.; Sebag, M.
    International Conference on Business Process Management
    p. 67-83
    DOI: 10.1007/978-3-319-10172-9_5
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • PMLAB: An scripting environment for process mining  Accés obert

     Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 16-20
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • Can frogs find large independent sets in a decentralized way? Yes they can!  Accés obert

     Blum, C.; Blesa, M.; Calvo, B.
    International Conference on Swarm Intelligence
    p. 74-85
    DOI: 10.1007/978-3-319-09952-1_7
    Data de presentació: 2014-09
    Presentació treball a congrés
    Accés al text complet
  • M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

     Ehrig, H.; Golas, U.; Habel, A.; Lambers, L.; Orejas, F.
    Mathematical structures in computer science
    Vol. 24, num. 4
    DOI: 10.1017/S0960129512000357
    Data de publicació: 2014-08-01
    Article en revista
  • Selection by rank in K-dimensional binary search trees

     Duch, A.; Jimenez, R.; Martinez, C.
    Random structures and algorithms
    Vol. 45, num. 1, p. 14-37
    DOI: 10.1002/rsa.20476
    Data de publicació: 2014-08-01
    Article en revista
  • Formal analysis of model transformations based on triple graph grammars

     Hermann, F.; Ehrig, H.; Golas, U.; Orejas, F.
    Mathematical structures in computer science
    Vol. 24, num. 4, p. 1-57
    DOI: 10.1017/S0960129512000370
    Data de publicació: 2014-08-01
    Article en revista
  • Multikey quickselect

     Frias, L.; Roura, S.
    Algorithmica
    Vol. 69, num. 4, p. 958-973
    DOI: 10.1007/s00453-013-9775-2
    Data de publicació: 2014-08-01
    Article en revista
  • Structural and Computational Aspects of Simple and Influence Games  Accés obert

    Departament de Matemàtica Aplicada III, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Dissemination and Visualisation of Biological Data  Accés obert  Activitat premiada

     Gel, B.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • An agent-based model studying the acquisition of a language system of logical constructions  Accés obert

     Sierra-Santibáñez, J.
    AAAI Conference on Artificial Intelligence
    p. 350-357
    Data de presentació: 2014-07-29
    Presentació treball a congrés
    Accés al text complet
  • Correctness of incremental model synchronization with triple graph grammars  Accés obert

     Orejas, F.; Pino, E.
    International Conference on Model Transformation
    p. 74-90
    DOI: 10.1007/978-3-319-08789-4_6
    Data de presentació: 2014-07-21
    Presentació treball a congrés
    Accés al text complet
  • Solution concepts in influence games

     Riquelme, F.; Molinero, X.; Serna, M.
    Conference of the International Federation of Operational Research Societies
    p. 158
    Data de presentació: 2014-07-17
    Presentació treball a congrés
  • Automatic evaluation of context-free grammars (system description)

     Creus, C.; Godoy, G.
    International Conference on Rewriting Techniques and Applications
    p. 139-148
    DOI: 10.1007/978-3-319-08918-8-10
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • Tree automata with height constraints between brothers

     Creus, C.; Godoy, G.
    International Conference on Rewriting Techniques and Applications
    p. 149-163
    DOI: 10.1007/978-3-319-08918-8-11
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • Automatic evaluation of reductions between NP-complete problems

     Creus, C.; Fernandez, P.; Godoy, G.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 415-421
    DOI: 10.1007/978-3-319-09284-3_30
    Data de presentació: 2014-07-14
    Presentació treball a congrés
  • An operational framework to reason about policy behavior in trust management systems

     Edelmira Pasarella; Lobo, J.
    CEUR Workshop proceedings
    Vol. 1189
    Data de publicació: 2014-07-05
    Article en revista
  • A fuzzy-based reliability system for P2P communication considering local score, number of authentic files, and number of interactions parameters

     Liu, Y.; Spaho, E.; Ikeda, M.; Xhafa, F.; Caballé , Santi; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 205-210
    DOI: 10.1109/CISIS.2014.29
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Implementation of a medical support system considering P2P and IoT technologies

     Kolici, V.; Spaho, E.; Matsuo, K.; Caballé , Santi; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 101-106
    DOI: 10.1109/CISIS.2014.15
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Context-as-a-service: A service model for cloud-based systems

     Moore, P.; Xhafa, F.; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 379-385
    DOI: 10.1109/CISIS.2014.53
    Data de presentació: 2014-07-02
    Presentació treball a congrés
  • Intelligent services for Big data science

     Dobre, C.; Xhafa, F.
    Future generation computer systems
    Vol. 37, p. 267-281
    DOI: 10.1016/j.future.2013.07.014
    Data de publicació: 2014-07-01
    Article en revista
  • Tableau-based reasoning for graph properties

     Lambers, L.; Orejas, F.
    International Conference on Graph Transformations
    p. 17-32
    DOI: 10.1007/978-3-319-09108-2_2
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Performance evaluation of WMN-HC system for different number of mesh clients and mesh routers

     Spaho, E.; Chang, X.; Oda, T.; Ikeda, M.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 9-15
    DOI: 10.1109/CISIS.2014.2
    Data de presentació: 2014-07
    Presentació treball a congrés
  • A methodological approach to provide effective web-based training by using collaborative learning and social networks

     Caballé , Santi; Britch, D.; Barolli, L.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 64-71
    DOI: 10.1109/CISIS.2014.10
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Simulation, modeling, and performance evaluation tools for cloud applications

     Goga, K.; Terzo, O.; Ruiu, P.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 226-232
    DOI: 10.1109/CISIS.2014.32
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Evaluation of effects of grid shape in WMN-SA system for solution of node placement problem in WMNs

     Sakamoto, S.; Oda, T.; Kulla, E.; Xhafa, F.; Ikeda, M.; Barolli, L.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 113-119
    DOI: 10.1109/CISIS.2014.19
    Data de presentació: 2014-07
    Presentació treball a congrés
  • WMN-GA for node placement in WMN: evaluation and visualization using HotSpot Ad-Hoc method

     Barolli, A.; Oda, T.; Spaho, E.; Barolli, L.; Xhafa, F.; Takizawa, M.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 23-29
    DOI: 10.1109/CISIS.2014.4
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Towards an emotion labeling model to detect emotions in educational discourse

     Arguedas, M.; Daradoumis, A.; Xhafa, F.
    International Conference on Complex, Intelligent, and Software Intensive Systems
    p. 72-78
    DOI: 10.1109/CISIS.2014.11
    Data de presentació: 2014-07
    Presentació treball a congrés
  • Worker ranking determination in crowdsourcing platforms using aggregation functions  Accés obert

     Sanchez, D.; Nin, J.; Solé, M.; Muntés, V.
    IEEE International Conference on Fuzzy Systems
    p. 1801-1808
    DOI: 10.1109/FUZZ-IEEE.2014.6891807
    Data de presentació: 2014-07
    Presentació treball a congrés
    Accés al text complet
  • On the average performance of fixed partial match queries in random relaxed K-d trees

     Duch, A.; Lau, G.; Martinez, C.
    International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
    p. 103-114
    Data de presentació: 2014-06-20
    Presentació treball a congrés
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    IEEE Conference on Computational Complexity
    p. 286-297
    DOI: 10.1109/CCC.2014.36
    Data de presentació: 2014-06-11
    Presentació treball a congrés
    Accés al text complet
  • An operational framework to reason about policy behavior in trust management systems  Accés obert

     Edelmira Pasarella; Lobo, J.
    Alberto Mendelzon Workshop on Foundations of Data Management
    Data de presentació: 2014-06-05
    Presentació treball a congrés
    Accés al text complet
  • Power indices of influence games and new centrality measures for agent societies and social networks  Accés obert

     Molinero, X.; Riquelme, F.; Serna, M.
    Advances in Intelligent Systems and Computing
    Vol. 291, p. 23-30
    DOI: 10.1007/978-3-319-07596-9_3
    Data de publicació: 2014-06
    Article en revista
    Accés al text complet