| Issue Date | Title | Author(s) | Type | Preview |
| 1989 | Compilador-editor de modula-2 para la programación de sistemas | Miranda González, Francisco Javier | Proyecto fin de carrera |  |
| 1989 | Compilador-editor de modula-2 para la programación de sistemas | Miranda González, Francisco Javier | Proyecto fin de carrera |  |
| 1990 | Compilador editor de modula-2 concurrente para la programación de sistemas | Miranda González, Francisco Javier | Proyecto fin de carrera | |
| 1991 | A modula-2-like systems programming language and its implementation | Miranda, Javier ; Fortes, José | Artículo | |
| 1993 | A quick distributed consensus protocol | Guerra, F. ; Arévalo, S.; Alvarez, A.; Miranda, J. | Artículo | |
| 1993 | Distributed consensus protocol with a coordinator | Guerra, F. ; Arevalo, S.; Alvarez, A.; Miranda, J. | Libro | |
| 1995 | Drago: un lenguaje para programar aplicaciones distribuidas tolerantes a fallos y cooperativas | Miranda González, Francisco Javier | Libro |  |
| 1995 | Diseño de software con C y UNIX: (teoría) | Suárez Sarmiento, Álvaro ; Miranda González, Francisco Javier ; Pérez Castellano, Juan Francisco | Libro | |
| 1995 | Prácticas y problemas de diseño de software con C y Unix | Suárez Sarmiento, Álvaro ; Miranda González, Francisco Javier ; Pérez Castellano, Juan Francisco | Libro | |
| 1996 | Diseño de Software con C y UNIX | Miranda González, Francisco Javier ; Suárez Sarmiento, Álvaro | Libro | |
| 1997 | Migración del lenguaje distribuído Drago hacia el entorno Linux | Ramírez Casañas, Carlos Miguel | Proyecto fin de carrera |  |
| 1997 | An Ada library to program fault-tolerant distributed applications | Guerra, F. ; Miranda, J. ; Alvarez, A.; Arévalo, S. | Actas de congresos |  |
| 1997 | Estudio de GNAT : inicialización, A. léxico y A. sintáctico | Andersson Jáimez, Christian Gustavo | Proyecto fin de carrera |  |
| 1997 | Simulación de sistemas de tiempo real y aplicaciones del rate monotonic analisys | Rodríguez Rivero, Juan Antonio | Proyecto fin de carrera |  |
| 1998 | Grini: una herramienta para configuración distribuida | Martel Jordán, Ernestina de los Angeles ; Miranda González, Francisco Javier ; Guerra Santana, Francisco José ; Santos Espino, José Miguel | Capítulo de libro | |
| 1998 | GLS : un servicio de localización de grupos de procesos | Santos Espino, José Miguel ; Guerra Santana, Francisco José ; Miranda González, Francisco Javier ; Martel Jordán, Ernestina de los Angeles | Actas de congresos | |
| 1999 | Análisis del entorno de ejecución de GNAT. Incorporación de Drago | González Ramírez, Alexis Jesús | Proyecto fin de carrera |  |
| 1999 | How to modify the GNAT frontend to experiment with Ada Extensions? | Miranda, J. ; Guerra, F. ; Martín, J.; González, A. | Actas de congresos | |
| 1999 | Estudio del frontal de GNAT. Incorporación de Drago | Martín Betancor, José Jerónimo | Proyecto fin de carrera |  |
| 2000 | Programming replicated systems in Drago | Miranda, J. ; Álvarez, A.; Guerra, F. ; Arévalo, S. | Artículo | |