Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 2471
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
El grup de recerca ALBCOM uneix 19 reconeguts recercaires en Mètodes Formals; Disseny, Automatització i Verificació de VLSI; Algorismes i Complexitat; Bioinformàtica (veure http://albcom.cs.upc.edu/ per més detalls). La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.
Paraules clau
Algorismes, Heuristiques, Metaheuristiques per a grafs i xarxes, Complexitat de problemes, Data science, Transformació de grafs
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 2471 resultats
 
  • An agent-based model of the emergence and evolution of a language system for boolean coordination

     Sierra-Santibáñez, J.
    Autonomous agents and multi-agent systems
    p. 1-42
    DOI: 10.1007/s10458-018-9384-1
    Data de publicació: 2018-03-19
    Article en revista
  • Institutions for navigational logics for graphical structures

     Orejas, F.; Pino, E.; Navarro, M.; Lambers, L.
    Theoretical computer science
    DOI: 10.1016/j.tcs.2018.02.031
    Data de publicació: 2018-03-05
    Article en revista
  • Towards a navigational logic for graphical structures

     Lambers, L.; Navarro, M.; Orejas, F.; Pino, E.
    DOI: 10.1007/978-3-319-75396-6
    Data de publicació: 2018-02-07
    Capítol de llibre
    Imatge
  • 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
  • Modelos y métodos basados en grafos para la computación en gran escala

     Carmona, J.; Orejas, F.; Serna, M.; Martinez, C.; Diaz, J.; Cortadella, J.; Sierra-Santibáñez, J.; Pino, E.; Roura, S.; Petit, J.; Gabarro, J.; Alvarez, C.; Edelmira Pasarella; Mylonakis, N.; Duch, A.; Blesa, M.; Steels, L.; Pérez, X.
    Projecte R+D+I competitiu
  • 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
  • The social cost of congestion games by imposing variable delays  Accés obert

     Diaz, J.; Giotis, I.; Kirousis, L.; Mourtos, I.; Serna, M.
    ICT Express
    Vol. 3, num. 4, p. 155-159
    DOI: 10.1016/j.icte.2017.11.014
    Data de publicació: 2017-12-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
  • The computational complexity of QoS measures for orchestrations  Accés obert

     Gabarro, J.; Leon, S.; Serna, M.
    Journal of combinatorial optimization
    Vol. 34, num. 4, p. 1265-1301
    DOI: 10.1007/s10878-017-0146-9
    Data de publicació: 2017-11-01
    Article en revista
  • Structure discovery techniques for circuit design and process model visualization  Accés obert

     San Pedro, J. de
    Universitat Politècnica de Catalunya
    Tesi doctoral
    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
  • Network creation games: structure vs anarchy

     Alvarez, C.; Messegue, A.
    Data: 2017-09-03
    Document cientificotècnic
  • 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
  • Voltage noise analysis with ring oscillator clocks

     Machado, L.; Roca, A.; Cortadella, J.
    IEEE Computer Society Annual Symposium on VLSI
    p. 1-6
    DOI: 10.1109/ISVLSI.2017.11
    Data de presentació: 2017-07-03
    Presentació treball a congrés
  • An angel-daemon approach to assess the uncertainty in the power of a collectivity to act  Accés obert

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

     Mokhov, A.; Cortadella, J.; de Gennaro, A.
    International Conference on Application of Concurrency to System Design
    p. 86-95
    DOI: 10.1109/ACSD.2017.18
    Data de presentació: 2017-06-29
    Presentació treball a congrés
    Accés al text complet
  • 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  Accés obert

     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
    Accés al text complet
  • Unbiased taxonomic annotation of metagenomic samples

     Fosso, B.; Pesole, G.; Rosselló, F.; Valiente, G.
    International Symposium on Bioinformatics Research and Applications
    p. 162-173
    DOI: 10.1007/978-3-319-59575-7_15
    Data de presentació: 2017-05-31
    Presentació treball a congrés
  • Synthesis of all-digital delay lines

     Moreno, A.; Cortadella, J.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 75-82
    DOI: 10.1109/ASYNC.2017.10
    Data de presentació: 2017-05-21
    Presentació treball a congrés
  • Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours

     Cortadella, J.; Moreno, A.; Sokolov, D.; Yakovlev, A.; Lloyd, D.
    IEEE International Symposium on Asynchronous Circuits and Systems
    p. 73-74
    DOI: 10.1109/ASYNC.2017.24
    Data de presentació: 2017-05-21
    Presentació treball a congrés
  • Minimum bisection is NP-hard on unit disk graphs

     Diaz, J.; Mertzios, G.B.
    Information and computation
    Vol. 256, p. 83-92
    DOI: 10.1016/j.icte.2017.11.014
    Data de publicació: 2017-05-18
    Article en revista
  • Under-the-cell routing to improve manufacturability

     Vidal, A.; Cortadella, J.; Petit, J.
    ACM Great Lakes Symposium on VLSI
    p. 125-130
    DOI: 10.1145/3060403.3060428
    Data de presentació: 2017-05-10
    Presentació treball a congrés
  • Boolean decomposition for AIG optimization

     Machado, L.; Cortadella, J.
    ACM Great Lakes Symposium on VLSI
    p. 143-148
    DOI: 10.1145/3060403.3060420
    Data de presentació: 2017-05-10
    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
  • Complexity of metric dimension on planar graphs  Accés obert

     Diaz, J.; Pottonen, O.; Serna, M.; van Leeuwen, E.J.
    Journal of computer and system sciences
    Vol. 83, num. 1, p. 132-158
    DOI: 10.1016/j.jcss.2016.06.006
    Data de publicació: 2017-04-03
    Article en revista
    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?  Accés obert

     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
    Accés al text complet
  • Increasing the robustness of digital circuits with ring oscillator clocks

     Machado, L.; Roca, A.; Cortadella, J.
    International Workshop on Resiliency in Embedded Electronic Systems
    p. 29-34
    Data de presentació: 2017-03-31
    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
  • 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  Accés obert

     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
    Accés al text complet
  • An angel-daemon approach to assess the uncertainty in the power of a collectivity to act  Accés obert

     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
    Accés al text complet
  • Economía aplicada al estudio de la evolución de un curso  Accés obert

     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
    Accés al text complet
  • 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
  • Symbolic model generation for graph properties  Accés obert

     Schneider, S.; Lambers, L.; Orejas, F.
    International Conference on Fundamental Approaches to Software Engineering
    p. 226-243
    DOI: 10.1007/978-3-662-54494-5_13
    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