Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 2441
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

101 a 150 de 2441 resultats
 
  • Satisfaction in oblivious and non-oblivious influence decision models

     Serna, M.; Molinero, X.; Riquelme, F.
    European Conference on Operational Research
    p. 97-
    Data de presentació: 2015-07-12
    Presentació treball a congrés
  • Entailment among probabilistic implications  Accés obert

     Atserias, A.; Balcazar, J. L.
    Annual ACM/IEEE Symposium on Logic in Computer Science
    p. 621-632
    DOI: 10.1109/LICS.2015.63
    Data de presentació: 2015-07-09
    Presentació treball a congrés
    Accés al text complet
  • Forms of representation for simple games: sizes, conversions and equivalences

     Molinero, X.; Riquelme, F.; Serna, M.
    Mathematical social sciences
    Vol. 76, p. 87-102
    DOI: 10.1016/j.mathsocsci.2015.04.008
    Data de publicació: 2015-07-01
    Article en revista
  • BioMaS: a modular pipeline for Bioinformatic analysis of Metagenomic AmpliconS  Accés obert

     Fosso, B.; Santamaria, M.; Marzano, M.; Alonso-Alemany, D.; Valiente, G.; Donvito, G.; monaco, A.; Notarangelo, P.; Pesole, G.
    BMC bioinformatics
    Vol. 16:203, p. 1-11
    DOI: 10.1186/s12859-015-0595-z
    Data de publicació: 2015-07-01
    Article en revista
    Accés al text complet
  • Area-efficient snoopy-aware NoC design for high-performance chip multiprocessor systems  Accés obert

     Roca, A.; Hernandez, C.; Lodde, M.; Flich Cardo, José
    Computers and electrical engineering
    Vol. 45, p. 374-385
    DOI: 10.1016/j.compeleceng.2015.04.020
    Data de publicació: 2015-07-01
    Article en revista
    Accés al text complet
  • Communication and compatibility in systems of systems: Correctness-by-construction  Accés obert

     Beek, M.; Carmona, J.; Kleijn, J.
    ERCIM news
    Vol. 2015, num. 102, p. 21-22
    Data de publicació: 2015-07-01
    Article en revista
    Accés al text complet
  • A method for assessing parameter impact on control-flow discovery algorithms  Accés obert

     Ribeiro, J.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 83-96
    Data de presentació: 2015-06-23
    Presentació treball a congrés
    Accés al text complet
  • Event log visualisation with conditional partial order graphs: from control flow to data  Accés obert

     Mokhov, A.; Carmona, J.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 16-30
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care  Accés obert

     Sztyler, T.; Völker, J.; Carmona, J.; Meier, O.; Stuckenschmidt, H.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 31-46
    Data de presentació: 2015-06-22
    Presentació treball a congrés
    Accés al text complet
  • Lower bounds for DNF-refutations of a relativized weak pigeonhole principle  Accés obert

     Atserias, A.; Mueller, M.; Oliva, S.
    Journal of symbolic logic
    Vol. 80, num. 2, p. 450-476
    DOI: 10.1017/jsl.2014.56
    Data de publicació: 2015-06-01
    Article en revista
    Accés al text complet
  • Influence games

     Molinero, X.; Riquelme, F.; Serna, M.
    Congreso Nacional de Estadística e Investigación Operativa
    p. 116-
    Data de presentació: 2015-05-26
    Presentació treball a congrés
  • A cost-benefit analysis of continuous assessment

     Duch, A.; Gabarro, J.; Petit, J.; Blesa, M.; Serna, M.
    International Conference on Computer Supported Education
    p. 57-66
    DOI: 10.5220/0005432300570066
    Data de presentació: 2015-05-25
    Presentació treball a congrés
  • 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
  • Uncertainty analysis in the IS-LM model  Accés obert

     Gabarro, J.; Serna, M.
    Data de publicació: 2015-05-10
    Capítol de llibre
    Accés al text complet
  • Cooperation through social influence  Accés obert

     Molinero, X.; Riquelme, F.; Serna, M.
    European journal of operational research
    Vol. 242, num. 3, p. 960-974
    DOI: 10.1016/j.ejor.2014.11.006
    Data de publicació: 2015-05-01
    Article en revista
    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
  • Model synchronization with triple graph grammars

     Pino, E.
    Workshop on Graph-based Technologies and Applications
    Data de presentació: 2015-03-18
    Presentació treball a congrés
  • Predicting fecal sources in waters with diverse pollution loads using general and molecular host-specific indicators and applying machine learning methods

     Casanovas, A.; Gómez, M.; Sanchez, D.; Belanche, Ll.; Muniesa, M.; Blanch, A.
    Journal of environmental management
    Vol. 151, p. 317-325
    DOI: 10.1016/j.jenvman.2015.01.002
    Data de publicació: 2015-03-15
    Article en revista
  • Model synchronization based on triple graph grammars: correctness, completeness and invertibility  Accés obert

     Hermann, F.; Ehrig, H.; Orejas, F.; Czarnecki, K.; Diskin, Z.; Xiong, Y.; Gottmann, S.; Engel, T.
    Software and systems modeling
    Vol. 14, num. 1, p. 241-269
    DOI: 10.1007/s10270-012-0309-1
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Partially definable forcing and bounded arithmetic  Accés obert

     Atserias, A.; Müller, M.
    Archive for mathematical logic
    Vol. 54, num. 1-2, p. 1-33
    DOI: 10.1007/s00153-014-0398-3
    Data de publicació: 2015-02-01
    Article en revista
    Accés al text complet
  • Measuring precision of modeled behavior  Accés obert

     Adriansyah, A.; Munoz-Gama, J.; Carmona, J.; van Dongen, B.; Aalst, W. M.P.
    Information systems and e-business management
    Vol. 13, num. 1, p. 37-67
    DOI: 10.1007/s10257-014-0234-7
    Data de publicació: 2015-02-01
    Article en revista
    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
  • 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
  • IEEE Fellow

     Cortadella, J.
    Premi o reconeixement
  • 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
  • An agent-based model of the emergence and transmission of a language system for the expression of logical combinations

     Sierra-Santibáñez, J.
    AAAI Conference on Artificial Intelligence
    p. 492-499
    Data de presentació: 2015-01
    Presentació treball a congrés
  • Linked data and linked APIs: similarities, differences, and challenges  Accés obert

     Verborgh, R.; Steiner, T.; Van de Walle, R.; Gabarro, J.
    International Conference on Extended Semantic Web Conference
    p. 272-284
    DOI: 10.1007/978-3-662-46641-4_20
    Data de presentació: 2015
    Presentació treball a congrés
    Accés al text complet
  • A retargetable and accurate methodology for logic-IP-internal electromigration assessment  Accés obert

     Jain, P.; Sapatnekar, S.; Cortadella, J.
    Asia and South Pacific Design Automation Conference
    p. 346-351
    DOI: 10.1109/ASPDAC.2015.7059029
    Data de presentació: 2015-01
    Presentació treball a congrés
    Accés al text complet
  • Conformance Checking and Diagnosis in Process Mining  Accés obert  Activitat premiada

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • 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
  • 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
  • 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