| Código | Títol | Autor(s) | BibTeX | Pdf/Ps |
| DSIC-II/01/08 | Análisis de Requisitos Basado en Comunicaciones | A. Gonzalez, S. España, D. Ruiz, | bib |  |
| DSIC-II/02/08 | protoBOM: a framework that semi-automatically generates Decision Support Systems based on Software Product Lines.
| María Eugenia Cabello, María Gómez , Manuel LLavador, Isidro Ramos. | bib | |
| DSIC-II/03/08 | Usable Rules for Context-Sensitive Rewrite Systems | Raúl Gutiérrez, Salvador Lucas, Xavier Urbain | bib | |
| DSIC-II/04/08 | Modular Termination of Basic Narrowing | M. Alpuente, S. Escobar, J. Iborra | bib | |
| DSIC-II/05/08 | Order-Sorted Generalization | M. Alpuente, S. Escobar, J. Mesesguer and P. Ojeda | bib | |
| DSIC-II/06/08 | A Modular Equational Generalization
Algorithm | M. Alpuente, S. Escobar, J. Mesesguer and P. Ojeda | bib | |
| DSIC-II/07/08 | Análisis y diseño de un generador automático de sistemas de diagnóstico basado en líneas de producto | María Eugenia Cabello Espinosa, Isidro Ramos Salavert | bib | |
| DSIC-II/08/08 | Dependency Pairs for the Termination of Narrowing | M. Alpuente, S. Escobar, J. Iborra | bib | |
| DSIC-II/09/08 | Pre-Proceedings of LOPSTR 2008 The 18th International Symposium on Logic-Based Program Synthesis and Transformation | Michael Hanus | bib | |
| DSIC-II/10/08 | Context-Sensitive Dependency Pairs | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas | bib | |
| DSIC-II/11/08 | GORMAS: Guía metodológica para el diseño de Sistemas Multiagente abiertos basados en organizaciones | E. Argente, V. Julián, V. Botti | bib | |
| DSIC-II/12/08 | Generalizations of Institutions and a Forward Morphism determined by the
Theorem of Herbrand-Schmidt-Wang | J. Climent-Vidal, J. Soliveres-Tur | bib | |
| DSIC-II/13/08 | An Abstract Architecture for Virtual Organizations: The THOMAS project | E. Argente, V. Botti, C. Carrascosa, A. Giret, V. Julian, M. Rebollo | bib | |
| DSIC-II/14/08 | The Photography Agency: A case study of the OO-Method Approach | B. Marín, G. Giachetti, O. Pastor | bib | |
WebMail
