Complutense University Library

Items where Subject is "Sciences > Computer science > Software"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Jump to: | A | B | C | D | E | F | G | H | I | L | M | N | O | P | Q | R | S | T | V | Á
Number of items at this level: 166.

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)

A

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán (2015) A practical comparator of cost functions and its applications. Science of Computer Programming, 111 (P3). pp. 483-504. ISSN 0167-6423

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel (2015) Test Case Generation of Actor Systems. In 13th International Symposium, ATVA 2015, October 12-15, 2015, Shanghai, China.

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and Román Díez, Guillermo (2015) A Multi-Domain Incremental Analysis Engine and its Application to Incremental Resource Analysis. Theoretical Computer Science, 585 (20). pp. 91-114. ISSN 0304-3975

Almarza Díaz, David (2015) Evaluación del programa de simulación NetLogo como herramienta motivadora y eficaz para trabajar destrezas científicas. [Trabajo Fin de Máster]

Alfonso-Cendón, Javier and Fernández-de-Alba, José Mª and Fuentes-Fernández, Rubén and Pavón Mestras, Juan (2015) Implementation of context-aware workflows with Multi-agent Systems. Neurocomputing, 176 . pp. 91-97. ISSN 0925-2312

Albert Albiol, Elvira and Correas Fernández, Jesús and Román Díez, Guillermo (2015) Non-Cumulative Resource Analysis (Author’s version). In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), April 11-18, 2015, Londres, Reino Unido.

Albert Albiol, Elvira and Genaim, Samir and Gutiérrez, Raúl (2014) A Transformational Approach to Resource Analysis with Typed-Norms. In 23rd International Symposium, LOPSTR 2013, September 18–19, 2013, Madrid.

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and Román Díez, Guillermo (2014) Quantified Abstract Configurations of Distributed Systems. Formal Aspects of Computing, 27 (4). pp. 665-699. ISSN 0934-5043

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán and Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Albert Albiol, Elvira and Correas Fernández, Jesús and Martín Martín, Enrique and Román Díez, Guillermo (2014) Static Inference of Transmission Data Sizes in Distributed Systems. In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, 8 - 11 October 2014, Imperial, Corfu (Greece).

Alfonso-Cendón, Javier and Castejón Limas, Manuel and Ordieres Meré, Joaquín B. and Pavón Mestras, Juan (2014) Insights into the Prevalence of Software Project Defects. The Scientific World Journal, 2014 . ISSN 1537-744X

Ascanio Padilla, Juan R. (2014) ¿CRM, ERP o ambos? In Ciclo de conferencias de la Facultad de Informática 2013/2014, 21-05-2014, Aula 3 de la Facultad de Informática de la UCM. (Unpublished)

Albert Albiol, Elvira and Arenas Sánchez, Puri and Gómez Zamalloa, Miguel (2014) Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. In 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, June 2014, Berlin.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel and Rojas, José Miguel (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency. In 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, June 16-20, 2014, Bertinoro, Italy.

Ascanio Padilla, Juan R. (2014) Érase una vez en el software corporativo. In Ciclo de conferencias de la Facultad de Informática 2013/2014. (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)

Alonso Rodríguez, Victor Manuel and Rodríguez García, Jaime Balbino and Grande Ayuso, María del Pilar (2013) Generación automática de reglas de cobertura para consultas SQL. [Trabajo Fin de Grado]

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)

Agudo Calvo, Belén and Jorro Aragoneses, José Luis and Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas: Madrid Live. [Coursework] (Unpublished)

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

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

Alba Pastor, Carmen (2002) Evaluación sumativa y formativa de software educativo para la etapa infantil. [Thesis]

B

Besada Portas, Eva (2016) EJS-TwinCAT 3.0: Nuevo laboratorio remoto integrado en Moodle para prácticas de control de Ingeniería de Sistemas y Automática. [Proyecto de Innovación Docente]

Ben-Amran, Amir M., Amir M. and Genaim, Samir (2015) Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. In 27th International Conference, CAV 2015, July 18-24, 2015, San Francisco (California).

Borro Escribano, Blanca Beatriz (2015) Sistematización del desarrollo de simulaciones educativas con estrategia de juego en el campo médico. [Thesis]

Blázquez García, Carlos and Aguado Minero, Miguel (2014) Auditor automático para nivel 3 del CMMI‐SW. [Coursework] (Unpublished)

Bueno Gómez, Miguel and Segovia Sanz, Alberto and Torres González, Víctor (2013) Aplicación móvil itinerarios guiados Parque del Retiro. [Coursework] (Unpublished)

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)

Bautista Barahona, Enrique and Salcedo Ramos, Ignacio and Ureña Herradón, Alberto (2012) Procesador automático de informes médicos. [Coursework] (Unpublished)

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

Burgos Artizzu, Xavier Paolo (2010) Percepción y actuación para el tratamiento selectivo de malas hierbas en tiempo real. [Thesis]

Blanco Aguado , Ángel del (2009) Una arquitectura general para la integración de videojuegos educativos en entornos virtuales de enseñanza. [Trabajo Fin de Máster]

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. [Thesis]

C

Cabeza García, José Pablo (2015) Azimuth: diseño y desarrollo de un videojuego no euclídeo. [Trabajo Fin de Grado]

Criado Gallart, Francisco (2015) Azimuth: diseño y desarrollo de un videojuego no euclídeo. [Trabajo Fin de Grado]

Crespo Cepeda, Rodrigo and El Yamri El Khatibi, Meriem and Carrera García, Juan Manuel (2015) CtOS Enabler. [Trabajo Fin de Grado]

Carrión Ovejero, Lara (2015) Detección de wedgies en BGP. [Trabajo Fin de Grado]

Costero Valero, Luis María (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Cerro Cañizares, Pablo (2015) MuTomVo: Mutation Testing framework for omnet-based simulated enVironments. [Trabajo Fin de Máster]

Castro Saturio, Laura María de and García Segador, Samuel and Hernández García, Mariano (2015) Videojuegos para aprender a programar videojuegos. [Trabajo Fin de Grado]

Crespo Salazar, Óscar and Jimeno Garrachón, Gorka and Valero Martín, Luis (2014) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Cruz Botelho, Giovanna da (2013) Auditor automático para nivel 2 del CMMI-SW. [Coursework] (Unpublished)

Cerro Cañizares, Pablo and Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Coursework] (Unpublished)

Crespo Salazar, Óscar and Jimeno Garrachón, Gorka and Valero Martín, Luis (2013) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Celador Hernández, José Enrique and Lucas Martín, Ignacio and Torres Bustillos, Carla (2012) Simulador ARM en el ámbito docente. [Coursework] (Unpublished)

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

Cortés Benavides, Humberto Javier (2011) Extensión UML para el modelado de mapas navegacionales de aplicaciones web basado en MDA. [Trabajo Fin de Máster]

Cristóbal Barrios, Jesús (2011) Soporte en plataformas de e-Learning a patrones pedagógicos. [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)

Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [ ] (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)

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)

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)

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

D

Del Barrio García, Alberto Antonio and Ayala Rodrigo, José Luis and Hermida Correa, Román (2015) Receptor Software de bajo coste e Interfaz Computerizada para el Estudio Práctico de las Comunicaciones Radioeléctricas. [Proyecto de Innovación Docente]

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

Domenech Marín, Francisco (2011) ASA: sistema automático de personalización aplicado a personajes de videojuegos. [Trabajo Fin de Máster]

E

Estévez González, Víctor (2013) Visión general de los Sistemas de Información Geográfica: Geoservicios en la web. [Trabajo Fin de Máster]

Esteve Díaz, Pablo and Roldán Gutiérrez, David and Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [Coursework] (Unpublished)

F

Feliu Ladaria, Juan Carlos and Gutiérrez Hernández-Gil, Carlos and Olmedo Martín, Jacobo and Pavón Núñez, Javier (2014) HAAP: servicios de hotel en el móvil. [Trabajo Fin de Grado]

Fernández Ortihuela, Jorge and Torre González, Ricardo de la (2014) Simulador ferroviario del elemento de campo baliza. [Coursework] (Unpublished)

Fernández-Valmayor Crespo, Alfredo and Fernández-Pampillón Cesteros, Ana and Varadero Software Factory, VSF (2013) Guía de Gestión del repositorio de Objetos Digitales OdA. [ ] (Unpublished)

Fernández Vázquez, Carlos and Octavio de Toledo Rodríguez, María del Mar and Sanmartín Sánchez, Antonio (2013) Aplicación móvil para escuelas de educación ambiental del Ayuntamiento de Madrid. [Coursework] (Unpublished)

Fernández-Pampillón Cesteros, Ana (2012) El proyecto OdA: “Objetos de Aprendizaje en el campus virtual”. [ ] (Unpublished)

Fernández Sáez, Pedro Antonio (2009) Un análisis crítico de la aproximación Model-Driven architecture. [Trabajo Fin de Máster]

Fernández Sánchez, Alberto and Arnáiz García, Diego and Martín Esquifino, Javier (2004) Cluster de PlayStation 2. [Coursework] (Unpublished)

G

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Román Díez, Guillermo (2016) Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java. [Proyecto de Innovación Docente]

Gervás Gómez-Navarro, Pablo and Hervás Ballesteros, Raquel and Bautista Blasco, Susana and Rojo, Javier (2015) An Approach to Treat Numerical Information in the Text Simplification Process. Universal Access in the Information Society . p. 18. ISSN 1615-5289

García de Dios, Miguel Ángel (2015) Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información. [Thesis]

Gervás Gómez-Navarro, Pablo (2015) Tightening the Constraints on Form and Content for an Existing Computer Poet. AISB Convention 2015 .

Gilabert Santos, Juan Antonio (2015) Aprendizaje mediante el desarrollo de una actividad colaborativa entre estudiantes de veterinaria y de informática: desarrollo de la app "Formulario Terapéutico de Mamíferos Marinos". [Proyecto de Innovación Docente]

Gayoso Cabada, Joaquín and Fernández-Pampillón Cesteros, Ana M. and Sierra Rodríguez, Jose Luis (2015) Exportador/Actualizador de datos OdA-XLS. Guía Técnica. [ ] (Unpublished)

Gayoso Cabada, Joaquín and Fernández-Pampillón Cesteros, Ana M. and Sierra Rodríguez, Jose Luis (2015) Generador de informes HTML con OdA-Clavy. Guía Técnica. [ ] (Unpublished)

Gil García, Eva María (2015) INTERacción comunicativa en mensajería instantánea bajo sistemas SAACs : <<INTERSAACs>>. [Trabajo Fin de Máster]

Gil Jiménez, Sergio and Aguilar Méndez, Johanna (2015) Sistema online de apoyo al programa de Mentorias FDI. [Trabajo Fin de Grado]

Gordillo Alguacil, Pablo (2015) Static analysis of concurrent objects: May-Happen-in-Parallel fo asynchronous programs with Inter-procedural synchronization. [Trabajo Fin de Grado]

Gervás Gómez-Navarro, Pablo and León Aznar, Carlos (2015) When Reflective Feedback Triggers Goal Revision: a computational Model for Literary Creativity∗. CEUR Workshop Proceedings, 1407 . pp. 32-39.

Gervás Gómez-Navarro, Pablo (2014) Reviewing Propp’s Story Generation Procedure in the Light of Computational Creativity. AISB 2014 .

García Rodríguez, Hugo and Román García, Miguel and Martínez Molinos, Pablo (2014) Calidad del software en tecnologías móviles : adaptación y actualización de aplicaciones móviles a los estándares de calidad del Ayuntamiento de Madrid. [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)

Gervás Gómez-Navarro, Pablo and León Aznar, Carlos (2014) The Need for Multi-Aspectual Representation of Narratives in Modelling their Creative Process. OpenAccess Series in Informatics, 41 . pp. 61-76.

González del Campo Rodríguez Barbero, Ramón (2013) Generalizaciones de las medidas de especificidad de la Τ-transitividad para conjuntos difusos intervalo valorados. [Thesis]

Goicoechea Lassaletta, Aris and Calleja Fernández, Marcos and Pizarro Moleón, Pablo (2012) Terraform: simulación de vida sobre planetas generados. [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)

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

García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. [Trabajo Fin de Máster]

García Tartera, Francisco J. (2010) Programas simuladores. MAD.RID . pp. 3-10. ISSN 2171-7842

García-Magariño García, Iván (2010) Un marco para la definición y transformación de modelos en los sistemas multiagentes. [Thesis]

García Logrosán, Ángel and Vicente Díez, Beatriz and Vlad, Alexandra (2010) Bib Manager y Word Citer. [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]

Gracia Benítez, Juan Pablo (2010) Marco para la transformación de modelos basado en gramáticas de atributos. [Trabajo Fin de Máster]

Galán Vicente, Daniel and González Ariibas, Francisco (2010) Simulador de elementos de campo para el control de tráfico ferroviario. [Coursework]

Gómez Martín, Marco Antonio (2009) Arquitectura y metodología para el desarrollo de sistemas educativos basados en videojuegos. [Thesis]

Gómez Martín, Pedro Pablo (2009) Modelo de enseñanza basada en casos: de los tutores inteligentes a los videojuegos. [Thesis]

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

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

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Puebla Sánchez, Germán and Román Díez, Guillermo and Peces, Raquel and Giraldo, Carlos Gabriel and Antolín, Clara (2015) Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos. [Proyecto de Innovación Docente]

H

Hernández Bécares, Jennifer (2015) Ejecución y adaptación de trazas de juegos para la automatización de pruebas. [Trabajo Fin de Grado]

Hervás Martín, Lucía and Martínez Simón, Víctor and Sánchez Martínez, Irene (2013) Extracción de información en informes médicos. [Coursework] (Unpublished)

Henche Grande, Laura (2010) ¿Un Videojuego en la Biblioteca? [Coursework] (Unpublished)

Hassan Collado, Samer (2007) Modelado y simulación de la evolución de valores en sociedades humanas con agentes software. [Trabajo Fin de Máster]

I

Ivorra, Benjamin (2015) Solving industrial design problems by using COMSOL Multiphysics with MATLAB. In Iberian COMSOL Multiphysics Conference, Junio 2015, Málaga. (Submitted)

L

López Orozco, José Antonio and Díaz Agudo, Belén and Piñuel Moreno, Luis and Gómez Pérez, José Ignacio and Chaver Martínez, Daniel Angel and Castro Rodríguez, Fernándo and García Sanchez, Carlos and Tenllado Van der Reijden, Christian Tomas (2015) Generación automática de informes del programa Docentia para las memorias de seguimiento de los centros. [Proyecto de Innovación Docente]

Llansó García, David (2014) Metodología ontológica para el desarrollo de videojuegos. [Thesis]

López Fraguas, Francisco J. and Martín Martín, Enrique and Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

Linde Blázquez, Francisco Javier (2014) glUCModel para iOS. [Trabajo Fin de Grado]

Luis Nieto, Sergio de and González Ledesma, David and Muñoz del Rey, Alejandro (2013) eCharacter: una herramienta libre para la creación de personajes 3D. [Coursework] (Unpublished)

M

Martín Sánchez, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2016) Egalitarian state-transition systems (extended version). [ ] (Unpublished)

Martín Sánchez, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2016) Synchronous products of rewrite systems (extended version). [ ] (Unpublished)

Mazzaroto, Solange Francisca (2015) A Interação no ambiente organizacional a partir da utilização de ferramentas de colaboração. In Desafíos y oportunidades de las Ciencias de la Información y la Documentación en la era digital: actas del VII Encuentro Ibérico EDICIC 2015 (Madrid, 16 y 17 de noviembre de 2015). Universidad Complutense de Madrid, Madrid. ISBN 978-84-608-3330-7

Martín de los Ríos Sáiz, Héctor (2015) Modelo de adecuación y arquitectura de aplicaciones utilizando patrones arquitectónicos modelo vista controlador en el frontend. [Trabajo Fin de Máster]

Mesquita Buiati, Fábio (2013) Diseño e implementación de un sistema de información de movilidad para redes heterogéneas. [Thesis]

Moya Señas, Ignacio (2013) Diseño de ejemplos docentes para el aprendizaje eficaz de metodologías orientadas a agentes. [Trabajo Fin de Máster]

Morillo Prieto, Héctor Abraham (2013) Entorno de experimentación para generación de indicaciones en interiores. [Trabajo Fin de Máster]

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)

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [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)

Martínez del Camino, Guillermo (2012) Simulaciones de emergencia en entornos 3D. [Coursework] (Unpublished)

Martín López, Fausto and Pedrosa Guerrero, Jesús and Sánchez González, Luis (2011) Editor colaborativo. [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)

Martínez Comeche, Juan Antonio and Razquin Zazpe, Pedro and Tejada Artigas, Carlos and Ramos Simón, Fernando (2007) La utilización de software de código libre en el área de Biblioteconomía y Documentación en España: el caso de la Universidad Complutense de Madrid. Revista General de Información y Documentación, 17 (1). pp. 7-29. ISSN 1131-8635

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

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. [Thesis]

Martinez-Ortiz, Ivan and Diaz Agudo, Belen and Alonso Garcia, Miguel Aurelio and Recio García, Juan Antonio (2015) MENTORIZATE-UCM: Herramientas de gestión del programa de mentorías en la UCM. [Proyecto de Innovación Docente]

N

Navarro Martín, Antonio (2004) Conceptualización, prototipado y proceso de aplicaciones hipermedia. [Thesis]

O

Ortiz Folgado, Ángel Luis and Pérez La Madrid, Óscar Eduardo and Vargas Rastrollo, Esteban (2015) Estudio de tendencias diarias en Twitter. [Trabajo Fin de Grado]

Ospino Rivas, John (2013) ECREHAB: ecosistema para herramientas software de rehabilitación cognitiva. [Trabajo Fin de Máster]

P

Pérez Colado, Iván José and Pérez Colado, Víctor Manuel (2014) Un conjunto de herramientas para Unity orientado al desarrollo de videojuegos de acción-aventura y estilo retro con gráficos isométricos 3D. [Trabajo Fin de Grado]

Peñalver Santorio, Alejandro and Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [Coursework] (Unpublished)

Pareja Lora, Antonio (2014) Aprendiendo inglés autónoma y ubicuamente (a cualquier hora y en cualquier lugar): uso de apps (aplicaciones para dispositivos móviles) como complemento a las clases presenciales en la universidad (Ref.: UCM-PIMCD-323). [Proyecto de Innovación Docente]

Q

Quijano Sánchez, Lara (2015) Impacto de los factores u organizaciones sociales en los procesos de recomendación para grupos. [Thesis]

R

Rojas García, Isaac (2015) Monitorización del plano de datos en redes definidas por software. [Trabajo Fin de Máster]

Ruiz Iniesta, Almudena (2014) Estrategias de recomendación basadas en conocimiento para la localización personalizada de recursos en repositorios educativos. [Thesis]

Ruiz Martín, Carlos and Galván Calleja, Paloma (2014) Editor predictivo de mensajes en pictogramas. [Trabajo Fin de Grado]

Rabanillo García, Juan (2013) Detección de Soft Errors en Bloques Multiplicadores de Filtros FIR. [Trabajo Fin de Máster]

Rodríguez-Pascual, Manuel (2012) Ejecución eficiente de códigos Monte Carlo en infraestructuras de Grid. [Thesis]

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]

Rodríguez Pérez, Álvaro (2009) Asistente para gestión de organizaciones de agentes software. [Trabajo Fin de Máster]

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

Razquin Zazpe, Pedro (1998) Las Bases de datos multimedia revisadas. Cuadernos de documentación multimedia (6-7). pp. 247-258. ISSN 1133-3030

Razquin Zazpe, Pedro (1998) Los sistemas de autor multimedia. Revista General de Información y Documentación, 8 (2). pp. 127-139. ISSN 1132-1873

Razquin Zazpe, Pedro (1997) Del hipertexto al multimedia interactivo: Evolución, situación actual y perspectivas de los sistemas y aplicaciones multimedia. Revista General de Información y Documentación, 7 (1). pp. 107-132. ISSN 1132-1873

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

S

Sarasa Cabezuelo, Antonio (2016) Herramientas de visualización de datos para su uso en el ambito docente. [Proyecto de Innovación Docente]

Sotelo Monge, Marco Antonio (2015) Arquitectura para la mejora de la calidad de servicios multimedia en redes definidas por software. [Trabajo Fin de Máster]

Sánchez-Carrasco García, Matías (2015) Auditoría compatibilidad producto software. [Trabajo Fin de Grado]

Santamaría Barcina, Antonio and Alexiades Estarriol, Alejandro (2015) Reconstrucción de una video-aventura isométrica clásica utilizando IsoUnity como herramienta de producción multiplataforma. [Trabajo Fin de Grado]

Sánchez González, Javier and Laurentiu Dulceanu, Anghel and San Gabino Moreno, Daniel (2014) easyMahout : entorno de ejecución de algoritmos inteligentes de Mahour para Hadoop y Big Data. [Coursework] (Unpublished)

Serrano Laguna , Ángel (2012) GLAS : framework to improve assesment in educational videogames. [Trabajo Fin de Máster]

Sáenz Pérez, Fernando (2011) Deductive databases. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. [Trabajo Fin de Máster]

Sastre Llorente, Santiago (2006) Programa multimedia de desarrollo de capacidades en alumnos del primer ciclo de educación primaria. [Thesis]

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)

Sáenz Pérez, Fernando (2002) Sistema de identificación y explotación de paralelismo en programas lógico-funcionales. [Thesis]

T

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]

V

Valenciano López, Javier (2015) Auditoría [de] mantenibilidad [para] aplicaciones según la ISO/IEC 25000. [Trabajo Fin de Grado]

Villanueva Micó, Rafael Jacinto (2013) Pertinence of a change in the meningococcal C vaccine schedule in the Community of Valencia: agent-based modeling. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 18 de junio de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

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. [Thesis]

Á

Álvarez Muñoz, Ángel and Conca Gran, Pablo and Figueroa Cadenas, Héctor Jesús (2014) Analizador de manos de NLHE siguiendo estrategias configurables. [Trabajo Fin de Grado]

Álvarez Herradón, Juan Luis and Arévalo Ruiz, David and García Sojo, Jesús and Marhuenda Palmón, Carlos (2014) DermaSystem : gestión informática en dermatología. [Trabajo Fin de Grado]

Á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

This list was generated on Mon May 30 02:59:19 2016 CEST.