| Código | Títol | Autor(s) | BibTeX | Pdf/Ps |
| DSIC-II/01/05 | Operational Termination of Conditional Term Rewriting Systems | Salvador Lucas, Claude Marché, José Meseguer | bib |  |
| DSIC-II/02/05 | On the relative power of polynomials with real,
rational, and integer coefficients in proofs of
termination of rewriting
| Salvador Lucas | bib | |
| DSIC-II/03/05 | Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV'05) | María Alpuente, Santiago Escobar, Moreno Falaschi | bib | |
| DSIC-II/04/05 | Seguridad en redes inalámbricas | Carlos de Alfonso, Miguel Caballer, Vicente Hernández | bib | |
| DSIC-II/05/05 | Solving Differential Riccati Equations by Using BDF Methods | E.Arias, V. Hernández, J.J. Ibáñez and J. Peinado | bib | |
| DSIC-II/06/05 | Integración de componentes Haskell en .NET | Beatriz Alarcón y Salvador Lucas | bib | |
| DSIC-II/07/05 | Verificación de sitios Web utilizando Lenguajes Funcionales | María Alpuente, Demis Ballis, Moreno Falaschi, Javier García-Vivó | bib | |
| DSIC-II/08/05 | Estructuras de adquisición | A.González | bib | |
| DSIC-II/09/05 | Parallel Multinomial Mixtures for Bilingual Text Classification | A. Juan, J. Civera | bib | |
| DSIC-II/10/05 | Multinomial Mixture Modelling for Bilingual Text Classification | J. Civera, A. Juan | bib | |
| DSIC-II/11/05 | Estudio e implementación de un modelo de arquitecturas orientado a aspectos y basado en componentes sobre tecnología .NET | C. Costa, J. Pérez, J.A. Carsí | bib | |
| DSIC-II/12/05 | Aplicación del Lenguaje de Descripción de Arquitecturas PRISMA a un Sistema Robótico de Ámbito Industrial
| R.Cabedo, J.Pérez. I.Ramos | bib | |
| DSIC-II/13/05 | Aspectos conceptuales de las interfaces en aplicaciones de gestión | A.González | bib | |
| DSIC-II/14/05 | Aplicación de las Librerías Numéricas Paralelas de PETSc y pARMS a la Resolución de los Sistemas de Ecuaciones Lineales relacionados con la Ecuación de los Modos Lambda | O. Flores-Sánchez | bib | |
| DSIC-II/15/05 | Estudio de la Eficiencia de Librerías Numéricas de Libre Distribución (PETSs, SPARSKIT) a la Resolución de los Sistemas Lineales Dispersos relacionados con la Ecuación de los Modos Lambda | O. Flores-Sánchez | bib | |
WebMail
