Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 2455
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 2455 resultats
 
  • Centrality measure in social networks based on linear threshold model

     Riquelme, F.; Gonzalez, P.; Molinero, X.; Serna, M.
    Knowledge-based systems
    Vol. 140, p. 92-102
    DOI: 10.1016/j.knosys.2017.10.029
    Data de publicació: 2018-01-15
    Article en revista
  • 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
  • Hybrid techniques based on solving reduced problem instances for a longest common subsequence problem

     Blum, C.; Blesa, M.
    Applied soft computing
    Vol. 62, p. 15-28
    DOI: 10.1016/j.asoc.2017.10.005
    Data de publicació: 2018-01-01
    Article en revista
  • Evolution of tandem repeat satellite sequences in two closely related caenorhabditis species: Diminution of satellites in hermaphrodites  Accés obert

     Subirana, J.; Messeguer, X.
    Genes
    Vol. 8, num. 12, p. 1-17. Article 351
    DOI: 10.3390/genes8120351
    Data de publicació: 2017-11-28
    Article en revista
    Accés al text complet
  • Supporting decentralized collaborative processes in the digital transformation  Accés obert

     Sanchez, D.
    Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • 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
  • Generalized satisfiability problems via operator assignments

     Atserias, A.; Kolaitis, Ph.; Severini, S.
    International Conference on Fundamentals of Computation Theory
    p. 56-68
    DOI: 10.1007/978-3-662-55751-8_6
    Data de presentació: 2017-09
    Presentació treball a congrés
  • Partial match in hierarchical multidimensional data structures

     Duch, A.; Lau, G.; Martinez, C.
    ACM Celebration of Women in Computing
    p. 1
    Data de presentació: 2017-09
    Presentació treball a congrés
  • 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
  • An angel-daemon approach to assess the uncertainty in the power of a collectivity to act

     Fragnito, G.; Gabarro, J.; Serna, M.
    European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    p. 318-328
    DOI: 10.1007/978-3-319-61581-3_29
    Data de presentació: 2017-07-03
    Presentació treball a congrés
  • A datalog framework for modeling relationship-based access control policies  Accés obert

     Edelmira Pasarella; Lobo, J.
    ACM Symposium on Access Control Models and Technologies
    p. 91-102
    DOI: 10.1145/3078861.3078871
    Data de presentació: 2017-06-21
    Presentació treball a congrés
    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
  • Aligning textual and graphical descriptions of processes through ILP techniques  Accés obert

     Sànchez-Ferreres, J.; Carmona, J.; Padro, L.
    International Conference on Advanced Information Systems Engineering
    p. 413-427
    DOI: 10.1007/978-3-319-59536-8_26
    Data de presentació: 2017-06
    Presentació treball a congrés
    Accés al text complet
  • A hybrid evolutionary algorithm based on solution merging for the longest arc-preserving common subsequence problem

     Blum, C.; Blesa, M.
    IEEE Congress on Evolutionary Computation
    p. 129-136
    DOI: 10.1109/CEC.2017.7969305
    Data de presentació: 2017-06
    Presentació treball a congrés
  • Algorithms and Methodologies for lnterconnect Reliability Analysis of lntegrated Circuits  Accés obert

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • Construct, merge, solve and adapt versus large neighborhood search for solving the multi-dimensional Knapsack problem: Which one works better when?

     Lizárraga, E.; Blesa, M.; Blum, C.
    European Conference on Evolutionary Computation in Combinatorial Optimization
    p. 60-74
    DOI: 10.1007/978-3-319-55453-2_5
    Data de presentació: 2017-04
    Presentació treball a congrés
  • 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
  • Best paper award FCT

     Atserias, A.; Kolaitis, Ph.; Severini, S.
    Premi o reconeixement
  • An angel-daemon approach to assess the uncertainty in the power of a collectivity to act

     Fragnito, G.; Gabarro, J.; Serna, M.
    Lecture notes in computer science
    Vol. 10369, p. 318-328
    DOI: 10.1007/978-3-319-61581-3_29
    Data de publicació: 2017
    Article en revista
  • Economía aplicada al estudio de la evolución de un curso

     Blesa, M.; Duch, A.; Gabarro, J.; Petit, J.; Serna, M.
    ReVisión
    Vol. 10, num. 1, p. 55-70
    Data de publicació: 2017
    Article en revista
  • 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
  • Uncertainty in basic short-term macroeconomic models with angel-daemon games

     Gabarro, J.; Serna, M.
    International journal of data analysis techniques and strategies
    Vol. 9, num. 4, p. 314-330
    DOI: 10.1504/IJDATS.2017.088359
    Data de publicació: 2017
    Article en revista
  • Proof complexity meets algebra  Accés obert

     Atserias, A.; Ochremiak, J.
    International Colloquium on Automata, Languages, and Programming
    p. 110:1-110:14
    DOI: 10.4230/LIPIcs.ICALP.2017.110
    Data de presentació: 2017
    Presentació treball a congrés
    Accés al text complet
  • 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
  • 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
  • Fraud detection in energy consumption: a supervised approach  Accés obert

     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
    Accés al text complet
  • 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
  • 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
  • Conditions for compatibility of components: The case of masters and slaves  Accés obert

     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
    Accés al text complet
  • Uncertainty analysis of simple macroeconomic models using Angel-Daemon games

     Gabarro, J.; Serna, M.
    Data: 2016-09-19
    Document cientificotècnic
  • 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
  • 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
  • A unified approach for measuring precision and generalization based on anti-alignments  Accés obert

     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
    Accés al text complet
  • Discovering duplicate tasks in transition systems for the simplification of process models  Accés obert

     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
    Accés al text complet
  • Process model comparison based on cophenetic distance  Accés obert

     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
    Accés al text complet
  • A recursive paradigm for aligning observed behavior of large structured process models  Accés obert

     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
    Accés al text complet
  • 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  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
  • 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