| Code | Title | Author(s) | BibTeX | Pdf/Ps |
| DSIC-II/01/07 | Survey of automated Systems for Railway Management | F. Barber, M. Abril, M. A. Salido, L. P. Ingolotti, P. Tormos, A. Lova | bib |  |
| DSIC-II/02/07 | Un motor algebraico para la verificación de sistemas web en GVerdi | M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, P. Ojeda, and D. Romero | bib | |
| DSIC-II/03/07 | paperTeX class: Creating newspapers using LaTeX | Ignacio Llopis Tortosa | bib | |
| DSIC-II/04/07 | Solving Initial Value Problems for Ordinary Differential Equations by a Piecewise-linearized Method Based on Diagonal Padé Approximations | E. Arias, V. Hernández, J. Ibáñez, P. Ruiz | bib | |
| DSIC-II/05/07 | Symbolic Model Checking of Infinite-State Systems Using Narrowing | S. Escobar, J. Meseguer | bib | |
| DSIC-II/06/07 | Formal Verification of Websites | Sonia Flores, Salvador Lucas, Alicia Villanueva | bib | |
| DSIC-II/08/07 | The Web Verification Service WebVerdi-M | M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda and D. Romero | bib | |
| DSIC-II/09/07 | Examine your laziness. A lightweight procedural debugging technique for Haskell | J.Iborra, S.Marlow | bib | |
| DSIC-II/10/07 | Putting MDA in Practice: from BPMN to BPEL | P. Giner, V. Torres | bib | |
| DSIC-II/11/07 | Análisis y clasificación de lenguajes de programación orientados a agentes. | García Montoro, Carlos | bib | |
| DSIC-II/12/07 | Towards a notion of usable rules for context-sensitive rewrite systems | Raúl Gutiérrez, Salvador Lucas, Xavier Urbain | bib | |
| DSIC-II/13/07 | The Buggy Benchmarks Collection of Haskell Programs | Josep Silva | bib | |
| DSIC-II/14/07 | A functional framework for analysis of undemandedness in websites | M. Alpuente, D. Romero, and M. Zanella | bib | |
| DSIC-II/16/07 | Fast SAT-based polynomial constraint solving for termination tools | Salvador Lucas, Rafael Navarro | bib | |
| DSIC-II/17/07 | A Distributed Shortest Path Algorithm for Global Automated Transport System | Frédérique C. Versteegh, Miguel A. Salido | bib | |
Department
Research
