Complutense University Library

Items where Division is "Fac. de Informática > Depto. de Sistemas Informáticos y Computación" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 284.

Torres de Alba, Roberto (2014) Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing. [Thesis]

Alejos Castroviejo, Javier and Arranz García, Diego and Mosquera Logoño, Saskya Isabel (2014) Depurador algorítmico para estructuras de control Java. [Coursework] (Unpublished)

Gallofré Nieva, Xavier and López San José, Jesús F. and Pérez Liaño, Álvaro (2014) Desarrollo de dispositivos e-Health de bajo coste para Raspberry Pi. [Coursework] (Unpublished)

Millas Larios, José Armando and Gil González, Marcos Salomon and Rodríguez Marín, Álvaro (2014) Diseño de estructuras dinámicas para ofrecer gráficos y pantallas emergentes en entorno web. [Coursework] (Unpublished)

Rodríguez Azpeitia, Javier and Canora Barreno, Mario and Mendiola Fernández, Javier (2014) Portal web de gestión de información para estudiantes Erasmus. [Coursework] (Unpublished)

Cuesta Boluda, Daniel and Cuesta Boluda, Guillermo and Rodríguez-Osorio Jiménez, Javier (2014) Producción de un videojuego multijugador en Unity combinando los géneros MOBA y RTS : ingeniería del software y diseño de videojuegos. [Coursework] (Unpublished)

Bueno Cavero, Nícolas Paolo and Gómez Edo, Javier (2014) ProsymbABS: perfilador simbólico para objetos concurrentes. [Coursework] (Unpublished)

Nuche Castellanos, Ramón and Romero Navarrete, Héctor and Santos García, Diego (2014) Proyecto SIGUE: una herramienta para el seguimiento docente y calificación automática. [Coursework] (Unpublished)

Aragón Tebar, Laura and Arranz Ropero, Mario and Cabrerizo Galán, Sergio (2014) Rutas seguras en la ciudad para discapacitados psíquicos. [Coursework] (Unpublished)

Armenteros Rodelgo, Alejandro and García García, Cristian and Martín Ramírez, José Félix (2014) UCMoocs: una plataforma de Moocs de código abierto y orientada a universidades. [Coursework] (Unpublished)

Daza Castillo, Alicia Mireya and Rodríguez Navarro, Rosa María and González López, Jorge (2014) Una herramienta de apoyo al tratamiento de catálogos astronómicos. [Coursework] (Unpublished)

Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. [Thesis]

Bustillo Rebanal, Álvaro and Callejo Luis, Arturo and Martos Gómez, Héctor A. (2013) Camino seguro al cole: aplicación móvil en colaboración con el Ayuntamiento de Madrid. [Coursework] (Unpublished)

Aguirre Garcia, Luis Manuel (2013) Conditional narrowing modulo in Rewriting Logic and Maude. [Trabajo Fin de Máster]

Troyano Rollán, Iván and Troyano Rollán, Óscar (2013) DYNJA: a dynamic resource analyzer for multi-theaded Java. [Coursework] (Unpublished)

Barroso Puertas, Carmen and Guillamón Martín, Joaquín and Gonzalo Hinojosa, Iván (2013) Diseño de una herramienta software para el aprendizaje del idioma basado en procesos históricos. [Coursework] (Unpublished)

Panizo Lledot, Ángel (2013) Generación automática de casos de prueba para consultas SQL en el sistema DES. [Coursework] (Unpublished)

Heras Martín, Francisco and Panadero Hernández, Silvia and Sánchez García-Velasco, Estefanía (2013) Herramienta de apoyo a la enseñanza de las matemáticas en educación primaria. [Coursework] (Unpublished)

Martínez Moreno, Pedro Luis and Nombela Gómez, Juan Manuel and Salinas Fernández, Daniel (2013) Herramienta para la experimentación sobre métricas de testeabilidad. [Coursework] (Unpublished)

Alfaro Orgaz, Ana and Ballesteros Navajas, Sergio and Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Coursework] (Unpublished)

Tenorio Fornés, Antonio (2013) MiniZinc+:finite type extensions for constraint programming language MiniZinc. [Trabajo Fin de Máster]

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [Trabajo Fin de Máster]

Lertora Ginés, Claudia and López de Arenosa Barbeito, Paloma and Zevallos Rodríguez, Joanna (2013) MyTone: compositor musical con algoritmos genéticos. [Coursework] (Unpublished)

Aramayo Salgueiro, Joyce Daniela and Piedad Gascueña, Alberto de la and Sánchez Muñoz, Eduardo (2013) Procesado de imágenes para plataformas móviles. [Coursework] (Unpublished)

Carrasco de la Fuente, Roberto and Gumiel Erena, Sergio and Vizcaíno González, Adrián (2013) Sistema de ofuscación de malware para la evasión de NIDS. [Coursework] (Unpublished)

Miguel Gutiérrez-Barquín, Jorge and Inga Rivera, Luis Alberto (2013) Verificación de seguridad de un protocolo criptográfico utilizando un asistente de demostración. [Coursework] (Unpublished)

Tarascón Quintas, Eduardo and García Fernández, José Ángel (2013) jSyX: una máquina de ejecución simbólica para "Java Bytecode" y su aplicación a la generación de tests. [Coursework] (Unpublished)

Montenegro Montes, Manuel (2012) Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura. [Thesis]

Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. [Thesis]

Flores Montoya , Antonio E. (2012) Analysis of May-Happen-in-Parallel in Concurrent Objects. [Trabajo Fin de Máster]

López Cuenca, David (2012) Análisis de riesgos dinámicos en sistemas de información. [Trabajo Fin de Máster]

Aguado Rodríguez, Sergio and Antona Díaz, Pedro Luis (2012) Aplicación de la técnica SVM en el análisis forense de imágenes de dispositivos móviles. [Coursework] (Unpublished)

Gutiérrez Mota, Sergio (2012) Aplicación de las GPU`S en la solución del problema de flujo máximo. [Trabajo Fin de Máster]

Cabañas Ruiz, Israel (2012) Construcción de estructuras espaciales en GPU. [Trabajo Fin de Máster]

Moya Ruiz, Carlos and Constanzo Oliver, David José and Martín Díez-Madroñero, Julián (2012) Desarrollo basado en modelos de aplicaciones de gestión de datos para dispositivos móviles. [Coursework] (Unpublished)

Ruiz Caricote, César Octavio (2012) Desarrollo de RIAS: caso de estudio en el dominio de la anotación de textos literarios digitalizados. [Trabajo Fin de Máster]

Valdazo Parnisari, Javier (2012) Developing secure business applications from secure BPMN models. [Trabajo Fin de Máster]

García Nuño, Sara (2012) Diseño y desarrollo de una herramienta de ayuda al profesional médico para la evaluación objetiva de la fonación. [Coursework] (Unpublished)

Manchado Illán, Sara (2012) Especificación y análisis del protocolo Chord en Maude. [Trabajo Fin de Máster]

Luzón Martín, José and Tenorio Fornés, Antonio (2012) Generación de casos de prueba para SQL. [Coursework] (Unpublished)

Arranz Aranda, Francisco and Liu Yin, Qi and López Cámara, José M. (2012) Interacción persona-computador basada en el reconocimiento visual de manos. [Coursework] (Unpublished)

Peñas Jaramillo, Javier and Reyero Sainz, Laura (2012) JLOP(JSON language oriented processing). [Coursework] (Unpublished)

Jalali Muñiz, Javid (2012) Modelado y soporte de las tecnologías de la Web 2.0 a patrones y principios de RIA. [Trabajo Fin de Máster]

Bertrand Bonnemason, Johan and Catalán Fernández, Carlos and Georgiev Mikovski,, Vladimir (2012) Muphic : composición musical automática basada en imágenes. [Coursework] (Unpublished)

Barja Valdés, Sergio and Arteaga Álvarez, Pablo and Moya Señas, Ignacio (2012) PLACCEA : plaforma [sic] para creación y corrección de ejercicios académicos. [Coursework] (Unpublished)

Domínguez Bayo, Helio Alejandro (2012) Simulación de modelos demográficos basados en agentes. [Trabajo Fin de Máster]

Maestre Vidal, Jorge and Villanúa Vega, Hugo and García Guijarro, José Ángel (2012) Sistema de deteccíón de anomalías de red basado en el procesamiento de la Carga Útil [Payload]. [Coursework] (Unpublished)

Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. [Trabajo Fin de Máster]

Lee Song, Kangmin and Martín San Juan, Beatriz and Morales Peña, Christian (2012) Un sistema de tutorización inteligente para el aprendizaje de estructuras de datos arborescentes. [Coursework] (Unpublished)

González Escudero, Álvaro and Álvarez Ramírez, Daniel and Acosta Berrio, Laura (2012) jPET 2.0: un generador automático de casos de prueba sobre programas Java. [Coursework] (Unpublished)

Romero Díaz, Carlos Alberto (2011) Programación declarativa cualificada con restricciones. [Thesis]

Martin-Martin, Enrique (2011) Type Classes in Functional Logic Programming (Author’s version for E-Prints Complutense). PEPM ’11 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . pp. 121-130. ISSN 978-1-4503-0485-6

Rabanal Basalo, Pablo (2011) Algoritmos heurísticos y aplicaciones a métodos formales. [Thesis]

Pérez Morente, Fernando (2011) A semantic framework for higher-order functional logic programming with Lambda-Abstractions. [Trabajo Fin de Máster]

Ayuso Pérez, Luis Fernando (2011) Adquisición de información de profundidad mediante la técnica "structured light, three phase-shift". [Trabajo Fin de Máster]

Flores Hernández, Adrián Gustavo and Martín Campos, María Trinidad and Renna, Luca (2011) Aplicación de Graph Cuts en la edición de imágenes y vídeo. [Coursework] (Unpublished)

Sánchez, Alejandro (2011) Decision procedures for the temporal verification of concurrent data structures. [Trabajo Fin de Máster]

Fernández Contreras, María and Fernández Gómez, Laura and Helguera Gordo, Aleixa (2011) Depuración algorítmica de vistas SQL. [Coursework] (Unpublished)

García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Coursework] (Unpublished)

Gómez Porris, Álvaro and López Monte, Víctor and Rodríguez Colliga, Carlos (2011) Diseño de una base de datos y su motor de explotación para poder inferir usos de aplicaciones informáticas basados en comportamientos históricos (HealthPred 1.0). [Coursework] (Unpublished)

Ortiz Jaureguizar, Gonzalo (2011) Diseño e implementación de un generador de código para modelos de interfaces gráficas en el lenguaje ActionGUI. [Coursework] (Unpublished)

Martín López, Fausto and Pedrosa Guerrero, Jesús and Sánchez González, Luis (2011) Editor colaborativo. [Coursework] (Unpublished)

García García, Daniel and Ramos Romero, José Luis (2011) Huellas en la Tierra: web social usando Google Maps. [Coursework] (Unpublished)

Dania, Carolina Inés (2011) MySQL4OCL:un compilador de OCL a MySQL. [Trabajo Fin de Máster]

Bazán Milla, Mónica Cristina and Sánchez Juanes, Carlos and Valle Gómez, Iván del (2011) REPASA, un Repositorio Web de objetos de aprendizaje estandarizados por taxonomías. [Coursework] (Unpublished)

Gil Alvaro, Cristina (2011) Servidor de túneles para el establecimiento de redes privadas virtuales punto a punto mediante OpenVPN. [Coursework] (Unpublished)

Breit Foncillas, Sebastián and Sainz Rivera, Íñigo and García Conde-Corbal, Enrique (2011) Simulación 3D de superficies deformables: telas. [Coursework] (Unpublished)

Sánchez Pardo, Francisco Javier and García Huete, Sara (2011) Sistema de ayuda a la concesión de créditos mediante la aplicación de perfiles de morosidad. [Coursework] (Unpublished)

Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Coursework] (Unpublished)

Samborski-Forlese, Julian (2011) Two Algorithms for Model Checking of Regular Linear Temporal Logic. [Trabajo Fin de Máster]

García Toledo, Marcos Miguel (2011) Un esquema de programación lógico funcional concurrente con restricciones. [Trabajo Fin de Máster]

Cabañas Ruiz, Israel and lores Montoya, Antonio and Gutiérrez Mota, Sergio (2011) jPET: un generador de casos de prueba sobre programas Java. [Coursework] (Unpublished)

Rodríguez Hortalá, Juan (2010) Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura. [Thesis]

Andrés Sánchez, César (2010) Testing activo y pasivo de sistemas con información temporal y probabilística. [Thesis]

Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [ ] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (Unpublished)

Gómez-Zamalloa Gil, Miguel (2010) Transformación y análisis de código de bytes orientado a objetos. [Thesis]

Jiménez Paniagua, Luis and Marcis Barrio, José and Fuentes Iglesias, Rubén (2010) Aprendizaje interactivo de estructuras de datos: de la especificación algebraica a la implementación. [Coursework] (Unpublished)

Franco Abia, Juan Pedro (2010) Asistencia guiada a la conducción en función de errores históricos previos. [Coursework] (Unpublished)

Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. [Trabajo Fin de Máster]

García Logrosán, Ángel and Vicente Díez, Beatriz and Vlad, Alexandra (2010) Bib Manager y Word Citer. [Coursework] (Unpublished)

Edroso Jarne, Alberto and García Toledo, Marcos Miguel (2010) Búsqueda de comportamiento en una máquina simple aleatoria. [Coursework] (Unpublished)

Romero Hernández, David (2010) Caracterizaciones lógicas uniformes de las semánticas de procesos. [Trabajo Fin de Máster]

Godino Muncharaz, Daniel and Peña Tovar, Iván Nicolás and Pérez Urbina, Diego (2010) DNEB: Detección de Nuevas Estrellas Binarias. [Coursework] (Unpublished)

Chazarra Bernabé, Juan and Requena López, Víctor Manuel and Valverde Jerónimo, Sergio (2010) Desarrollo de un repositorio de objetos de aprendizaje usando DSpace. [Coursework] (Unpublished)

Collado Iglesias, Blanca and Fernández Sánchez, Antonio Javier and Pozuelo González, Sara (2010) Detección de pares de movimiento propio común mediante minería de datos. [Coursework] (Unpublished)

Collado Iglesias , Blanca and Fernández Sánchez , Antonio Javier and Pozuelo González , Sara (2010) Detección de pares de movimiento propio común mediante minería de datos. [Coursework] (Unpublished)

Carrijo Pajuelo, Pablo and Gil Ramos , Bárbara and Yagüe Gilarranz, Nuria (2010) Editor Web Accesible: EDITOR@. [Coursework] (Unpublished)

García Sánchez , Ana María (2010) Evaluación de métricas de calidad del software sobre un programa Java. [Trabajo Fin de Máster]

Sáez Bertrand, Jaime and Rodríguez Acero, Fernando (2010) Generador automático de casos de prueba unitarios para Junit. [Coursework] (Unpublished)

Castilla Carramiñana , Joaquín and Mendiola Martínez, Laura and Zumaeta Sánchez, Rosa Olivia (2010) Generador de currículos en diferentes estilos: aplicación web. [Coursework] (Unpublished)

Loredo Iglesias, Carlos and Ortíz Gil, Sergio and Valles Mercado, Héctor (2010) Herramienta de perfilado para código de bytes de Java. [Coursework] (Unpublished)

Berd, Dalila (2010) Implementación de XPath en Haskell. [Coursework] (Unpublished)

Pérez Díaz, José Luis (2010) SimBoltz: Simulación de fluidos mediante el método Lattice Boltzmann. [Coursework] (Unpublished)

Barrigüete Ibáñez , Rocío and Huete Jiménez, Mario José and San Juan Germán, Luis (2010) TALFi 2.0. [Coursework] (Unpublished)

Martos Salgado, María Rosa (2010) Towards verifying Petri Nets: a model cheking approach. [Trabajo Fin de Máster]

Aranda López , Gabriel (2010) Un sistema de bases de datos deductivas con restricciones. [Trabajo Fin de Máster]

García Merayo, Mercedes (2009) Marcos temporales y probabilística para testing formal. [Thesis]

Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. [Trabajo Fin de Máster]

Denegri, Ezequiel and Frontera Sánchez, Guillermo (2009) Algoritmos para grafos y programación de propósito general en CUDA. [Coursework] (Unpublished)

Celada Trigo, Luis and Gil Jiménez, Carlos (2009) Desarrollo de un compilador de una representación basada en reglas a código de bytes de Java. [Coursework] (Unpublished)

Ariza Guerrero, Antonio and Doria Dulanto, Javier and Tabeke Heras, Isamu (2009) Geomantes: sistema de navegación GPS por mapas gráficos. [Coursework] (Unpublished)

Ariza Guerrero, Antonio and Doria Dulanto, Javier and Tabeke Heras, Isamu (2009) Geomantes: sistema de navegación GPS por mapas gráficos. [Coursework] (Unpublished)

Barrio Yáñez, Cristian and Casado Fernández, Alberto and Senovilla Marcos, Víctor (2009) Guía de navegación basada en el uso de perfiles. [Coursework] (Unpublished)

Delgado Muñoz, Agustín Daniel and Novillo Vidal, Álvaro and Pérez Morente, Fernando (2009) Implementación de un demostrador automático de teoremas interactivo mediante el método de eliminación de modelos. [Coursework] (Unpublished)

Jiménez Vela, Nazareth and Martín-Ampudia Ugena, Paula and Sierro Elvira, David (2009) Implementación de un depurador declarativo para el lenguaje de bases de datos SQL. [Coursework] (Unpublished)

Castiñeiras Pérez, Ignacio (2009) Integración de ILOG CP en TOY. [Trabajo Fin de Máster]

Pinto San Macario, Víctor and Rodríguez Vidal, Javier and Gómez Cordero, David (2009) Juegos Arcade online sobre mapas reales. [Coursework] (Unpublished)

Lorenzo Granizo, Helena and Murillo Yagüe, Javier and Velázquez Alonso, Alberto (2009) Mountain Bytes: sistema de control y comunicación inalámbrica de redes sensoriales aplicado al ejercicio. [Coursework] (Unpublished)

García Aranda, Rafael (2009) Módulo de predicciones de Osmius. [Coursework] (Unpublished)

Montalvo Martínez, Martín (2009) OntoLing annotizer: una herramienta de ayuda para la anotación lingüística. [Coursework] (Unpublished)

García Alonso, Roberto and Maqueda Viñas, Alberto and Martín Blázquez, José María (2009) Sistema de diseño gráfico para la creación de flores. [Coursework] (Unpublished)

Alonso Escribano, Miguel Antonio and Blanco Ramos, Raúl and Sánchez Yagüe, Manuel Óscar (2009) Sistema gestor de referencias bibliográficas y elaborador de bibliografías para Microsoft Word. [Coursework] (Unpublished)

Ballesteros Martínez, Miguel and Blanes García, José Antonio and Nabhan Rodrigo, Samer (2009) TALFi: una herramienta para teoría de autómatas y lenguajes formales. [Coursework] (Unpublished)

Fernández Reviejo, Jonás and Nieto Espinal, Francisco Javier and Quijano Sánchez, Jara (2009) UML-AT VIZ. [Coursework] (Unpublished)

Domenech Marín, Francisco and Jiménez Domínguez, Roberto and Jiménez Rodríguez, Jorge (2009) Un entorno de modelado y desarrollo para sistemas sociales. [Coursework] (Unpublished)

Fernández Poblaciones, Pablo and Muñoz Sánchez, Salvador and Murillo Melero, Antonio (2009) Un tutor inteligente para la visualización de métodos algorítmicos y estructuras de datos. [Coursework] (Unpublished)

García Azpiazu, Margarita and Nicolás Fúnez, Cristina and Vaquero Curto, Alberto (2009) Videojuego educativo sobre introducción a la programación. [Coursework] (Unpublished)

Hidalgo Garrido-Lestache, Lope Javier and Huidobro Moradillo, Enrique Omar and Masa González, Juan Antonio (2009) wSafe: Entorno de compilación para SAFE en la red. [Coursework] (Unpublished)

Alonso Medina, Beatriz and Martínez Cesteros, Juan Luis and Renedo Gamero, Eduardo (2008) Asignación de docencia SIC. [Coursework] (Unpublished)

Cuadra Aranzubía, Javier and Romero Sobrino, Iván and Terrado Bruna, Carlos (2008) CRM inteligente. [Coursework] (Unpublished)

Milán Gutierrez, Alberto and Martínez Segura, Miguel and Cáceres González, Fco. Javier (2008) Database desing tool. [Coursework] (Unpublished)

Alemany de Aguinaga, Laura and Arias Torrijos, Victor Manuel and Sánchez Carrillo, Alberto (2008) Depurador declarativo para plataforma .NET. [Coursework] (Unpublished)

Bartolomé, Jesús and DiPierro, Gerónimo and Marcos, Jesús Javier and Ortega, Alberto and Sarasa Cabezuelo, Antonio (2008) Desarrollo de una red de repositorios distribuidos de objetos de aprendizaje. In IV Jornada Campus Virtual UCM: Experiencias en el Campus Virtual (Resultados). Editorial Complutense, Madrid, pp. 177-183. ISBN 978-84-7491-905-9

Díaz Jara, Manuel Félix and Magro García, Inmaculada and Queipo Bravo, Jorge Luis (2008) Describiendo e implementando normas para sistemas multiagente. [Coursework] (Unpublished)

Gutiérrez Fernández, Mª del Mar and Marqués Collado, César and Rodríguez Casero, Raquel (2008) Diseño e implementación de un sistema de control de la construcción de una instalación industrial. [Coursework] (Unpublished)

Pita Andreu, María Isabel and Vado Vírseda, Rafael del (2008) Estudio de una experiencia de aprendizaje interactivo para la asignatura de Estructura de Datos a través del Campus Virtual. In IV Jornada Campus Virtual UCM: Experiencias en el Campus Virtual (Resultados). Editorial Complutense, Madrid, pp. 151-168. ISBN 978-84-7491-905-9

Fernández Carramiñana, Pablo and Jiménez Barral, Carlos and Marchiori, Eugenio Jorge (2008) Experimentación distribuida con algoritmos genéticos para el aprendizaje de AFs mediante AFPs. [Coursework] (Unpublished)

Díaz Yeregui, Pedro and Ogalla Ramirez, Jorge (2008) Generación de código de control de acceso orientado a aspectos: un enfoque por metamodelos. [Coursework] (Unpublished)

Álvarez Toledano, Alberto and Andrés Ferreras, David and Sánchez de Ocaña Rengifo, Gonzalo (2008) Godacheant: E-Learning, desarrollo de un editor online de objetos de aprendizaje. [Coursework] (Unpublished)

Caño Núñez, Jesús and Ramos Ruiz, Ignacio and Álvarez Fernández, Enrique (2008) HOTL: Hypothesis and observations testing logic. [Coursework] (Unpublished)

Prieto Bermejo, Jaime and Vegas Calle, Eduardo (2008) Implementación de appliances para enrutado IPv6 desde pataformas hardware económicas. [Coursework] (Unpublished)

Sánchez Gil , Lidia (2008) Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. [Trabajo Fin de Máster]

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo Fin de Máster]

Alonso Blas, Diego Esteban (2008) Una herramienta para inferir cotas superiores de relaciones de coste. [Coursework] (Unpublished)

Gómez Gómez, Borja and Miguel Vicenti, Antonio de (2008) Videojuego educativo sobre introducción a la programación. [Coursework] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [ Technical Report 1/07; ] (Unpublished)

Cardiel Freire, Diego and Ortiz Sánchez, Juan José and Rupérez Cañas, Delfín (2007) ACIDE: A Configurable IDE. [Coursework] (Unpublished)

Colinas Lorenzo, Ana and García Asenjo, Alejandro and Mengual Castro, Aída (2007) Animaciones de tipos abstractos de datos. [Coursework] (Unpublished)

Saiz Jiménez, Ana Isabel and Soler Múñoz, Pablo and Cayeiro García, Miguel (2007) Aprendizaje interactivo de estructuras de datos y métodos algorítmicos. [Coursework] (Unpublished)

Aguado Villanueva, Jaime and Castromil Campos, Juan Carlos and Pinto Camarero, Carlos (2007) Aventura Gráfica Multijugador AGM. [Coursework] (Unpublished)

Muñoz Vélez, Sofia and Corredor Sanz, Silvia and Melado Corral, Alicia (2007) Complu6IX: Transición del Campus de la Complutense a la tecnología IPv6 Soporte y Simulación. [Coursework] (Unpublished)

Abián Belmonte, Alberto and Frutos Morales, Jaime and Santamaría Reinoso, Javier (2007) Complu6IX: transición a IPv6 de la red de datos del campus de Moncloa: ingeniería de red. [Coursework] (Unpublished)

Nevados Holgado, Alejo Jesús and Martín Gómez, Victor and Lozano Robles, Jesús (2007) Coordinación de sistemas multiagentes para tareas de localización de objetos. [Coursework] (Unpublished)

Rojo Rojo, José Luis and Alonso Pajuelo, Miguel Ángel (2007) Creación, gestión y uso de “objetos de aprendizaje” en los Sistemas Chasqui. [Coursework] (Unpublished)

García Sánchez, Ana María and García de Dios, Miguel Ángel and Gallego Carricondo, Carlos (2007) Extensión de la herramienta de modelado UML MOVA con la funcionalidad de exportación e importación de diagramas en el estándar XMI. [Coursework] (Unpublished)

González Toboso, Adoración and Perucha Sánchez, Reyes Lucio and Urbina García, María Luisa (2007) FuSiE (Fuzzy Systems Editor). [Coursework] (Unpublished)

Monte Freitas, Álvaro del (2007) GPUs: Rigid Body Simulation. [Trabajo Fin de Máster]

Alcolea Velázquez, Javier and Álvarez Arrieta, Felipe Pablo and Moreno Iglesias, Lara (2007) Generador del modelo relacional y esquemas de bases de datos a partir del modelo entidad/relación. [Coursework] (Unpublished)

Rivas Rodríguez, Javier and Marcos Vega, Manuel (2007) Herramienta abierta de regresión borrosa. [Coursework] (Unpublished)

Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. [Trabajo Fin de Máster]

González Palomar, Irene and González Rodríguez, Diego and Plaza Fernández, Luis Julián (2007) Interfaz gráfica para Mobile-Maude. [Coursework] (Unpublished)

Prieto Ruiz, Rocío and Rodríguez Alonso, Belén and Suárez Bravo, Álvaro (2007) MOVA Tool. [Coursework] (Unpublished)

Fernández García, Ignacio and Molero Blázquez, Luis and Rioboo Crespo, Carlos (2007) Orfeo. [Coursework] (Unpublished)

Rosa Velardo, Fernando (2007) Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. [ Technical Report ; 2/07, ] (Unpublished)

Proensa Mora, Carlos and Martín López, Santiago and Rizaldos Pareja, Pedro (2007) Planificación automática de un proyecto a partir de la limitación de las capacidades de los recursos y la duración de las fases, considerando como prioridades las fechas de finalización exigidas y la máxima ocupación. [Coursework] (Unpublished)

Romero Díaz, Carlos Alberto (2007) Programación lógica cuantitativa y su implementación en TOY. [Trabajo Fin de Máster]

Marcos Granjo, Jesús Javier and Ortega Valentín, Alberto and Bartolomé Sanz, Jesús (2007) Repositorio de objetos de aprendizaje distribuido. [Coursework] (Unpublished)

Contreras Fernández, José Alberto and Eiras Franco, Carlos and Garrote Merino, Sergio (2007) Simulación de confianza y reputación: sistema multi-agente de una cadena de mercados. [Coursework] (Unpublished)

Segura Díaz, Clara María and Pita Andreu, María Isabel (2007) Una herramienta para el estudio de estructuras de datos y algoritmos. In III jornada Campus Virtual UCM : Innovación en el Campus Virtual metodologías y herramientas. Editorial Complutense, Madrid, pp. 13-23. ISBN 978-84-7491-811-3

Lopéz Cuadrado, Javier and Peréz Jiménez, Sergio and Sánchez Manzano, Alberto (2007) Una herramienta para el testeo de propiedades formales de programas basada en técnicas de demostración automática. [Coursework] (Unpublished)

Martín Moreno, Sonia and Remesal Escalero, Francisco Javier and Rivera Rodríguez, Laura (2007) Videojuego educativo para el aprendizaje de SQL. [Coursework] (Unpublished)

Sarasa Cabezuelo, Antonio and Cleva Millor, José Miguel and Estévez Martín, Sonia and Morón, Noelia (2007) ¿Debemos superar WebCT?: hacia un modelo basado en objetos de aprendizaje. In III jornada Campus Virtual UCM : Innovación en el Campus Virtual metodologías y herramientas. Editorial Complutense, Madrid, pp. 201-209. ISBN 978-84-7491-811-3

Herrera de la Cruz, Jesús and Peñas, Anselmo and Rodrigo, Álvaro and Verdejo, Felisa (2006) UNED at PASCAL RTE-2 challenge. In Proceedings of the Second PASCAL Recognizing Textual Entailment Workshop. Workshop Organization. (In Press)

Herrera de la Cruz, Jesús and Peñas, Anselmo and Verdejo, Felisa (2006) Textual entailment recognition based on dependency analysis and WordNet. In MLCW 2005. Lecture Notes in Artificial Intelligence, 3944 . Springer-Verlag, Berlin, pp. 231-239. ISBN 3 540 33427 0 (In Press)

Barbero Romero, Víctor and Carrión Inglés, Carmen and Reyes Guzmán, Álvaro de los (2006) Analizador de armonía musical. [Coursework] (Unpublished)

Jiménez Sierra, Almudena and Muñoz Rodríguez, Fco. Javier and Torres Porta, Gonzalo (2006) Aplicación de métodos de Inteligencia Artificial para la toma de decisiones en simulación de móviles. [Coursework] (Unpublished)

Iglesias Franch, Ignacio and Jiménez Requero, Denis and Luengo Requero, Javier (2006) Aplicación de técnicas de CBR a los sistemas de enseñanza interactivos. [Coursework] (Unpublished)

García Ríos, Diana and Herranz Bandrés, Antonio and Sanz Ruiz, Juan (2006) Atracción Numérica Fatal (SuDoKu JADE). [Coursework] (Unpublished)

Fang, Sheng and Villegas López, José Antonio and Corbacho Gil, José (2006) Creación, gestión y uso de “objetos de aprendizaje” en un entorno web. [Coursework] (Unpublished)

González-Blanch Rodríguez, Francisco and Miguel Roses, Reyes de and Serrano Soria, Susana (2006) Depurador Declarativo de programas JAVA. [Coursework] (Unpublished)

Conesa, Jesús and López, Ricardo and Lozano, Ángel (2006) Desarrollo de un compilador para un lenguaje funcional con gestión explícita de la memoria. [Coursework] (Unpublished)

Fernández Martín, Javier and Rodríguez Alonso, Emilia Mª and Ruiz González, Patricia (2006) Desarrollo de un entorno hardware para la ejecución de aplicaciones de propósito general sobre FPGA’s. [Coursework] (Unpublished)

Lucas González, Javier and Martorano Rincón, Enrique and Soriano Díaz, Javier (2006) Diseño e implementación del proceso de Validación de datos de Red Eléctrica Española con certificación de resultados. [Coursework] (Unpublished)

Iglesias González, Raúl and Ortiz-Repiso Villegas, Antonio and Picazo Sotos, Ramón (2006) E-Learning personalizado en función de estilos de aprendizaje y utilizando estándares educativos emergentes. [Coursework] (Unpublished)

Costero Ranz, Lourdes and Oliva Pérez, Susana and Sánchez Fernández, Miguel Ángel (2006) Editor y motor de QTI. [Coursework] (Unpublished)

Cano Fernández, Ramón and Fernández Ortega, David and Osa Martínez, Mª Esther de la (2006) Estudio de las necesidades en las redes Ad Hoc y creación de un protocolo de enrutamiento. [Coursework] (Unpublished)

Tórtola Navarro, Darío and Vives Lafuente, Carlos (2006) Estudio sobre la relevancia de los contadores de rendimiento en situaciones de conflicto. [Coursework] (Unpublished)

Iglesia Ramírez, Eduardo de la and Moreno Pereira, Gonzalo and Rubert Sánchez, Cristina (2006) Extensión de una herramienta para visualizar estructuras de datos y algoritmos. [Coursework] (Unpublished)

Cuesta Rubio, María and García Martín, Laura and Pérez Jiménez, Estefanía (2006) Extensión de una herramienta para testear propiedades temporales y probabilísticas. [Coursework] (Unpublished)

Barrio García, Alberto Antonio Del and Rincón Vallejos, Francisco Javier and Sevillano Camarero, Julio (2006) Fulltick Editor: Editor Gráfico de Interfaces Gráficas en C++. [Coursework] (Unpublished)

Meco Alías, Albert and Martínez de Leiva Nieto, Daniel and Alonso Navarro, Marcos (2006) GAMA -Generador Automático de Modelos Animados-. [Coursework] (Unpublished)

Gómez Edo, Iván and Pérez García, Itziar and Torres Ortiz, Alonso Javier (2006) Herramienta de simulación bursátil sobre agentes software y Web services. [Coursework] (Unpublished)

Díaz Esteban, Alberto (2006) Integración de técnicas de clasificación de texto y modelado de usuario para la personalización en servicios de noticias. [Thesis]

Alonso García, Diego and Hernández Arroyo, Daniel and Olivar Escaja, Carlos (2006) Intérprete de visualizaciones. [Coursework] (Unpublished)

Alonso Calvo, Abraham and Cañas Caicoya, Elena and Nieto Sanz, Daniel (2006) LOMEditor 2006: editor de objetos de aprendizaje en base a plugins. [Coursework] (Unpublished)

Alcaraz Martín, Fernando and Arias Baña, Jorge and Gavela Coya, Juan Pablo (2006) MOVA Tool (Visual ITP/OCL Tool). [Coursework] (Unpublished)

Calle Cantalapiedra, Pedro Javier and Chávarri Álvarez, Javier and Iglesias Pulido, Fernando (2006) PUMUKI: The Pure Music Kit. [Coursework] (Unpublished)

Martínez Real, Julio Alberto and Pedrera Castela, Alberto and Ortiz Fernández, Guillermo (2006) Persia: personalización inteligente del sistema operativo Linux basado en las preferencias y temperamentos de los usuarios. [Coursework] (Unpublished)

Jenkins López, David B. and Monte Freitas, Álvaro del and Montenegro Montes, Manuel (2006) Rigid Body Simulation. [Coursework] (Unpublished)

Bautista Blasco, Susana and González Polo, Daniel and Rueda Moltó, Elena Pilar (2006) SIOS-m: desarrollo y simulación de un sistema Inteligente orientado a servicios móviles. [Coursework] (Unpublished)

González Jenal, Mónica and Martín Alejo, Silvia and Ramos López, Raquel (2006) Sistema CBR para presentación de entrenamientos físicos personalizados en Internet. [Coursework] (Unpublished)

Tolosa Diosdado, Miguel Ángel and Ameziane, Adam (2006) Sistema de autoconfiguración para redes Ad hoc. [Coursework] (Unpublished)

Carrasco Sánchez, Roberto and Crespo Ábalos, José Javier and López Mancheño, Antonio José (2006) Sistema multiusuario para la gestión universitaria vía Web, incluyendo el desarrollo de un interfaz para el diseño de aplicaciones de datos visuales. [Coursework] (Unpublished)

Alonso López, María and García García, Leticia and Soria Soler, Jose David (2006) Software de comunicación de PDAs. [Coursework] (Unpublished)

Herrera de la Cruz, Jesús and Peñas, Anselmo and Verdejo, Felisa (2006) Techniques for recognizing textual entailment and semantic equivalence. In Postproceedings of the XI Conference of the Spanish Association for Artificial Intelligence. Santiago de Compostela, Spain. Springer. (In Press)

Akinfieva, Elena and Navarro Iborra, Álvaro and Romero Sanguña, Erika Elizabeth (2006) Transformación asistida de programas funcionales. [Coursework] (Unpublished)

Díaz Agrela, Diana and Menéndez Blanco, María and Hernández Torres, Pedro Antonio (2006) Utilización de métodos de simulación basados en técnicas de Inteligencia Artificial aplicados a objetos móviles. [Coursework] (Unpublished)

Díaz Jubera, Sergio and Gallego Ahijón, Javier and Sobrinos García, José María (2006) Vega Solaris: The Remake. [Coursework] (Unpublished)

Herrera, Jesús and Peñas, Anselmo and Verdejo, Felisa (2005) Técnicas aplicadas al reconocimiento de implicación textual. In Actas de la XI Conferencia de la Asociación Española para la Inteligencia Artificial. Asociación Española para la Inteligencia Artificial (AEPIA), Santiago de Compostela, pp. 243-252. ISBN 84 96474 13 5

Herrera de la Cruz, Jesús (2005) Un modelo fundamentado en análisis de dependencias y WordNet para el reconocimiento de implicación textual. [D.E.A]

Herrera de la Cruz, Jesús and Peñas, Anselmo and Verdejo, Felisa (2005) Textual entailment recognition based on dependency analisys and WordNet. PASCAL. Proceedings of the First Challenge Workshop. Recognizing Textual Entailment., único . pp. 21-24.

Jiménez Sánchez, Andrés and Miguel Morate, Amaia de and Villellas Bernal, Javier (2005) Analizador de un espectro musical. [Coursework] (Unpublished)

Anta Álvarez, Tania and Sánchez Rodríguez, Nazaret and Herranz Lillo, Santos (2005) Aventura gráfica multijugador. [Coursework] (Unpublished)

Calvo Diaz de Neira, Juan José and Espadero Guillermo, Alberto and Sánchez Llorente, David (2005) Creación, gestión y uso de objetos de aprendizaje en la Web. [Coursework] (Unpublished)

Gómez Pérez, Laura and Molina Sánchez , Beatriz and Rodrigo Yuste, Álvaro (2005) Desarrollo de Servicios Web para la gestión de objetos virtuales en entornos de e-learning. [Coursework] (Unpublished)

Ferrer Medina, Patricia and Alonso Domínguez, Santiago and Gámez Guillén, Pablo (2005) Educación personalizada a través de la Web mediante la utilización de estámdares educativos y tecnologías de la Web Semántica. [Coursework] (Unpublished)

Cantos Galán, Sara and Álvarez Sánchez, Roberto and Parrilla Bejerano, José Luis (2005) Entorno de clase virtual en Internet. [Coursework] (Unpublished)

Martín Martín, Silvia and Sanz Trujillo, Victoria and Zamorano Valtueña, Eva (2005) Experimentos sobre la evolución del lenguaje. [Coursework] (Unpublished)

Ballester Lorenzo, Raquel and Campo Montejo, José Ignacio del and Flórez Puga, Gonzalo (2005) FORT: una herramienta de regresión borrosa. [Coursework] (Unpublished)

Carro Albarrán, David and Riesco Rodríguez, Adrián and Rodríguez Martínez, Francisco Pedro (2005) Fractal Go. [Coursework] (Unpublished)

Serna Fernández de la Torre, Fermín and Reza Bernández, Javier and Vázquez Rodríguez, Adolfo (2005) FreeWall-1: un cortafuegos corporativo para plataformas Win32. [Coursework] (Unpublished)

Gómez Santos, Javier and Rodrígues Hortalá, Juan and Torres de Alba, Roberto (2005) Genaro. [Coursework] (Unpublished)

Pérez Gutierrez, José Julián and Romero Díaz, Carlos Alberto and Sánchez Colmenar, Andrés (2005) Gestor global de contactos. [Coursework] (Unpublished)

Blanco Martín, Alejandro and Curieses Chamón, David and Ortega Mejías, Óscar (2005) Herramienta CASE hipermedia: Plumbingmatic. [Coursework] (Unpublished)

Murillo Blanco, Javier and Laureano Collado, Javier and García-Magariño García, Iván (2005) Implementación de juegos de estrategia con programación evolutiva. [Coursework] (Unpublished)

Fernández-Valmayor Crespo, Alfredo and Guinea Bueno, Mercedes and Navarro Martín, Antonio and Sierra Rodríguez, José Luis (2005) Integración de investigación y docencia en el campus virtual: el sistema Chasqui. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 336-348. ISBN 84-7491-787-5

Arriola Gómez, Raúl and Iglesia Arranz, Susana de la and Piquer Sánchez, Francisco (2005) LOMEditor 2005. [Coursework] (Unpublished)

Blanco Ancos, Roberto and García Gimeno, José Antonio and Santos García, Gustavo de (2005) Motor 3D con soporte de red aplicado a un videojuego. [Coursework] (Unpublished)

Fuertes Marín, Manuel and Gallo Martínez, Patricia and Ortiz de Zárate Ansótegui, Natalia (2005) Módulo de Inteligencia Artificial para el proyecto GICE4S. [Coursework] (Unpublished)

Mansilla Albornos, Francisco José and Martínez Bermejo, David and Miguel Águeda, David (2005) Protocolo de transmisión de señales estereoscópicas para control remoto de un robot autónomo. [Coursework] (Unpublished)

Franco Madrigal, Juan Luis and Robla González, Ana María and Sanz Povedano, Alberto (2005) Proyecto de bases de datos relacionales y deductivas. [Coursework] (Unpublished)

Herrera, Jesús and Peñas, Anselmo and Verdejo, Felisa (2005) Question answering pilot task at CLEF 2004. In Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK. Lecture Notes in Computer Science, 3491 . Springer-Verlag, Berlin, pp. 581-590. ISBN 3 540 27420 0

Delgado Díez, Sergio (2005) RPG-3D. [Coursework] (Unpublished)

Gamero Lancha, Alberto and Guerrero San Miguel, Mª José and Sánchez Granero, José Manuel (2005) Reconocimiento de texturas naturales mediante técnicas de visión por computador. [Coursework] (Unpublished)

León Aznar, Carlos and Mendoza Castejón, Jorge and Sánchez Nieto, Diego (2005) Reconocimiento visual de instrucciones de un entorno 3D para un robot autónomo. [Coursework] (Unpublished)

Herrezuelo Sánchez, Beatriz and Sánchez San José, Eva Cristina and Martín Pedro, Juan Antonio (2005) Servidor de fusión de volúmenes. [Coursework] (Unpublished)

Sánchez Sánchez, Vanesa and Vicente Martín, Soledad and Coba Crespo, Eduardo (2005) Simulación de la creación de una “Start-up” de tecnología de servicios inalámbricos mediante PDA´s. [Coursework] (Unpublished)

Burgos Artizzu, Xavier Paolo and Diez Hernández, Ángel Luis and Iglesias Sánchez, Ángel (2005) Simulador de vuelo de helicóptero. [Coursework] (Unpublished)

Pablo Gutierrez, Itziar, de and Donadiós Algarra, Mercedes and Sánchez Codoni, Miguel (2005) Sistema de testing de aspectos cuantitativos. [Coursework] (Unpublished)

Charro Enche, Ruth María and Lavín Mera, Pablo and Mengotti Arribas, Arturo (2005) Statistics4j framework para el desarrollo de simulaciones estadísticas. [Coursework] (Unpublished)

Cleva Millor, José Miguel and Gregorio Rodríguez, Carlos and Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

Gutierrez García, Laura and Rico Redondo, Esther and Torrano Gimenez, Carmen (2005) Visualización y animación de estructuras de datos y algoritmos. [Coursework] (Unpublished)

López Moratalla, Javier and Martínez Ortiz, Iván and Moreno Ger, Pablo (2004) <e-Aula>: desarrollo de un sistema e-learning basado en estándares IMS. [Coursework] (Unpublished)

Koronis Pérez, Jorge and Ordoño Marín, Sergio and Yáñez Morante, Elsa (2004) Aventura gráfica multijugador. [Coursework] (Unpublished)

Iglesias Martín, Gabino and Sanz Cid, Javier (2004) Bases de datos terminológicas, léxicas y ontológicas. [Coursework] (Unpublished)

Esteban Inés, David and Martín Pérez, Acacio and Ruiz Tello, Carlos (2004) Bases de datos terminológicas, léxicas y ontológicas: herramienta de importación y exportación de diccionarios [2ª parte]. [Coursework] (Unpublished)

Martín Pérez, Acacio and Esteban Inés, David and Ruiz Tello, Carlos (2004) Bases de datos terminológicas, léxicas y ontológicas: herramientas de importación y exportación de diccionarios. [Coursework] (Unpublished)

Magnini, Bernardo and Romagnoli, Simone and Vallin, Alessandro and Herrera, Jesús and Peñas, Anselmo and Peinado, Víctor and Verdejo, Felisa and de Rijke, Maarten (2004) Creating the DISEQuA corpus: a test set for multilingual question answering. In : Comparative Evaluation of Multilingual Information Access Systems: 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers. Lecture Notes in Computer Science, 3237 . Springer-Verlag, Berlin, pp. 487-500. ISBN 3 540 24017 9

García Díaz, Silvia and Gutiérrez Ramírez, Carmen and Hervás Ballesteros, Raquel (2004) Estudio de la evolución de vida artificial: ALiS (Artificial Life Simulation). [Coursework] (Unpublished)

Fraile Gutiérrez, Javier and Muñoz Costumero, Tomás and Rabanal Basalo, Pablo M. (2004) ForoCaos: desarrollo de un foro jerárquico. [Coursework] (Unpublished)

Martínez García, Luis María and Fernández Castro, David (2004) Herramienta de monitorización del rendimiento aplicada al Pentium 4. [Coursework] (Unpublished)

Diéguez Alberte, Andrés and Ovejero Málaga, Roberto and Robledo Ibáñez, Andrés (2004) Implementación de juegos usando algoritmos evolutivos. [Coursework] (Unpublished)

Castillo Ventosa, Héctor del and García Fernández, Gonzalo and Sanz Sierra, Rafael (2004) Implementación del módulo de exámenes para el sistema <e-Aula> siguiendo especificaciones IMS QTI. [Coursework] (Unpublished)

Fonseca Díaz, Daniel and Romero Benítez, Gustavo and Herrera García, Mariano (2004) Intranet para un departamento universitario. [Coursework] (Unpublished)

Gómez-Zamalloa Gil, Miguel and Vico Gómez, Diego and Alonso Martín, Luis María (2004) Manipulación y edición de sonido digital. [Coursework] (Unpublished)

Verdejo López, José Alberto (2004) Maude como marco semántico ejecutable. [Thesis]

Gutiérrez Sancho, Enrique and García Casado, Natalia (2004) Modificación de la herramienta SimpleScalar para el estudio de las arquitecturas asíncronas. [Coursework] (Unpublished)

Rubio Díez, Fernando (2004) Programación funcional paralela eficiente en Eden. [Thesis]

Chavero García-Esteban, Jesús and Ramírez Pérez, Juan Pablo and Sánchez Carballo, Eduardo (2004) Proyecto de juego de Go. [Coursework] (Unpublished)

Gómez Collado, Pablo and Gómez Martín, José Manuel and Sánchez Fernández, José Antonio (2004) Servicios Web para comunidades docentes: Servicio de cursos de informática. [Coursework] (Unpublished)

Blázquez de Miguel, Javier and Santos García, Gonzalo de and Fernández Hernández, Gonzalo (2004) Sistema de chat 3D. [Coursework] (Unpublished)

Álvarez Moreno, Gonzalo and González Egea, Helios and Romero Pérez, José (2004) Sistema de entrenamiento de ajedrez para principiantes. [Coursework] (Unpublished)

Arenas González, David Manuel and Partearroyo Flores, María and Sanz Sanz, Mª Montserrat (2004) Sniffer UCM: herramienta de monitoreo de tráfico. [Coursework] (Unpublished)

Peñas, Anselmo and Verdejo, Felisa and Herrera, Jesús (2004) Spanish question answering evaluation. In Computational Linguistics anComputational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004 Seoud Intelligent Text Processing: 5th International Conference, CICLing 2004 Seoul, Korea, February 15-21, 2004 Proceedings. Lecture Notes in Computer Science, 2945 . Springer-Verlag, Berlin, pp. 472-483. ISBN 3 540 21006 7

Magnini, Bernardo and Romagnoli, Simone and Vallin, Alessandro and Herrera, Jesús and Peñas, Anselmo and Peinado, Víctor and Verdejo, Felisa and de Rijke, Maarten (2004) The multiple language question answering track at CLEF 2003. In Comparative Evaluation of Multilingual Information Access Systems: 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers. Lecture Notes in Computer Science, 3237 . Springer-Verlag, Berlin, pp. 471-486. ISBN 3 540 24017 9

Díaz Agudo, María Belén (2004) Una aproximación ontológica al desarrollo de sistemas de razonamiento basado en casos. [Thesis]

Díaz Ayuso, Patricia and Díaz García, Beatriz and Sanz Pineda, Concepción (2004) Uso y gestión de objetos de aprendizaje en la web. [Coursework] (Unpublished)

Verdejo López, José Alberto and Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Perea Venzalá, Montserrat and Sanchíz Callejón, Aurelio (2003) Bases de datos terminológicas, léxicas y ontológicas. [Coursework] (Unpublished)

Vera Mateos, Beatriz and Valverde Escorial, Esther and Llorente Marcos, Jorge Juan (2003) Creación de un entorno de clase virtual en Internet. [Coursework] (Unpublished)

Rincón García, Sergio and Oller Peña, Alberto and Mártinez Maqueda, Daniel (2003) Estudio comparativo de algoritmos heurísticos para el problema del viajante de comercio. [Coursework] (Unpublished)

Lamas Legein, Jaime and Palomino Palomino, Mª Pilar and Sánchez Jean , Héctor (2003) Herramientas para generar sobre Web ejercicios de ajedrez interactivos para principiantes. [Coursework] (Unpublished)

Francisco Gilmartín, Virginia and Rubio Montero, Antonio Juan and Soria Peña, Antonio and Celorrio Aguilera, Carlos (2003) HispaGrid. [Coursework] (Unpublished)

Torresano Rubio, Rubén and Niño Fernández, Francisco Javier and Peña Sánchez, René Alonso (2003) Implementación de un sistema para intercambio electrónico (e-Barter). [Coursework] (Unpublished)

Díaz Estebaranz, Jorge and Fernández Cruz, Javier and Riao Valverde, Alberto (2003) Interfaz gráfica de un asistente pedagógico. [Coursework] (Unpublished)

Amigo de la Huerga, Ángel and San José Alonso, Óscar and Sangenís Garola, Óscar (2003) Librería de Efectos 2D/3D y técnicas de renderizado bajo OpenGL. [Coursework] (Unpublished)

Beltrán Ferruz, Pablo José and Cerro Aguilar, Alfonso del and Cuenca Pascual, Daniel and García Aceituno, Gustavo (2003) Motor gráfico para el desarrollo de videojuegos. [Coursework] (Unpublished)

Benito Cañizares, Rafael de and Cortés Guitián, Mónica and Montero Llopis, Mª José and Mozas Noguerado, Mª Almudena (2003) Proyecto Arma: herramienta de evaluación de contenidos. [Coursework] (Unpublished)

Domínguez Roldán, Luis and Navas-Parejo Alonso, Daniel and Recio García, Juan Antonio (2003) Proyecto ClueX: Gestor Inteligente de Cálculo Distribuído. [Coursework] (Unpublished)

Bermejo Rodríguez, Luis Alberto and Cubino González, Rafael (2003) Proyecto migración ontología-Mikrokosmos. [Coursework] (Unpublished)

Barajas Fernández, Saulo and Martínez Sanz, Santiago and Parodi Bardón, Jaime (2003) Simulación de nuevas arquitecturas en Internet. [Coursework] (Unpublished)

Arjandas Daryanani, Ajay and Fraile Alonso, Raquel and Pérez Cano, Aitor (2003) UTC: Herramienta esteganalítica modular. [Coursework] (Unpublished)

Lorido Sánchez , Luis and Palazuelo Bretón, Luis and Romero Córdoba, Sergio and Serna Gil, José Luis (2003) Utilización de herramientas basadas en Métodos Formales para el desarrollo de sistemas de comercio electrónico. [Coursework] (Unpublished)

Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Verdejo López, José Alberto and Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Submitted)

Caballero, Rafael and Martí Oliet, Narciso and Riesco Rodríguez, Adrián and Verdejo López, José Alberto Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso Declarative Debugging of Missing Answers in Rewriting Logic. [ Technical Report SIC; 6-09, ] (Unpublished)

This list was generated on Thu Oct 2 02:52:58 2014 CEST.