Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 762
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 762 resultats
 
  • Incorporating negative information to process discovery of complex systems

     Ponce de León, H.; Nardelli, L.; Carmona, J.; vanden Broucke, S.K.L.M.
    Information sciences
    Vol. 422, p. 480-496
    DOI: 10.1016/j.ins.2017.09.027
    Data de publicació: 2018-01-01
    Article en revista
  • Centrality measure in social networks based on linear threshold model

     Riquelme, F.; Gonzalez, P.; Molinero, X.; Serna, M.
    Knowledge-based systems
    DOI: 10.1016/j.knosys.2017.10.029
    Data de publicació: 2017-10-31
    Article en revista
  • Large neighborhood search for the most strings with few bad columns problem  Accés obert

     Lizárraga, E.; Blesa, M.; Blum, C.; Raidl, G.
    Soft computing
    Vol. 21, num. 17, p. 4901-4915
    DOI: 10.1007/s00500-016-2379-4
    Data de publicació: 2017-09
    Article en revista
    Accés al text complet
  • Jutge.org: characteristics and experiences  Accés obert

     Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
    IEEE transactions on learning technologies
    DOI: 10.1109/TLT.2017.2723389
    Data de publicació: 2017-07-04
    Article en revista
    Accés al text complet
  • MetaShot: an accurate workflow for taxon classification of host-associated microbiome from shotgun metagenomic data  Accés obert

     Fosso, B.; Santamaria, M.; D'Antonio, M.; Lovero, D.; Corrado, G.; Vizza, E.; Passaro, N.; Garbuglia, A.; Capobianchi, M.; Crescenzi, M.; Valiente, G.; Pesole, G.
    Bioinformatics
    Vol. 33, num. 11, p. 1730-1732
    DOI: 10.1093/bioinformatics/btx036
    Data de publicació: 2017-06-01
    Article en revista
    Accés al text complet
  • Comparing MapReduce and pipeline implementations for counting triangles  Accés obert

     Edelmira Pasarella; Vidal, M.; Zoltan, A.
    Electronic proceedings in theoretical computer science
    Vol. 237, p. 20-33
    DOI: 10.4204/EPTCS.237.2
    Data de publicació: 2017-01-11
    Article en revista
    Accés al text complet
  • The pragmatic proof: hypermedia API composition and execution  Accés obert

     Verborgh, R.; Arndt, D.; Van Hoecke, S.; De Roo, J.; Mels, G.; Steiner, T.; Gabarro, J.
    Theory and practice of logic programming
    Vol. 17, num. 1, p. 1-48
    DOI: 10.1017/S1471068416000016
    Data de publicació: 2017-01-01
    Article en revista
    Accés al text complet
  • Amalgamation of domain specific languages with behaviour  Accés obert

     Duran, F.; Moreno-Delgado, A.; Orejas, F.; Zschaler, S.
    Journal of logical and algebraic methods in programming
    Vol. 86, num. 1, p. 208-235
    DOI: 10.1016/j.jlamp.2015.09.005
    Data de publicació: 2017-01-01
    Article en revista
    Accés al text complet
  • On the proof complexity of Paris-Harrington and off-diagonal Ramsey tautologies

     Carlucci, L.; Galesi, N.; Lauria, M.
    ACM transactions on computational logic
    Vol. 17, num. 4, p. 26:1-26:25
    DOI: 10.1145/2946801
    Data de publicació: 2016-11-01
    Article en revista
  • Dimension and codimension of simple games

     Kurz, S.; Molinero, X.; Olsen, M.; Serna, M.
    Electronic notes in discrete mathematics
    Vol. 55, p. 147-150
    DOI: 10.1016/j.endm.2016.10.037
    Data de publicació: 2016-11-01
    Article en revista
  • Celebrity games

     Alvarez, C.; Blesa, M.; Duch, A.; Messegue, A.; Serna, M.
    Theoretical computer science
    Vol. 648, p. 56-71
    DOI: 10.1016/j.tcs.2016.08.005
    Data de publicació: 2016-10-04
    Article en revista
  • The complexity of measuring power in generalized opinion leader decision models

     Molinero, X.; Serna, M.
    Electronic notes in discrete mathematics
    Vol. 54, p. 205-210
    DOI: 10.1016/j.endm.2016.09.036
    Data de publicació: 2016-10
    Article en revista
  • Network formation for asymmetric players and bilateral contracting  Accés obert

     Alvarez, C.; Serna, M.; Fernandez, A.
    Theory of computing systems
    Vol. 59, num. 3, p. 397-415
    DOI: 10.1007/s00224-015-9640-6
    Data de publicació: 2016-10-01
    Article en revista
    Accés al text complet
  • On the relation between graph distance and Euclidean distance in random geometric graphs

     Diaz, J.; Dieter, M.; Perarnau-Llobet, G.; Pérez-Giménez, X.
    Advances in applied probability
    Vol. 48, num. 3, p. 848-864
    DOI: 10.1017/apr.2016.31
    Data de publicació: 2016-09-01
    Article en revista
  • On the cost of fixed partial match queries in K-d trees  Accés obert

     Duch, A.; Lau, G.; Martinez, C.
    Algorithmica
    Vol. 75, num. 4, p. 684-723
    DOI: 10.1007/s00453-015-0097-4
    Data de publicació: 2016-08-01
    Article en revista
    Accés al text complet
  • Absorption time of the Moran process  Accés obert

     Diaz, J.; Goldberg, L.; Richerby, D.; Serna, M.
    Random structures and algorithms
    Vol. 49, num. 1, p. 137-159
    DOI: 10.1002/rsa.20617
    Data de publicació: 2016-08-01
    Article en revista
    Accés al text complet
  • Analysis of pivot sampling in dual-pivot Quicksort: A holistic analysis of Yaroslavskiy's partitioning scheme  Accés obert

     Nebel, M.; Wild, S.; Martinez, C.
    Algorithmica
    Vol. 75, num. 4, p. 632-683
    DOI: 10.1007/s00453-015-0041-7
    Data de publicació: 2016-08
    Article en revista
    Accés al text complet
  • Narrow proofs may be maximally long  Accés obert

     Atserias, A.; Lauria, M.; Nordström, J.
    ACM transactions on computational logic
    Vol. 17, num. 3, p. 19:1-19:30
    DOI: 10.1145/2898435
    Data de publicació: 2016-07-03
    Article en revista
    Accés al text complet
  • On the stability of generalized second price auctions with budgets

     Diaz, J.; Giotis, I.; Kirousis, L.; Markakis, E.; Serna, M.
    Theory of computing systems
    Vol. 59, num. 1, p. 1-23
    DOI: 10.1007/s00224-015-9634-4
    Data de publicació: 2016-07
    Article en revista
  • Complexity and dynamics of the winemaking bacterial communities in berries, musts, and wines from apulian grape cultivars through time and space  Accés obert

     Marzano, M.; Fosso, B.; Manzari, C.; Grieco, F.; Intranuovo, M.; Cozzi, G.; Mule, G.; Scoscia, G.; Valiente, G.; Tullo, A.; Sbisa, E.; Pesole, G.; Santamaria, M.
    PLoS one
    Vol. 11, num. 6, p. 1-19
    DOI: 10.1371/journal.pone.0157383
    Data de publicació: 2016-06-14
    Article en revista
    Accés al text complet
  • MapReduce vs. pipelining counting triangles  Accés obert

     Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan
    CEUR Workshop proceedings
    Vol. 1644, p. 1-5
    Data de publicació: 2016-06
    Article en revista
    Accés al text complet
  • A rank lower bound for cutting planes proofs of Ramsey's Theorem

     Lauria, M.
    ACM Transactions on Computation Theory
    Vol. 8, num. 4, p. 17-
    DOI: 10.1145/2903266
    Data de publicació: 2016-06
    Article en revista
  • A fast and retargetable framework for logic-IP-internal electromigration assessment comprehending advanced waveform effects  Accés obert

     Jain, P.; Cortadella, J.; Sapatnekar, S.
    IEEE transactions on very large scale integration (VLSI) systems
    Vol. 24, num. 6, p. 2345-2358
    DOI: 10.1109/TVLSI.2015.2505504
    Data de publicació: 2016-06-01
    Article en revista
    Accés al text complet
  • Firefighting as a strategic game  Accés obert

     Alvarez, C.; Blesa, M.; Molter, H.
    Internet Mathematics
    Vol. 12, num. 1-2, p. 101-120
    DOI: 10.1080/15427951.2015.1110542
    Data de publicació: 2016-03-31
    Article en revista
    Accés al text complet
  • 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
  • Quad-kd trees: A general framework for kd trees and quad trees

     Bereczky, N.; Duch, A.; Németh, K.; Roura, S.
    Theoretical computer science
    Vol. 616, p. 126-140
    DOI: 10.1016/j.tcs.2015.12.030
    Data de publicació: 2016-02-22
    Article en revista
  • On the complexity of exchanging

     Molinero, X.; Olsen, M.; Serna, M.
    Information processing letters
    Vol. 116, num. 6, p. 437-441
    DOI: 10.1016/j.ipl.2016.01.004
    Data de publicació: 2016-02-04
    Article en revista
  • The HOM problem is EXPTIME-complete  Accés obert

     Creus, C.; Gascon, A.; Godoy, G.; Ramos, L.
    SIAM journal on computing
    Vol. 45, num. 4, p. 1230-1260
    DOI: 10.1137/140999104
    Data de publicació: 2016
    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
  • RTL synthesis: From logic synthesis to automatic pipelining  Accés obert

     Cortadella, J.; Galceran, M.; Kishinevsky, M.; Sapatnekar, S.
    Proceedings of the IEEE
    Vol. 103, num. 11, p. 2061-2075
    DOI: 10.1109/JPROC.2015.2456189
    Data de publicació: 2015-11-01
    Article en revista
    Accés al text complet
  • A MOOC on Approaches to Machine Translation  Accés obert

     Ruiz, M.; Formiga, L.; Torrillas, O.; Petit, J.; Fonollosa, José A. R.
    International review of research in open and distance learning
    Vol. 16, num. 6, p. 174-205
    DOI: 10.19173/irrodl.v16i6.2145
    Data de publicació: 2015-11-01
    Article en revista
    Accés al text complet
  • High evolutionary turnover of satellite families in Caenorhabditis  Accés obert

     Subirana, J.; Albà, M.; Messeguer, X.
    BMC evolutionary biology
    Vol. 15:218, p. 1-13
    DOI: 10.1186/s12862-015-0495-x
    Data de publicació: 2015-10-05
    Article en revista
    Accés al text complet
  • Clustering media items stemming from multiple social networks  Accés obert

     Steiner, T.; Verborgh, R.; Gabarro, J.; Mannens, E.; Van de Walle, R.
    Computer journal
    Vol. 58, num. 9, p. 1861-1875
    DOI: 10.1093/comjnl/bxt147
    Data de publicació: 2015-09-27
    Article en revista
    Accés al text complet
  • FrogCOL and FrogMIS: new decentralized algorithms for finding large independent sets in graphs  Accés obert

     Blum, C.; Calvo, B.; Blesa, M.
    Swarm intelligence
    Vol. 9, num. 2-3, p. 205-227
    DOI: 10.1007/s11721-015-0110-1
    Data de publicació: 2015-09-01
    Article en revista
    Accés al text complet
  • SafeRazor: Metastability-robust adaptive clocking in resilient circuits  Accés obert

     Cannizzaro, M.; Beer, S.; Cortadella, J.; Ginosar, R.; Lavagno, L.
    IEEE transactions on circuits and systems I: regular papers
    Vol. 62, num. 9, p. 2238-2247
    DOI: 10.1109/TCSI.2014.2365878
    Data de publicació: 2015-09-01
    Article en revista
    Accés al text complet
  • Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework  Accés obert

     Edelmira Pasarella; Lobo, Jorge
    Proceedings of the IEEE
    p. 232-242
    DOI: 10.1109/CSF.2015.23
    Data de publicació: 2015-07-17
    Article en revista
    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
  • 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
  • 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
  • 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
  • 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
  • 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