Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 1543
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 1543 resultats
 
  • Supporting Decentralized Collaborative Processes in the Digital Transformation

     Sanchez, D.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Large neighborhood search for the most strings with few bad columns problem

     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
  • MetaShot: an accurate workflow for taxon classification of host-associated microbiome from shotgun metagenomic data

     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
  • Algorithms and Methodologies for lnterconnect Reliability Analysis of lntegrated Circuits

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Partial match queries in relaxed K-dt trees  Accés obert

     Duch, A.; Lau, G.
    Workshop on Analytic Algorithmics and Combinatorics
    p. 131-138
    DOI: 10.1137/1.9781611974775.13
    Data de presentació: 2017-01-16
    Presentació treball a congrés
    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
  • Amalgamation of domain specific languages with behaviour

     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
  • Max celebrity games

     Alvarez, C.; Messegue, A.
    Workshop on Algorithms and Models for the Web Graph
    p. 88-99
    DOI: 10.1007/978-3-319-49787-7
    Data de presentació: 2016-12-14
    Presentació treball a congrés
  • Fraud detection in energy consumption: a supervised approach

     Coma-Puig, B.; Carmona, J.; Gavaldà, R.; Alcoverro, S.; Martín, V.
    IEEE International Conference on Data Science and Advanced Analytics
    p. 120-129
    DOI: 10.1109/DSAA.2016.19
    Data de presentació: 2016-10-17
    Presentació treball a congrés
  • A general logic for reasoning about graph structures with paths

     Orejas, F.; Lambers, L.; Navarro, M.; Pino, E.
    Symposium on Formal Methods for Software Systems
    Data de presentació: 2016-10-10
    Presentació treball a congrés
  • 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
  • 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
  • Conditions for compatibility of components: The case of masters and slaves

     Beek, M.; Carmona, J.; Kleijn, J.
    International Symposium of Leveraging Applications of Formal Methods, Verification and Validation
    p. 784-805
    DOI: 10.1007/978-3-319-47166-2_55
    Data de presentació: 2016-10
    Presentació treball a congrés
  • Comparing MapReduce and pipeline implementations for counting triangles  Accés obert

     Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan
    Jornadas sobre Programación y Lenguajes
    p. 178-187
    Data de presentació: 2016-09-16
    Presentació treball a congrés
    Accés al text complet
  • A logic of graph conditions extended with paths  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.; Lambers, L.
    Jornadas sobre Programación y Lenguajes
    p. 1-15
    Data de presentació: 2016-09-15
    Presentació treball a congrés
    Accés al text complet
  • A unified approach for measuring precision and generalization based on anti-alignments

     van Dongen, B.; Carmona, J.; Chatain, T.
    International Conference on Business Process Management
    p. 39-56
    DOI: 10.1007/978-3-319-45348-4_3
    Data de presentació: 2016-09
    Presentació treball a congrés
  • Discovering duplicate tasks in transition systems for the simplification of process models

     San Pedro, J. de; Cortadella, J.
    International Conference on Business Process Management
    p. 108-124
    DOI: 10.1007/978-3-319-45348-4_7
    Data de presentació: 2016-09
    Presentació treball a congrés
  • Process model comparison based on cophenetic distance

     Sanchez, D.; Muntés, V.; Carmona, J.; Sole, M.
    International Conference on Business Process Management
    p. 141-158
    DOI: 10.1007/978-3-319-45468-9_9
    Data de presentació: 2016-09
    Presentació treball a congrés
  • A recursive paradigm for aligning observed behavior of large structured process models

     Taymouri, F.; Carmona, J.
    International Conference on Business Process Management
    p. 197-214
    DOI: 10.1007/978-3-319-45348-4_12
    Data de presentació: 2016-09
    Presentació treball a congrés
  • Non-homogenizable classes of finite structures  Accés obert

     Atserias, A.; Torunczyk, S.
    Annual Conference of the European Association for Computer Science Logic
    p. 1-16
    DOI: 10.4230/LIPIcs.CSL.2016.16
    Data de presentació: 2016-08-29
    Presentació treball a congrés
    Accés al text complet
  • On the cost of fixed partial match queries in K-d trees

     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
  • 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
  • Análisis de la evolución de un curso: productividad y desigualdad  Accés obert

     Blesa, M.; Duch, A.; Gabarro, J.; Petit, J.; Serna, M.
    Jornadas de Enseñanza Universitaria de la Informática
    p. 161-168
    Data de presentació: 2016-07-07
    Presentació treball a congrés
    Accés al text complet
  • Analyzing web-apps in evolving environments

     Gabarro, J.; Castro, J.; Serna, M.; Stewart, A.
    European Conference on Operational Research
    p. 113
    Data de presentació: 2016-07-04
    Presentació treball a congrés
  • A logic of graph conditions extended with paths  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.; Lambers, L.
    International Workshop on Graph Computation Models
    p. 1-15
    Data de presentació: 2016-07-04
    Presentació treball a congrés
    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
  • De Menos a Distinto: Estudio de la Implantación de R en las asignaturas del grado de estadística  Accés obert

     Baixeries, J.; Fairen, M.; Gabarro, J.; Edelmira Pasarella
    Jornadas de Enseñanza Universitaria de la Informática
    p. 253-260
    Data de presentació: 2016-07
    Presentació treball a congrés
    Accés al text complet
  • Anti-alignments in conformance checking: the dark side of process models

     Chatain, T.; Carmona, J.
    International Conference on Application and Theory of Petri Nets and Concurrency
    p. 240-258
    DOI: 10.1007/978-3-319-39086-4_15
    Data de presentació: 2016-06-19
    Presentació treball a congrés
  • 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
    Alberto Mendelzon Workshop on Foundations of Data Management
    p. 1-5
    Data de presentació: 2016-06-10
    Presentació treball a congrés
    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 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
  • Security-sensitive tackling of obstructed workflow executions  Accés obert

     Holderer, J.; Carmona, J.; Müller, G.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 126-137
    Data de presentació: 2016-06
    Presentació treball a congrés
    Accés al text complet
  • Computing alignments with constraint programming : the acyclic case

     Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R.
    International Workshop on Algorithms & Theories for the Analysis of Event Data
    p. 1-15
    Data de presentació: 2016-06
    Presentació treball a congrés
  • Preface

     Blesa, M.; Blum, C.; Cangelosi, A.; Cutello, V.; Di Nuovo, A.; Pavone, M.; Talbi, E.
    International Workshop on Hybrid Metaheuristics
    p. V-VI
    Data de presentació: 2016-06
    Presentació treball a congrés
  • Tree automata with constraints and tree homomorphisms  Accés obert

     Creus, C.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Ring oscillator clocks and margins  Accés obert

     Cortadella, J.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 19-26
    DOI: 10.1109/ASYNC.2016.14
    Data de presentació: 2016-05
    Presentació treball a congrés
    Accés al text complet
  • Specification mining for asynchronous controllers  Accés obert

     San Pedro, J. de; Bourgeat, T.; Cortadella, J.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 107-114
    DOI: 10.1109/ASYNC.2016.10
    Data de presentació: 2016-05
    Presentació treball a congrés
    Accés al text complet
  • Mining structured Petri nets for the visualization of process behavior  Accés obert

     San Pedro, J. de; Cortadella, J.
    ACM Symposium on Applied Computing
    p. 839-846
    DOI: 10.1145/2851613.2851645
    Data de presentació: 2016-04
    Presentació treball a congrés
    Accés al text complet
  • Many-valued institutions for constraint specification

     Chirita, C.; Fiadeiro, J.; Orejas, F.
    International Conference on Fundamental Approaches to Software Engineering
    p. 359-376
    DOI: 10.1007/978-3-662-49665-7_21
    Data de presentació: 2016-04
    Presentació treball a congrés
  • 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

     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
  • 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
  • Soluciones Efectivas basadas en la Lógica

     Rubio, A.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Rivero, J.; Rollon, E.; Rodriguez, E.; Oliveras, A.; Borralleras, C.; Aloysisus, M.
    Projecte R+D+I competitiu
  • 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
  • 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
  • Random partial match in quad-K-d trees

     Duch, A.; Lau, G.; Martinez, C.
    Latin American Theoretical Informatics Symposium
    p. 376-389
    DOI: 10.1007/978-3-662-49529-2_28
    Data de presentació: 2016
    Presentació treball a congrés
  • The HOM problem is EXPTIME-complete

     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
  • Continuous assessment in the evolution of a CS1 course: The pass rate/workload ratio

     Blesa, M.; Duch, A.; Gabarro, J.; Petit, J.; Serna, M.
    DOI: 10.1007/978-3-319-29585-5
    Data de publicació: 2016
    Capítol de llibre
    Imatge
  • A semantics of business configurations using symbolic graphs  Accés obert

     Mylonakis, N.; Orejas, F.; Fiadeiro, J.
    IEEE International Conference on Services Computing
    p. 146-153
    DOI: 10.1109/SCC.2015.29
    Data de presentació: 2015-12-29
    Presentació treball a congrés
    Accés al text complet