El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica (vegeu http://albcom.cs.upc.edu/ per a 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, tal 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.

El grupo de investigación ALBCOM une 19 reconocidos investigadores en métodos formales; diseño, automatización y verificación de VLSI; algoritmos y complejidad; bioinformática (véase http://albcom.cs.upc.edu/ para más detalles). La investigación que se realiza a ALBCOM tiene un importante prestigio en la comunidad científica internacional, debido a la calidad de su investigación, tal como muestran sus publicaciones, y a la actividad en proyectos de investigación y de transferencia de tecnología con empresas e instituciones del sector.

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.

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.

Recent Submissions

  • Finite memory devices in CSP 

    Gabarró Vallès, Joaquim; Serna Iglesias, María José (1990-01)
    External research report
    Open Access
    It is often said that a state based approach to CSP is inadequate, however we present here some (theoretical) hints against this assertion. A new class of processes modelled by finite memory devices are considered. These ...
  • Constraints for behavioural specifications 

    Orejas Valdés, Fernando; Nivela Alós, M. Pilar Brígida (1990)
    External research report
    Open Access
    Behavioural specifications with constraints for the incremental development of algebraic specifications are presented. The behavioural constraints correspond to the completely defined subparts of a given incomplete behavioural ...
  • Parallel complexity in the design and analysis of concurrent systems 

    Álvarez Faura, M. del Carme; Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim (1990-10)
    External research report
    Open Access
    We study the parallel complexity of three problems on concurrency: decision of firing sequences for Petri nets, trace equivalence for partially commutative monoids, and strong bisimilarity in finite transition systems. We ...
  • Deletion algorithms for binary search trees 

    Martínez Parra, Conrado; Messeguer Peypoch, Xavier (1990-10-19)
    External research report
    Open Access
    The effect of updating (deletions/insertions) on binary search trees has been an interesting research topic for almost three decades, but in the last five years there have been a few contributions, due partially to the ...
  • On translating partial to total specifications with applications to theorem proving for partial specifications 

    Navarro Gómez, Marisa; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1989-09-12)
    External research report
    Open Access
    In this paper it is shown how partial specifications (with strong equations) can be translated into total ones. This translation is proven to be sound and complete, in the sense that a theorem is valid for all models of ...
  • Parametrized conditional log-specifications: proof theory and correctness 

    Navarro Gómez, Marisa; Orejas Valdés, Fernando (1989)
    External research report
    Open Access
    Conditional LOG-specifications extend standard conditional specifications in that the booleans are considered to be built-in. Formally, there is an initial constraint on booleans in every specification. It is shown that ...
  • Development of algebraic specifications with constraints 

    Orejas Valdés, Fernando; Sacristán Adinolfi, Vera; Clérici Martínez, Silvia Inés (1989)
    External research report
    Open Access
    A formal framework for the development of algebraic specifications is presented. Ther main issues concerning the approach are the following: we allow to deal with incomplete specifications during the design process. This ...
  • Funcions booleanes: caracterització dels nivells de la jerarquia booleana 

    Álvarez Faura, M. del Carme (1987-11)
    External research report
    Open Access
    We study two hierarchies defined beetwen NP and ¿p2: The K-Boolean Hierarchy, when K=NP, (Wechsung, Wagner (1985)), and the Boolean Hierarchy (Cai, Hemachandra (1986)). Every level of these two hierarchies is caracterized ...
  • Classes of bounded nondeterminism 

    Díaz Cort, Josep; Torán Romero, Jacobo (1988)
    External research report
    Open Access
    We study certain language classes located between P and N P that are defined by polynomial time machines with a bounded amount of nondeterminism. We observe that these classes have complete problems and find a characterization ...
  • Recent developments in structural complexity 

    Díaz Cort, Josep; Cucker Farkas, J.F. (1988)
    External research report
    Open Access
    This survey presents some of the recent developments in the field of structural complexity. The survey does not intend to give an exhaustive look in each one of the areas of structural complexity which have been developed ...
  • Behavioural approach to modular system specification 

    Ehrig, Hartmut; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988-07)
    External research report
    Open Access
    The algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. ...
  • A module concept within the initial behaviour framework 

    Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988)
    External research report
    Open Access
    A module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation ...

View more