Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Total activitats: 65
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 65 resultats
 
  • 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
  • Modelling service-oriented computing with temporal symbolic graph transformation systems  Accés obert

     Mylonakis, N.; Orejas, F.; Fiadeiro, J.
    Data: 2015-12-21
    Document cientificotècnic
    Accés al text complet
  • Moran process for directed graphs

     Diaz, J.
    Afternoon on Probability and Combinatorics
    Data de presentació: 2015-12-04
    Presentació treball a congrés
  • On graphical logics for reasoning about graph properties

     Lambers, L.; Navarro, M.; Orejas, F.; Pino, E.
    Dagstuhl Seminar on Verification of Evolving Graph Structures
    p. 16
    Data de presentació: 2015-11-04
    Presentació treball a congrés
  • 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
  • Reactive clocks with variability-tracking jitter  Accés obert

     Cortadella, J.; Lavagno, L.; López, P.; Lupon, M.; Moreno, A.; Roca, A.; Sapatnekar, S.
    IEEE International Conference on Computer Design
    p. 511-518
    DOI: 10.1109/ICCD.2015.7357159
    Data de presentació: 2015-10-20
    Presentació treball a congrés
    Accés al text complet
  • Unfolding-based process discovery  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.; Heljanko, K.; Haar, S.
    International Symposium Automated Technology for Verification and Analysis
    p. 31-47
    DOI: 10.1007/978-3-319-24953-7_4
    Data de presentació: 2015-10-12
    Presentació treball a congrés
    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
  • Annual ACM-SIAM Symposium on Discrete Algorithms

     Martinez, C.; Noy, M.; Diaz, J.
    Projecte R+D+I competitiu
  • 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
  • Satisfiability of constraint specifications on XML documents  Accés obert

     Navarro, M.; Orejas, F.; Pino, E.
    Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer
    p. 539-561
    DOI: 10.1007/978-3-319-23165-5_25
    Data de presentació: 2015-09-24
    Presentació treball a congrés
    Accés al text complet
  • Satisfiability of constraint specifications on XML documents

     Navarro, M.; Orejas, F.; Pino, E.
    Jornadas sobre Programación y Lenguajes
    Data de presentació: 2015-09-16
    Presentació treball a congrés
  • Log-based simplification of process models  Accés obert

     San Pedro, J. de; Carmona, J.; Cortadella, J.
    International Conference on Business Process Management
    p. 457-474
    DOI: 10.1007/978-3-319-23063-4_30
    Data de presentació: 2015-09-03
    Presentació treball a congrés
    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
  • Incorporating negative information in process discovery  Accés obert

     Ponce de León, H.; Carmona, J.; vanden Broucke, S.K.L.M.
    International Conference on Business Process Management
    p. 126-143
    DOI: 10.1007/978-3-319-23063-4_8
    Data de presentació: 2015-09
    Presentació treball a congrés
    Accés al text complet
  • POD: A tool for process discovery using partial orders and independence information  Accés obert

     Ponce de León, H.; Rodríguez , C.; Carmona, J.
    International Conference on Business Process Management
    p. 100-104
    Data de presentació: 2015-09-01
    Presentació treball a congrés
    Accés al text complet
  • On solving the most strings with few bad columns problem: An ILP model and heuristics  Accés obert

     Lizárraga, E.; Blesa, M.; Blum, C.; Raidl, G.
    International Symposium on Innovations in Intelligent SysTems and Applications
    p. 1-8
    DOI: 10.1109/INISTA.2015.7276795
    Data de presentació: 2015-09
    Presentació treball a congrés
    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
  • Uncertainty in the cloud: an angel-daemon approach to modelling performance  Accés obert

     Stewart, A.; Gabarro, J.; Keenan, A.
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    p. 141-150
    DOI: 10.1007/978-3-319-20807-7_13
    Data de presentació: 2015-07-16
    Presentació treball a congrés
    Accés al text complet
  • The robustness of periodic orchestrations in uncertain evolving environments  Accés obert

     Castro, J.; Gabarro, J.; Serna, M.; Stewart, A.
    European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    p. 129-140
    DOI: 10.1007/978-3-319-20807-7_12
    Data de presentació: 2015-07-16
    Presentació treball a congrés
    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
    IEEE Computer Security Foundations Symposium
    p. 232-242
    DOI: 10.1109/CSF.2015.23
    Data de presentació: 2015-07-15
    Presentació treball a congrés
    Accés al text complet
  • On the complexity of some specific problems on simple games

     Molinero, X.; Olsen, M.; Serna, M.
    European Conference on Operational Research
    p. 74-
    Data de presentació: 2015-07-12
    Presentació treball a congrés
  • 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