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)
  • Sanchez Charles, David
    (fins 2015-12-01)

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  Accés obert

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

     Munoz-Gama, J.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • The Hiring Problem and its Algorithmic Applications  Accés obert

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

     Nikitin, N.
    Universitat Politècnica de Catalunya
    Tesi doctoral
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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
    Accés al text complet
  • 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