Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

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

     Sanchez, D.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Algorithms and Methodologies for lnterconnect Reliability Analysis of lntegrated Circuits

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • 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
  • Conformance Checking and Diagnosis in Process Mining  Accés obert

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Structural and Computational Aspects of Simple and Influence Games  Accés obert

    Departament de Matemàtica Aplicada III, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Dissemination and Visualisation of Biological Data  Accés obert  Activitat premiada

     Gel, B.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Variants of unification considering compression and context variables  Accés obert

     Gascon, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Enriching Unstructured Media Content About Events to Enable Semi-Automated Summaries, Compilations, and Improved Search by Leveraging Social Networks  Accés obert

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • On the Complexity of Resolution-based Proof Systems  Accés obert

     Oliva, S.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • The Hiring Problem and its Algorithmic Applications  Accés obert

     Helmi, A.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Automatic Synthesis and Optimization of Chip Multiprocessors  Accés obert

     Nikitin, N.
    Universitat Politècnica de Catalunya
    Tesi doctoral
  • Swarm Intelligence Techniques for Optimization and Management Tasks inSensor Networks  Accés obert  Activitat premiada

     Hernandez, H.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Automatic pipelining of elastic systems

    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • PERFOMANCE OPTIMIZATION OF ELASTIC SYSTEMS

     Bufistov, D.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • TOWARDS THE AUTOMATIC SYNTHESIS OF ASYNCHRONOUS COMMUNICATION MECHANISMS

     Costa, K.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Data structures libraries

     Frias, L.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • OPTIMAL ARTIFICIAL CHEMISTRIES

     FÉLIX, L.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • SOME CONTRIBUTIONS TO THE SEMANTICS OF NORMAL LOGIC PROGRAMS

     Edelmira Pasarella
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • NOVEL COMPUTATIONAL METHODS FOR LARGE SCALE GENOME COMPARISON

     Treangen, T.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Logic Synthesis Techniques for High-Speed Circuits

     Bañeres, D.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • ASPECTS OF RANDOM GRAPHS: Colourings, walkers and Hamiltonian cycles.

     Perez, X.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • META-ALIGNMENT BILOGICAL SEQUENCES  Accés obert

     Blanco, E.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • STABILITY IN COMMUNICATION NETWORKS UNDER ADVERSARIAL MODELS  Activitat premiada

     Blesa, M.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Ordered generation of classes of combinatorial structures

     Molinero, X.
    Departament de Matemàtica Aplicada IV, Universitat Politècnica de Catalunya
    Tesi doctoral
  • ABSTRACT INTERPRETATION TECHNIQUES FOR THE VERIFICATION OF TIMED SYSTEMS

     Clariso, R.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • "Enumerative aspects and Tutte polynomial of graphs and matroids"

     Gimenez, O.
    Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Design and Analysis of Multidimensional Data Structures  Accés obert

     Duch, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Structural Methods for the Synthesis of Well-formed Concurrent Specificantions

     Carmona, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Relative Timing Based Verification of Concurrent Systems  Accés obert

     Peña, M.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • The complexity of resource-bounded propositional proofs  Activitat premiada

     Atserias, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Design and Analysis of Variable-Delay Arithmetic Units

     Cornetta, G.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Layout Problems  Activitat premiada

     Petit, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • A type-theoretic approach to proof support for algebraic design frameworks.  Accés obert

     MILONAKYS, N.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • AN ALGEBRAIC STUDY OF MODULARITY IN LOGIC PROGRAMMING

     Pino, E.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • On parallel versus sequential approximability: Complexity and approximation results

     Xhafa, F.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Divide-and-Conquer Algorithms and Data Structures  Activitat premiada

     Roura, S.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Formal verification and testing of asynchronous circuits.

     Roig, O.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Distributed and massively parallel algorithms with local rules on balanced search trees

     Messeguer, X.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • HIGH-LEVEL AND LOGIC SYNTHESIS TECHNIQUES FOR LOW POWER

     Musoll, E.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • MÈTODES ESTRUCTURALS PER A LA SÍNTESIS DE...  Activitat premiada

     Pastor, E.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • LOOP PIPELINING WITH RESOURCE AND TIMING CONST...

     Sanchez, F.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Síntesi d'alt nivell de circuits asíncrons

     Badia, R.M.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral
  • PARALLEL TIME AND SEQUENTIAL REDUCIBILITIES  Activitat premiada

     Alvarez, C.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • STATISTICS UNDER THE BST MODEL

     Martínez, C.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • THEOREM PROVING IN FIRST ORDEN LOGIC WITH EQUALITY BY CLAUSAL REWRITING AND CO

     Nieuwenhuis, R.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • The parallel Approximability of P-Complete Problems.

     Serna, M.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Disseny de memòries d'instruccions per a processadors segmentats

     Jove, T.
    Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya
    Tesi doctoral