Loading...
Loading...

Go to the content (press return)

ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Total activity: 5
Type
Research group
Type of group
UPC research group
Acronym
ALBCOM
Address
Jordi Girona Salgado, 1-3. 08034 Barcelona, Spain Open in new window
City
08034 Barcelona
URL
http://albcom.cs.upc.edu Open in new window
Objectives
The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.
Keywords
VLSI systems, algorithms, combinatorics, complexity, data science, data structures, formal specification, genomics, graphs, verification
Fill in details (researchers incharge only)
  • Frances Medina, Guillem
    (until 2009-06-14)
  • Frias Moya, Leonor
    (until 2010-06-13)
  • Galceran Oms, Marc
    (until 2010-06-30)
  • Garcia Chacon, Alina
    (until 2007-04-30)
  • Gascon Caro, Adrian
    (until 2013-07-31)
  • Gel Moreno, Bernat
    (until 2010-12-31)
  • Gimenez Llach, Omer
    (until 2010-10-31)
  • Hernandez Pibernat, Hugo
    (until 2012-05-06)
  • Julvez Bueno, Jorge Emilio
    (until 2008-09-28)
  • Maneva, Elitza
    (until 2016-12-31)
    External to the UPC
  • Maneva, Elitza Nikolaeva
    (until 2009-11-05)
  • Meng, Jiangtao
    (until 2005-10-15)
  • Muñoz Gama, Jorge
    (until 2015-02-28)
  • Ochremiak, Joanna Regina
    (until 2016-08-15)
  • Oliva Valls, Sergi
    (until 2012-08-31)
  • Perez Gimenez, Xavier
    (until 2003-08-31)
  • Roca Perez, Antoni
    (until 2016-11-30)
  • Sanchez Charles, David
    (until 2015-12-01)

Scientific and technological production

1 to 5 of 5 results
 
  • Automatic microarchitectural pipelining  Open access

     Galceran, M.; Cortadella, J.; Bufistov, D.; Kishinevsky, M.
    Design, Automation and Test in Europe Conference and Exhibition
    p. 961-964
    DOI: 10.1109/DATE.2010.5456910
    Presentation's date: 2010
    Presentation of work at congresses
    Loading...
    Access to the full text
  • Retiming and recycling for elastic systems with early evaluation

     Bufistov, D.; Cortadella, J.; Galceran, M.; Julvez, J.; Kishinevsky, M.
    Design Automation Conference
    p. 288-291
    DOI: 10.1145/1629911.1629988
    Presentation's date: 2009-07
    Presentation of work at congresses
    Loading...
  • Retiming and recycling for elastic systems with early evaluation  Open access

     Bufistov, D.; Cortadella, J.; Galceran, M.; Julvez, J.; Kishinevsky, M.
    Date: 2009-04
    Report
    Loading...
    Access to the full text
  • Elasticity and Petri nets  Open access

     Cortadella, J.; Kishinevsky, M.; Bufistov, D.; Carmona, J.; Julvez, J.
    Transactions on petri nets and other models of concurrency
    Vol. 1, p. 221-249
    DOI: 10.1007/978-3-540-89287-8_13
    Date of publication: 2008-01
    Journal article
    Loading...
    Access to the full text
  • A general model for performance optimization of sequential systems  Open access

     Bufistov, D.; Cortadella, J.; Kishinevsky, M.; Sapatnekar, S.
    IEEE/ACM International Conference on Computer-Aided Design
    p. 362-369
    DOI: 10.1109/ICCAD.2007.4397291
    Presentation's date: 2007
    Presentation of work at congresses
    Loading...
    Access to the full text