E-Prints Complutense
| Login | Create Account |
 | Up a level |
Andrés Sánchez, César and García Merayo, Mercedes and Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833
Andradas Heranz, Carlos and Recio, Tomás and Tabera, Luis F. and Rafael Sendra, J. and Villarino, Carlos (2011) Proper real reparametrization of rational ruled surfaces. Computer aided geometric design, 28 (2). pp. 102-113. ISSN 0167-8396
Martínez Usero, José Ángel (2006) La utilización del Software Libre y de los Formatos Abiertos en la Administración Pública. AR: Revista de Derecho Informático (96). ISSN 1681-5726
Gómez Gómez, Francisco and Munuera Gómez, Pilar (2006) Experiencia del espacio virtual de coordinación de la Escuela de Trabajo Social. Acciones e Investigaciones Sociales (22). pp. 1-23. ISSN 1132-192X
Gómez Gómez, Francisco (2006) Innovación y Mejora de la Calidad Docente en Trabajo Social. Innovation and Improvement of the Educational Quality in Social Work. Acciones e Investigaciones Sociales (22). pp. 1-29. ISSN 1132-192X
Gutiérrez, J. P. and Goyache, F. (2005) A note on ENDOG: a computer program for analysing pedigree information. Journal of Animal Breeding and Genetics, 122 (3). pp. 172-176. ISSN 0931-2668
Gutiérrez García, Juan Pablo and Royo Martín, Luis José and Fernández Álvarez, Ana Isabel and Goyache Goñi, Félix María (2005) MolKin v2.0: a computer program for genetic analysis of populations using molecular coancestry information. Journal of Heredity, 96 (6). pp. 718-721. ISSN 0022-1503
Rodrigo Mateos, José Lázaro (1994) Programa de extracción automática de palabras con su contexto: REAL. Revista de la SEPLN, 14 . pp. 149-163. ISSN 1135-5948
Ávalos García, Adolfo and Barrera Martínez, Ildefonso and Gabriel y Galán Moris, José María and Gallardo García, Tomás and Gómez Garay, Aranzazu and Hernández, José María and Lahoz Beltrá, Rafael and López González-Nieto, Pilar and Marcos Samaniego, Nieves and Martín Calvarro, Luisa and García Moreno, Ana and Oliván Martínez, Gisela and Pérez-Urria Carril, Elena and Pintos López, Beatriz (2011) UCM-MACB 2.0: A Complutense University Virtual Herbarium Project. In Proceedings of EDULEARN11 Conference (International Conference on Education and New Learning Technologies). International Association of Technology, Education and Development (IATED), 001446-001451. ISBN 978-84-615-0441-1
Gómez Albarrán, Mercedes and Jiménez Díaz, Guillermo and López Fernández, Marta and Gómez Martín, Marco Antonio and Hernández Yáñez, Luis Antonio and Ruiz Iniesta, Almudena and Díaz Esteban, Alberto (2009) Evolución de un espacio de trabajo multidisciplinar para el aprendizaje de la programación basado en casos prácticos: de los repositorios a los cursos adaptativos en el Campus Virtual de la UCM. In V Jornada Campus Virtual UCM: Buenas prácticas e indicios de calidad. Universidad Complutense, Madrid, pp. 39-49. ISBN 978-84-7491-968-4
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
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)
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)
Bautista Barahona, Enrique and Salcedo Ramos, Ignacio and Ureña Herradón, Alberto (2012) Procesador automático de informes médicos. [Coursework] (Unpublished)
Martínez del Camino, Guillermo (2012) Simulaciones de emergencia en entornos 3D. [Coursework] (Unpublished)
Celador Hernández, José Enrique and Lucas Martín, Ignacio and Torres Bustillos, Carla (2012) Simulador ARM en el ámbito docente. [Coursework] (Unpublished)
Goicoechea Lassaletta, Aris and Calleja Fernández, Marcos and Pizarro Moleón, Pablo (2012) Terraform: simulación de vida sobre planetas generados. [Coursework] (Unpublished)
García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Coursework] (Unpublished)
Martín López, Fausto and Pedrosa Guerrero, Jesús and Sánchez González, Luis (2011) Editor colaborativo. [Coursework] (Unpublished)
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)
Moscardó Marichalar, Javier and Pozuelo Mayordomo, Pablo and Truan Cano, Guillermo (2011) Software libre de gestión Web de una consulta: gestión de consultas de traumatología. [Coursework] (Unpublished)
Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Coursework] (Unpublished)
Henche Grande, Laura (2010) ¿Un Videojuego en la Biblioteca? [Coursework] (Unpublished)
García Logrosán, Ángel and Vicente Díez, Beatriz and Vlad, Alexandra (2010) Bib Manager y Word Citer. [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)
Esteve Díaz, Pablo and Roldán Gutiérrez, David and Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [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)
Galán Vicente, Daniel and González Ariibas, Francisco (2010) Simulador de elementos de campo para el control de tráfico ferroviario. [Coursework]
Caballero Prados, Jorge and Jimeno Hidalgo, Pablo Rodrigo and Ortega Maestro, Raúl (2010) Sistema de análisis de encuestas de marcas de distribuidor. [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)
Fernández Sánchez, Alberto and Arnáiz García, Diego and Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Coursework] (Unpublished)
González del Campo Rodríguez Barbero, Ramón (2013) Generalizaciones de las medidas de especificidad de la Τ-transitividad para conjuntos difusos intervalo valorados. Tesis PhD.
Mesquita Buiati, Fábio (2013) Diseño e implementación de un sistema de información de movilidad para redes heterogéneas. Tesis PhD.
Ruiz Caricote, César Octavio (2012) Desarrollo de RIAS: caso de estudio en el dominio de la anotación de textos literarios digitalizados. Tesis Master's thesis.
Serrano Laguna , Ángel (2012) GLAS : framework to improve assesment in educational videogames. Tesis Master's thesis.
Domínguez Bayo, Helio Alejandro (2012) Simulación de modelos demográficos basados en agentes. Tesis Master's thesis.
Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. Tesis Master's thesis.
Domenech Marín, Francisco (2011) ASA: sistema automático de personalización aplicado a personajes de videojuegos. Tesis Master's thesis.
Cortés Benavides, Humberto Javier (2011) Extensión UML para el modelado de mapas navegacionales de aplicaciones web basado en MDA. Tesis Master's thesis.
García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. Tesis Master's thesis.
Cristóbal Barrios, Jesús (2011) Soporte en plataformas de e-Learning a patrones pedagógicos. Tesis Master's thesis.
Burgos Artizzu, Xavier Paolo (2010) Percepción y actuación para el tratamiento selectivo de malas hierbas en tiempo real. Tesis PhD.
García-Magariño García, Iván (2010) Un marco para la definición y transformación de modelos en los sistemas multiagentes. Tesis PhD.
García Sánchez , Ana María (2010) Evaluación de métricas de calidad del software sobre un programa Java. Tesis Master's thesis.
Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. Tesis Master's thesis.
Gracia Benítez, Juan Pablo (2010) Marco para la transformación de modelos basado en gramáticas de atributos. Tesis Master's thesis.
Gómez Martín, Marco Antonio (2009) Arquitectura y metodología para el desarrollo de sistemas educativos basados en videojuegos. Tesis PhD.
Gómez Martín, Pedro Pablo (2009) Modelo de enseñanza basada en casos: de los tutores inteligentes a los videojuegos. Tesis PhD.
Rodríguez Pérez, Álvaro (2009) Asistente para gestión de organizaciones de agentes software. Tesis Master's thesis.
Fernández Sáez, Pedro Antonio (2009) Un análisis crítico de la aproximación Model-Driven architecture. Tesis Master's thesis.
Blanco Aguado , Ángel del (2009) Una arquitectura general para la integración de videojuegos educativos en entornos virtuales de enseñanza. Tesis Master's thesis.
Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. Tesis Master's thesis.
Hassan Collado, Samer (2007) Modelado y simulación de la evolución de valores en sociedades humanas con agentes software. Tesis Master's thesis.
Sastre Llorente, Santiago (2006) Programa multimedia de desarrollo de capacidades en alumnos del primer ciclo de educación primaria. Tesis PhD.
Navarro Martín, Antonio (2004) Conceptualización, prototipado y proceso de aplicaciones hipermedia. Tesis PhD.
Vázquez Morcillo, Andrés (2002) Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para E.A.C. de la física mediante un entorno de autor mixto. Tesis PhD.
Alba Pastor, Carmen (2002) Evaluación sumativa y formativa de software educativo para la etapa infantil. Tesis PhD.
Buenaga Rodríguez, Manuel de (2002) Integración de técnicas de procesamiento del lenguaje natural para la recuperación de información en bibliotecas de componentes software. Tesis PhD.
Sáenz Pérez, Fernando (2002) Sistema de identificación y explotación de paralelismo en programas lógico-funcionales. Tesis PhD.
Maestro de la Cuerda, Juan Antonio (2002) Técnicas de estimación de rendimiento y área para el particionamiento hardware-software en un entorno de codiseño. Tesis PhD.
Fernández-Valmayor Crespo, Alfredo and Fernández-Pampillón Cesteros, Ana and Varadero Software Factory , VSF (2013) Guía de Gestión OdA 2.0. [Working Paper or Technical Report] (Unpublished)
Fernández-Pampillón Cesteros, Ana (2012) El proyecto OdA: “Objetos de Aprendizaje en el campus virtual”. [Working Paper or Technical Report] (Unpublished)
Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [Working Paper or Technical Report] (Unpublished)
Rosa Velardo, Fernando (2007) Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. [Working Paper or Technical Report] (Unpublished)
