Items where Subject is "Software"

Group by: Item Type | Creators
Number of items at this level: 330.


Bernabé García, Sergio and García, Gabriel and Carrasco, Víctor M. S. and Vaquero, José M. (2022) SunMap: A Solar Image Processing Software for Obtaining Synoptic Maps. Solar Physics, 297 (8). ISSN 0038-0938

Dapica, Rubén and Hernández, Alfredo and Peinado Gil, Federico (2022) Who Trains the Trainers? Gamification of Flight Instructor Learning in Evidence-Based Training Scenarios. Entertainment Computing, 43 . ISSN 1875-9521

Castaño Roldán, Germán and Faqir-Rhazoui, Youssef and García Sánchez, Carlos and Prieto Matías, Manuel (2022) Evaluation of Intel's DPC++ Compatibility Tool in heterogeneous computing. Journal of Parallel and Distributed Computing, 165 . pp. 120-129. ISSN 0743-7315

Pichardo Galán, J. Ignacio and López Medina, Esteban F. and Mancha Cáceres, Olga Inmaculada and González Enríquez, Isabel and Hernández Melián, Alejandro and Blázquez Rodríguez, Maribel and Jimenez Rodriguez, Virginia and Logares Jiménez, Marina Lucía and Carabantes Alarcón, David and Ramos Toro, Mónica and Isorna Alonso, Esther and Cornejo Valle, Mónica and Borras Gené, Oriol (2021) Students and Teachers Using Mentimeter: Technological Innovation to Face the Challenges of the COVID-19 Pandemic and Post-Pandemic in Higher Education. Education Sciences, 11 (11-667). pp. 1-18. ISSN 2227-7102

Almendros Jiménez, Jesús M. and Becerra Terón, Antonio and García Merayo, Mercedes and Núñez García, Manuel (2021) Metamorphic testing of OpenStreetMap. Information and Software Technology, 138 . p. 106631. ISSN 0950-5849

Camacho, A.G. and Prieto, Juan F. and Aparicio, Alfredo and Ancochea Soto, Eumenio and Fernández, José (2021) Upgraded GROWTH 3.0 software for structural gravity inversion and application to El Hierro (Canary Islands). Computers & Geosciences, 150 (104720). ISSN 0098-3004

López Fraguas, Francisco Javier and Montenegro Montes, Manuel and Suárez García, Gorka (2020) Deriving overloaded success type schemes in Erlang. Journal of Computer Languages, 58 . ISSN 2590-1184

Montenegro Montes, Manuel and Nieva Soto, Susana and Peña Marí, Ricardo and Segura Díaz, Clara María (2020) Extending Liquid Types to Arrays. ACM Transactions on Computational Logic, 21 (2). pp. 1-41. ISSN 1529-3785

Martín González, Santiago and Portela Camino, Juan A and Ruiz Alcocer, Javier and Illarramendi Mendicute, Igor and Garrido Mercado, Rafaela (2020) Stereoacuity Improvement using Random-Dot Video Games. Journal of Visualized Experiments, 155 . e60236. ISSN 1940-087X

Roanes-Lozano, Eugenio and Galán-García, Jose Luis and Solano-Macías, Carmen (2019) Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective. Mathematics in Computer Science, 13 (3). pp. 417-431. ISSN 1661-8270

Estévez Martín, Sonia and Cambronero Piqueras, Emilia and García Ruiz, Yolanda and Llana Díaz, Luis Fernando (2019) Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. Journal of Universal Computer Science, 25 (7). pp. 740-763. ISSN 0948-695X

Encina Vara, Alberto de la and López Barquilla, Natalia and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2019) The problems of selecting problems. Lecture Notes in Computer Science, 11507 . pp. 760-772. ISSN 0302-9743

Álvarez Gómez, José Antonio (2019) FMC—Earthquake focal mechanisms data management, cluster and classification. SoftwareX, 9 . pp. 299-307. ISSN 2352-7110, ESSN: 2352-7110

Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2019) Towards Applying River Formation Dynamics in Continuous Optimization Problems. Lecture Notes in Computer Science, 11507 . pp. 823-832. ISSN 0302-9743

Molina Martínez, Irene Teresa and Andrés Guerrero, Vanessa and Bravo Osuna, Irene and Ruiz Caro, Roberto and Pastoriza, P. and Veiga Ochoa, María Dolores and Herrero Vanrell, Rocío and Gil Alegre, María Esther (2018) Design and Application of a Computer Tool to Evaluate the Goodness of Fit for Tests Designed to Be Self-Taught. Proceedings, 2 (21). p. 1334. ISSN 2504-3900

Portela Camino, Juan A and Martín González, Santiago and Ruiz Alcocer, Javier and Illarramendi Mendicute, Igor and Garrido Mercado, Rafaela (2018) A Random Dot Computer Video Game Improves Stereopsis. Optometry and Vision Science, 95 (6). pp. 523-535. ISSN 1040-5488

Benito Peral, Alberto and Sandoval Orozco, Ana Lucila and García Villalba, Luis Javier and Kim, Tai-Hoon (2018) Distributed One Time Password Infrastructure for Linux Environments. Entropy, 20 (5). p. 319. ISSN 1099-4300

Puente Fernández, Jesús Antonio and García Villalba, Luis Javier and Kim, Tai-Hoon (2018) Clustering and Flow Conservation Monitoring Tool for Software Defined Networks. Sensors, 18 (4). p. 1079. ISSN 1424-8220

Puente Fernández, Jesús Antonio and García Villalba, Luis Javier and Kim, Tai-Hoon (2018) Software Defined Networks in Wireless Sensor Architectures. Entropy, 20 (4). p. 225. ISSN 1099-4300

Fernández-Pampillón Cesteros, Ana María (2017) UNE 71362: calidad de los materiales educativos digitales. Revista AENOR (329). ISSN 2255-2111

Rabanal Basalo, Pablo Manuel and Rodríguez Laguna, Ismael and Rubio Díez, Fernando (2017) Applications of river formation dynamics. Journal of Computational Science, 22 . pp. 26-35. ISSN 1877-7503

Rodríguez Laguna, Ismael and Rabanal Basalo, Pablo Manuel and Rubio Díez, Fernando (2017) How to make a best-seller: optimal product design problems. Applied soft computing, 55 . pp. 178-196. ISSN 1568-4946

Valdivieso Caraguay, Ángel Leonardo and García Villalba, Luis Javier (2017) Monitoring and Discovery for Self-Organized Network Management in Virtualized and Software Defined Networks. Sensors, 17 (4). p. 731. ISSN 1424-8220

Barona López, Lorena Isabel and Maestre Vidal, Jorge and García Villalba, Luis Javier (2017) An Approach to Data Analysis in 5G Networks. Entropy, 19 (2). p. 74. ISSN 1099-4300

Fernández-Pampillón Cesteros, Ana María and Sarasa Cabezuelo, Antonio (2016) Una propuesta para medir la calidad de la docencia virtual. Actas del Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM 2016). . pp. 155-162. (Unpublished)

Amador Pacheco, Julia (2016) The SEIQS stochastic epidemic model with external source of infection. Applied mathematical modelling . ISSN 0307-904X

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

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

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

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

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

Medina Dominguez, Fuensanta and Sanchez Segura, Maria Isabel and Moreno, Ana and Santín González, Daniel (2015) Collaborative tools: computer science students’ skills versus software industry needs. Journal of Software: Evolution and Process, 27 (3). pp. 221-235. ISSN 20477481

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.

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

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

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

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

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.

Fernández-Pampillón Cesteros, Ana María and Domínguez Romero, Elena and Armas Ranero, Isabel de (2013) Análisis de la evolución de los Repositorios Institucionales de material educativo digital de las universidades españolas. RELATEC: Revista Lationoamericana de Tecnología Educativa, 12 (2). pp. 11-25. ISSN 1695-­288X (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

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

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

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. Acciones e Investigaciones Sociales (22). pp. 1-29. ISSN 1132-192X

Gutiérrez García, Juan Pablo 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

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

Working Paper or Technical Report

Aguirre Garcia, Luis Manuel and Martí Oliet, Narciso and Palomino, Miguel and Pita Andreu, Isabel (2021) Strategies in Conditional Narrowing Modulo SMT Plus Axioms. [ ] (Unpublished)

Rubio Cuéllar, Rubén Rafael and Martí Oliet, Narciso and Pita Andreu, Isabel and Verdejo López, José Alberto (2021) The semantics of the Maude strategy language. [ ] (Unpublished)

Rubio Cuellar, Rubén and Martí Oliet, Narciso and Pita Andreu, Isabel and Verdejo López, José Alberto (2019) Model checking strategy-controlled rewriting systems (extended version). [ Technical Report SIC; nº 2/19, ] (Unpublished)

Ávila Tejera, Juan Julián (2019) Introducción a MAPLE. Versión 18. [ Cuadernos de Trabajo de la Facultad de Estudios Estadísticos; nº 03, 2019, ]

San Antonio Álvarez, Francisco and Gutiérrez Sánchez, María Isabel (2017) Decálogo para crear un PDF accesible. [ Biblioteca Universidad Complutense. Documentos de Trabajo; nº 1, 2017, ]

Chang, Chia-Lin and McAleer, Michael (2017) Recent topical research on global, energy, health & medical, and tourism economics, and global software. [ Documentos de Trabajo del Instituto Complutense de Análisis Económico (ICAE); nº 12, 2017, ] (Unpublished)

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)

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

Universidad Complutense de Madrid, Biblioteca (2014) Control de adquisiciones en Millennium. [ Biblioteca Universidad Complutense. Documentos de Trabajo; nº 3, 2014, ]

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

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

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

Universidad Complutense de Madrid, Biblioteca (2010) Novedades en ficheros de revisión. Guía rápida. [ Biblioteca Universidad Complutense. Documentos de Trabajo; nº 4, 2010, ]

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

Martín de Santos, Inés Realidad Virtual, Aumentada e Inmersiva en los videojuegos desde la perspectiva económica. [ ] (Submitted)

Book Section

Álvarez Vázquez, Mª Pilar (2019) Gamificación y evaluación interactiva en las aulas de prácticas. In Enfoques y experiencias de innovación educativa con TIC en educación superior. Prensas de la Universidad de Zaragoza, Zaragoza, pp. 55-62. ISBN 978-84-17873-75-2

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

Á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

Conference or Workshop Item

Valiente Blázquez, María-Cruz and Rozas, David (2022) Integration of ontologies with decentralized autonomous organizations development: A systematic literature review. In Metadata and Semantics Research (MTSR'21), 29th November - 3rd December 2021., Madrid.

Rozas, David and Saldivar, Jorge and Zelickson, Eve (2021) The platform belongs to those who work on it! Co-designing worker-centric task distribution models. In 17th International Symposium on Open Collaboration (OpenSym 2021), 2021/09, Madrid. (In Press)

Valiente Blázquez, María-Cruz and Hassan, Samer and Pavón Mestras, Juan (2021) Evaluating the Software Frameworks for Developing Decentralized Autonomous Organizations. In XVI Jornadas de Ciencia e Ingeniería de Servicios (JCIS), 22-24 Septiembre 2021, Málaga.

Álvarez Vázquez, Mª Pilar (2019) Experiencia de gamificación mediante evaluación interactiva. In Ubicuo y Social 2018: Aprendizaje con TIC., 12 a 14 de Junio de 2018, Universidad de Zaragoza. (Submitted)

Álvarez Vázquez, Mª Pilar (2019) Rastreando Moodle: Logs, limitaciones y dificultades. In Ubicuo y Social 2018: Aprendizaje con TIC, 12 a 14 de Junio de 2018, Universidad de Zaragoza. (Submitted)

Tenorio Fornés, Antonio and Jacynycz, Viktor and Llop Vila, David and Sánchez Ruiz-Granados, Antonio A. and Hassan, Samer (2019) Towards a decentralized process for scientific publication and peer review using blockchain and IPFS. In 52nd Hawaii International Conference on System Sciences, 2019, Hawaii.

Serrano, Abel and Arroyo Gallardo, Javier and Hassan, Samer (2018) Webtool for the analysis and visualization of the evolution of wiki online communities. In European Conference on Information Systems 2018, 23-28 June 2018, Portsmouth, United Kingdom.

Piña Landaburu, Zuriñe (2017) Aplicaciones informáticas para la inserción laboral de los Document Controllers en el ámbito de la Ingeniería Industrial. In Investigación presentada en las I Jornadas de Estudiantes de Ciencias de la Documentación, Universidad Complutense de Madrid. (Submitted)

Nganhane, Helio Vasco and Revilla, Julio Garrote (2016) Influencia de los parámetros que definen eventos de alta energía en la costa y su influencia en la erosión de playas. El caso del complejo playa-cordón dunar de Oyambre (Cantabria). In III Congreso de la Sociedad de Análisis de Riesgos Latino Americana IPT, 10 al 13 de Mayo de 2016, São Paulo, Brasil.

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.

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).

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

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 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).

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)

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)

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)


Mariscal Moraza, Marco Antonio (2022) Protección jurídica del software. [Thesis]

Liu, Yali (2022) Las notificaciones push con estrategias de cambio de comportamiento como instrumento para aumentar el uso continuado de las APPS de fitness : un modelo de mediación moderada. [Thesis]

Merayo Corcoba, Alicia (2022) Resource analysis of integer and abstract programs. [Thesis]

García García, Adrián (2022) Contention-aware scheduling and resource management for emerging multicore architectures. [Thesis]

Rubio Cuéllar, Rubén Rafael (2022) Model checking of strategy-controlled systems in rewriting logic. [Thesis]

Costero Valero, Luis María (2021) Energy-Efficient Resource Management for Task-based Parallel Applications in MultiAplication Environments. [Thesis]

Puente Fernández, Jesús Antonio (2021) Técnicas de Monitorización en Transmisiones Multimedia para Redes Definidas por Software. [Thesis]

Ochoa Chaves, Luisa Eugenia (2021) Producción social de aplicaciones móviles para la participación ciudadana en el marco del gobierno abierto de Argentina, Chile, Colombia, Costa Rica y México. [Thesis]

Fernández Herrera, David Guillermo (2020) Arquitectura híbrida para el estándar de compresión de vídeo H.265/HEVC. [Thesis]

Bonache Seco, Juan Antonio (2020) Centro de control de tierra adaptativo para equipos de vehículos autónomos heterogéneos. [Thesis]

Pagán Ortiz, Josué (2019) Robust modeling for information acquisition in biophysical and critical scenarios. [Thesis]

Román Muñoz, Fernando (2018) Técnicas para la optimización del análisis automático de vulnerabilidades en aplicaciones web. [Thesis]

Gómez Zotano, Manuel Jesús (2018) Análisis de la distribución de las interacciones en la web. [Thesis]

Cortés Benavides, Humberto (2018) Una aproximación dirigida por modelos para la caracterización de la capa de presentación web de aplicaciones empresariales. [Thesis]

Camacho González, Carlos Delfín (2018) Modelando la variabilidad. Métodos formales para la representación de líneas de productos software. [Thesis]

Barona López, Lorena Isabel (2018) Modelo de conciencia situacional para el análisis de datos en redes móviles 5G: arquitectura SELFNET. [Thesis]

Ibáñez Garikano, Kristina (2016) Aplicación de métodos de aprendizaje automático para el estudio de la comorbilidad inversa entre cáncer y trastornos del sistema nervioso central. [Thesis]

Fernández Isabel, Alberto (2016) Desarrollo dirigido por modelos para la simulación de tráfico rodado basada en agentes. [Thesis]

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

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

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

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]

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

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

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]

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

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

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

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]

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]

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

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

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]

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

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]

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

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]

Trabajo Fin de Máster

Bonfanti Gris, Mónica (2021) Evaluación de la fiabilidad del programa basado en Inteligencia Artificial Denti.Ai para la identificación de estructuras y tratamientos dentarios presentes en radiografías panorámicas. [Trabajo Fin de Máster]

García Solo de Zaldívar, Marina (2018) Análisis y predicción en Instagram. [Trabajo Fin de Máster]

Martínez Mateu, Iván (2018) GameCraft : una plataforma de integración continua para videojuegos basada en microservicios. [Trabajo Fin de Máster]

Arboleda Arturo, Kevin Darío (2018) Herramienta de marcado objetiva y subjetiva para la evaluación de oradores. [Trabajo Fin de Máster]

El Yamri El Khatibi, Meriem (2018) Hola UniVRso: realidad virtual para oradores. [Trabajo Fin de Máster]

Martín Guerrero, Alejandro (2018) PICTAR: una herramienta de elaboración de contenido para personas con TEA basada en la traducción de texto a pictogramas. [Trabajo Fin de Máster]

Pérez Colado, Víctor Manuel (2017) Extendiendo uAdventure con funcionalidades de geoposicionamiento. [Trabajo Fin de Máster]

Montes Romero, Manuel (2016) La nube como apoyo a la producción audiovisual. [Trabajo Fin de Máster]

Cabana Ramírez, Richard Jordan (2016) Anonimización de citas médicas mediante programación con restricciones. [Trabajo Fin de Máster]

Chamache Cachique, Óscar Andrés (2016) Análisis cuantitativo de técnicas de fusión de imágenes. [Trabajo Fin de Máster]

Camino García, Ana María (2016) Comparativa de herramientas de simulación de redes sociales. [Trabajo Fin de Máster]

Doménech Arellano, Jesús Javier (2016) EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools. [Trabajo Fin de Máster]

Laclaustra Yebes, Iván Manuel (2016) Generación de narrativa basada en criterios de calidad aprendidos automáticamente. [Trabajo Fin de Máster]

Armas Vega, Esteban Alejandro (2016) Herramientas de análisis dinámico de vulnerabilidades en aplicaciones web. [Trabajo Fin de Máster]

Ramos López, Raquel (2016) Identificación de la fuente en vídeos de dispositivos móviles. [Trabajo Fin de Máster]

Sánchez Pastor, Fernando (2016) Mecanismos de optimización en el procesado para H.265/HEVC. [Trabajo Fin de Máster]

Mendoza Diez, Ricardo Francisco (2016) Optimización de la ejecución de flujos de trabajos empresariales en infraestructuras cloud. [Trabajo Fin de Máster]

Martín Alonso, Jesús (2016) Plataforma HW-SW para el disparo de fuegos artificiales. [Trabajo Fin de Máster]

Quinto Huamán, Carlos (2016) Técnicas anti-forenses para vídeos de dispositivos móviles. [Trabajo Fin de Máster]

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]

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]

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

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]

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

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

Díaz de la Cruz, Virginia (2014) Análisis hidrológico e hidráulico mediante técnicas SIG de la peligrosidad por inundaciones en el cuenca del Pla de Sant Jordi (Mallorca). [Trabajo Fin de Máster]

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

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]

Ospino Rivas, John (2013) ECREHAB: ecosistema para herramientas software de rehabilitación cognitiva. [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ín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [Trabajo Fin de Máster]

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]

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]

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

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

Camacho González, Carlos (2012) Software product lines using FODA: a formal approach. [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]

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]

García Gallardo, Orión (2011) Simulación basada en agentes de tráfico aéreo. [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]

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]

Sanz Troyano, Elisa (2010) Introducing accesibility features in authoring tools for creating accesible educational games: e-adventure. [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]

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

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

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]

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

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

Proyecto de Innovación Docente

Pascual Ramírez, Sergio and Cabello González, Cristina and Cardiel López, Nicolás and Contreras González, José Luis and Gallego Maestro, Jesús and Sánchez Parcerisa, Daniel and Sánchez Penim, Ainhoa and Zamorano Calvo, Jaime (2022) Computación interactiva en la nube con JupyterHub y Kubernetes. [Proyecto de Innovación Docente]

Tejedor Álvarez, Luis Ángel and Antoranz Canales, Pedro and Bajo Bretón, Ricardo and Martinez Vilchez, Oibar and Susi, Gianluca and Oliver García, Clara and Molina Delicado, María and Sanz García, Esther and Cabello Sánchez, Mariano and Muñoz Villalón, Adrián (2022) Introducción de prácticas con software CAD profesional en la Ingeniería Electrónica de Comunicaciones. [Proyecto de Innovación Docente]

Botella Juan, Guillermo and Del Barrio García, Alberto Antonio and Carrascal de la Heras, Ginés and García Sánchez, Carlos and Murillo Montero, Raúl and García Moreno, Daniel and Fahmy Amin, Hesham Ahmed and Mas Aguilar, Juan and Roa Romero, Carlos and Sierra López, Angel (2021) Enseñanza de coMputación cuántica Práctica pAra esTudiantes de Informática: Arquitectura y programación (EMPATIA). [Proyecto de Innovación Docente]

Álvarez Vázquez, Mª Pilar and Álvarez Méndez, Ana and Angulo Carrere, María Teresa and Fuentes Peñaranda, Yolanda and Cristóbal Barrios, Jesús and Bravo Llatas, María del Carmen and Torrado Hermo, Esteban and Molina Hernández, Nerea (2021) Adaptación a la docencia virtual por la crisis del COVID-19. ¿Qué nos dice Moodle del tránsito súbito de la presencialidad a la virtualidad? [Proyecto de Innovación Docente]

Llana Díaz, Luis Fernando and Gregorio Rodríguez, Carlos and Núñez Covarrubias, Alberto and Benito Parejo, Miguel and Carmona Ruber, Jorge and Estévez Martín, Sonia and García Merayo, Mercedes and Ibias Martínez, Alfredo and Pareja Flores, Cristobal (2021) Cluster de Raspberry Pi para prácticas de Programación Paralela y Big Data. [Proyecto de Innovación Docente]

Guijarro Mata-García, María and Bartolomé Barolomé, Gema and Bautista Villar, Jesús and Bermúdez Cabra, Antonio and Cabrero Martín, Nestor and Carreño Gea, Pablo and Carrera García, Juan Manuel and Casas Torres, Laura and Díaz Esteban, Albertp and García Sevilla, Antonio Fernando and González Montero, María Guadalupe and Gutiérrez Hernández, Ángel Luis and Hernando Hernández, David and Manero Iglesias, José Borja and Martín Pérez, Yolanda and Recas Piorno, Joaquín and Muñoz Carenas, Jaime and Santos Peñas, Matilde (2021) Sensibilización y formación en la accesibilidad e inclusión de las personas con discapacidad visual al proceso de Enseñanza-Aprendizaje. SENSIVISUAL-UCM. [Proyecto de Innovación Docente]

Montes Gutiérrez, David and Castro Rubio, Elisa de and Gómez de Castro, Ana Inés and Canet Varea, Ada and Beitia Antero, Leire and Gómez Marfil, Emilio (2021) Habilidades técnicas (soft skills) de los alumnos de Astrofísica en Grado y Máster. [Proyecto de Innovación Docente]

Álvarez Vázquez, Mª Pilar and Cristóbal Barrios, Jesús and Angulo Carrere, María Teresa and Álvarez Méndez, Ana María and Fuentes Peñaranda, Yolanda and Torrado Hermo, Esteban and Molina Hernández, Nerea and Martínez de Bartolomé Serrano, David (2020) Estudiantes y Campus Virtual. Utilidad del Learning Analytics para identificar luces y sombras y caminar hacia metodologías adaptativas. [Proyecto de Innovación Docente]

Guijarro Gil, Maria Isabel and Domínguez Toribio, Juan Carlos and Yustos Cuesta, Pedro and Santos Mazorra, Victoria Eugenia and Oliet Pala, Mercedes and Toledo Gabriel, José Manuel and Alonso Rubio, María Virginia and Miranda Carreño, Ruben and Rodríguez Vega, Sergio and Rigual Hernández, Victoria de los Angeles and Villar Chavero, Maria del Mar and Lorenzo Fernández, David and Rivas Siota, Sandra (2019) Elaboración de una metodología learn to program/program to learn para la enseñanza en el área de la Ingeniería Química empleando la herramienta matlab cody coursework para fomentar el e-learning. [Proyecto de Innovación Docente]

Fuentes Fernández, Rubén and Guijarro Mata-García, María and Gómez Albarrán, María de las Mercedes and Navarro Martín, Antonio and Santos Peña, Matilde and Muñoz Pérez, Javier and Zardaín Alvaré, Lourdes and Ponce Palacios, Gianpierre Edisson (2019) GesTie - Gestiona tu tiempo (Método de aprendizaje de gestión del tiempo y autonomía organizativa en múltiples proyectos). [Proyecto de Innovación Docente]

Montenegro Montes, Manuel and Martín Martín, Enrique and Riesco Rodríguez, Adrián and Saavedra López, Santiago and Suárez García, Gorka (2019) Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua. [Proyecto de Innovación Docente]

García Merayo, María de las Mercedes and Núñez García, Manuel and Estévez Martín, Sonia and Martínez Torres, Rafael and Ibias Martínez, Alfredo and Pareja Flores, Cristobal and Rincón Martínez, Santiago and Correas Fernández, Jesús (2019) SQLab Extension: Laboratorio virtual lenguaje SQL. [Proyecto de Innovación Docente]

Marquina Díaz, Domingo and Santos de la Sen, Antonio and Alonso Conde, Rafael Alejandro and González Jaén, María Teresa and Quero Lombardero, Francisco Javier and Gómez Flechoso, Mª de los Ángeles and Saiz Gonzalo, Gonzalo and Martín González, Ana María and Belda Aguilar, Ignacio and Armero Hernández, Laura and Serrano Barrero, Susana Lourdes (2019) Creación del primer Grupo iGEM (Competición Internacional de Biología Sintética) de Madrid: Facultad de Biología-UCM. [Proyecto de Innovación Docente]

Gómez Sanz, Jorge J. and Cervigón Ruckauer, Carlos and Manero Iglesias, José Borja and Dinu, Andreea-Ionela and Pavón Mestras, Juan and Corchado Castillo, Ana Isabel and Ullán Hernández, Eva and Alonso González, David and Martín-Fontecha González, Sara (2018) Gamificación configurable basada en micro-tareas. [Proyecto de Innovación Docente]

Sáez Alcaide, Juan Carlos and Sánchez-Elez Martín, Marcos and Risco Martín, José Luis and Castro Rodríguez, Fernando and Prieto Matías, Manuel and Sáez Puche, Regino and Chaver Martínez, Daniel and Olcoz Herrero, Katzalin and Clemente Barreira, Juan Antonio and Igual Peña, Francisco and García García, Adrián and Sánchez Foces, David (2018) Metodología de internacionalización de material docente basada en el uso de Markdown y Pandoc. [Proyecto de Innovación Docente]

Núñez Covarrubias, Alberto and Llana Díaz, Luis and Lavín Puente, Víctor and James Pickin, Simon and Bartolomé Sandoval, Ana and Cerro Cañizares, Pablo and Cambronero Piqueras, Emilia and Romero Martínez, Miguel and Quiñones Sánzhez, Daniel and Mañoso Hierro, Carolina and Pérez de Madrid y Pablo, Ángel and Romero Hortelano, Miguel (2018) Diseño y despliegue de un clúster de placas Raspberry Pi3 para la ejecución de las prácticas de la asignatura PSD. [Proyecto de Innovación Docente]

Álvarez Vázquez, Mª Pilar and Cristóbal Barrios, Jesús and Granizo Merino, Jorge and Navarro Martín, Antonio and Castañer de Diego, Margarita and Parra Bronchalo, Miguel and Flores Herráez, Reyes and Rodríguez Caballero, Marina and Cristóbal Gambau, Sergio and Coronado de Palma, Emilio (2018) Learning Analytics: Campus Virtual como fuente de información para conocer a nuestros estudiantes y mejorar la calidad docente. [Proyecto de Innovación Docente]

Del Barrio García, Alberto Antonio and Roa Romero, Carlos and Recas Piorno, Joaquín and Botella Juan, Guillermo and Tenllado Van Der Reijden, Christian Tomas and Piñuel Moreno, Luis (2017) Framework libre para el desarrollo de aplicaciones en el escenario de “Internet of Things”. [Proyecto de Innovación Docente]

Pajares Martinsanz, Gonzalo and Montalvo Martínez, Martín and Guerrero Hernández, José Miguel and García Toledo, Marcos Miguel and Campos Silvestre, Yerania and Hinojosa Cervantes, Salvador Miguel and Herrera Caro, Pedro Javier and Emmi, Luís and Correal Tezanos, Raúl (2017) Refuerzo del proceso enseñanza/aprendizaje por la investigación aplicada al sector productivo. [Proyecto de Innovación Docente]

Montenegro Montes, Manuel and Segura Díaz, Clara María and Rosa Velardo, Fernando and Saavedra López, Santiago and Hernando Serrano, Laura and Rossetto Bermejo, Daniel (2017) Validación en línea de aspectos formales y corrección asistida de ejercicios en asignaturas con evaluación continua. [Proyecto de Innovación Docente]

Martínez Ortiz, Iván and Díaz Agudo, Maria Belén and Jiménez Díaz, Guillermo and Mendías Cuadros, José Manuel and Vázquez Poletti, José Luis (2016) Realidad Aumentada en el Museo de Informática García Santesmases (MIGS++). [Proyecto de Innovación Docente]

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

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]

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]

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]

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]

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]

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]

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]

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]

Trabajo Fin de Grado

Canto Caño, Verónica and Manzanero Rodríguez, Nuria (2019) Diseño de un microendoscopio de fluorescencia de alta resolución basado en un smartphone. [Trabajo Fin de Grado]

Bellisario, Marco and Villota de la Puebla, Eduardo (2019) Mapas de concentración de cromóforos con un teléfono móvil. [Trabajo Fin de Grado]

Villarroel González, Carlos (2018) Aplicación web de apoyo a la investigación y docencia de la investigación. [Trabajo Fin de Grado]

Márquez Fernández, Pablo and Martín Atienza, Pablo (2018) Gestión y adaptación de contenidos para la realización de experimentos químicos con personas con discapacidades. [Trabajo Fin de Grado]

Lesaga López, Javier (2018) Implementación de algoritmos de identificación y predicción para glUCModel. [Trabajo Fin de Grado]

González Acedo, Eloy and Sánchez Ramírez, Pedro (2017) BotMentor: Bot de ayuda al estudiante en la plataforma Telegram. [Trabajo Fin de Grado]

Martínez Sacristán, Carlos and Ugedo Egido, Enrique (2017) Contabilidad en la nube. [Trabajo Fin de Grado]

Álvarez Cruz, Lorenzo and Jiménez Redondo, Raúl (2017) Creación de empresas. [Trabajo Fin de Grado]

Miedes Garcés, Alberto (2017) Desarrollo cooperativo de herramientas TIC para la democracia directa. [Trabajo Fin de Grado]

González Rodríguez, Miriam and Llundo Chango, Omar Santiago (2017) Desarrollo de una aplicación accesible: Sono Bingo aplicación móvil Android. [Trabajo Fin de Grado]

Díez de la Puente, Pablo and Valdivia Martínez, David and Zhu, Sheng (2017) Desarrollo de una aplicación cliente-servidor para análisis de experiencias de usuario en realidad virtual con seguimiento de movimiento del visor y reconocimiento gestual de las manos. [Trabajo Fin de Grado]

Cajigas Arenas, Ricardo and Sánchez Martín, José Ángel (2017) Desarrollo de una aplicación móvil para el tratamiento de las enfermedades cardiovasculares. [Trabajo Fin de Grado]

Ortiz Londoño, Roger Andrés and Toledano Regaño, Javier (2017) Diseño y desarrollo de una aplicación para detección de cultivos mediante texturas. [Trabajo Fin de Grado]

Díaz Pérez, Luis Federico and Gil Ruiz, Eduardo and Martín Marcos, Carlos Alberto and Rashmawi Ruiz, Jorge Elias (2017) Estudio de técnicas de planificación dinámica de planes de ocio. [Trabajo Fin de Grado]

Rodríguez Martínez, Lisis (2017) Implementación de módulo de videoconferencia sobre Salesforce. [Trabajo Fin de Grado]

López-Laguna Ortiz, Óscar (2017) Inclusión de un repositorio de datos fijos en un sistema de tesorería bancaria. [Trabajo Fin de Grado]

Cardoso Sánchez, Asier (2017) Integración de ERPs para finanzas y RRHH en entornos cloud. [Trabajo Fin de Grado]

Montiel Cano, Juan José and Semedi Barranco, Sergio Alfonso and Montero Monte, Alba María and Martínez Jimenez, Adrian (2017) Mutokamwoyo Cloud. [Trabajo Fin de Grado]

Sánchez-Barriga Pons, Jorge and Rebollo Fernández, Marcos (2017) Procesamiento de imágenes médicas en odontología como ayuda al diagnóstico. [Trabajo Fin de Grado]

Castrosqui Florián, Mayra Alexandra (2017) Procesamiento de voz para mejorar la pronunciación. [Trabajo Fin de Grado]

Aguilera Calle, Iván and García Moreno, Daniel and Morante Pindado, Verónica and Pidal Gallego, Alejandro (2017) Reconocimiento de actividad mediante pulsera con sensores. [Trabajo Fin de Grado]

Arroyo Lara, Luis and Caballero Ruiz,, David and Puerro Cepa, Eduardo (2017) Reconocimiento de una plataforma para aterrizaje de UAVs mediante procesamiento de imágenes. [Trabajo Fin de Grado]

Durán Sánchez, Aaron and López de Lerma, Javier and Laina Pérez, Marcos (2017) Senior Games. [Trabajo Fin de Grado]

González Francisco, Sergio and Laguna Munuera, Enrique and Ortiz Sánchez, Daniel (2017) Software para la comunicación y educación de personas con dificultad de movimiento. [Trabajo Fin de Grado]

Alcaraz García, Álvaro and Cobos García, David (2017) Un sistema de gestión de historiales clínicos de neurología. [Trabajo Fin de Grado]

Muñoz Testón, Tomás (2017) Usabilidad en dashboards para analítica de Big Data. [Trabajo Fin de Grado]

Franco Medina, Miguel and Guerra de las Peñas, Ignacio Yazid and Sánchez Ruiz, Sergio (2017) ¿Es viable una red de autobuses sin líneas? [Trabajo Fin de Grado]

Miguez Rein, Rodrigo Claudio and Muñoz Lorenzo, David and Vizcaya Hervella, Alexis (2016) ACCELBIKE. [Trabajo Fin de Grado]

Manjavacas Santos, Álvaro David (2016) Adaptación e implementación de mejoras en un proyecto de software libre a un sistema cash-flow muy eficiente y seguro : integración y desarrollo de todas las funciones de la Máquina SP-CR2 de Gunnebo al punto de venta Unicente e implementación de menús y mejoras en el mismo. [Trabajo Fin de Grado]

González García, María Victoria (2016) Análisis del movimiento en secuencias de imágenes. [Trabajo Fin de Grado]

Romero Hernández, Alejandro and Díaz-Faes Pérez, César and González Riojo, Manuel (2016) Aplicación de videojuegos educativos teatrales en dispositivos móviles y fijos. [Trabajo Fin de Grado]

Salcedo Gutiérrez, David and Gómez Redondo, Christian (2016) Aplicación interactiva para pacientes con deficiencias cognitivas leves. [Trabajo Fin de Grado]

Calvo Ramón, María Teresa and Díaz Márquez, Gian Marco and Sanz Cepeda, Ana (2016) Aplicación móvil para la enseñanza de genética. [Trabajo Fin de Grado]

Roldán Santos, David (2016) Asistente para composición de música minimalista. [Trabajo Fin de Grado]

Martín Medina, Federico and Martín Sanz, Nuria (2016) Caramelos con sabor a nota: desarrollo de un sistema de recompensas para el seguimiento de la participación y la evaluación de trabajos en grupo. [Trabajo Fin de Grado]

Almache Montoya, Jefferson and Armas Perona, Juan Luis and Salgado Iturrino, María (2016) Desarrollo de un sistema informático para ayudar a adultos con síndrome de Asperger. [Trabajo Fin de Grado]

Díaz Bailón, Diego and Martínez Sánchez, Manuel and Panero, Pablo (2016) Desarrollo de una app para la generación preventiva de alertas sanitarias. [Trabajo Fin de Grado]

Llorente de la Cita, Guillermo and Lázaro-Carrasco Hernández, Luis (2016) Diseño e implementación del kernel de xDEVS, versión distribuida. [Trabajo Fin de Grado]

Vargas Paredes, Jhonny and Penit Granado, Víctor (2016) Estudio y aplicación de metaheurísticas y comparación con métodos exhaustivos. [Trabajo Fin de Grado]

Boixadós Martínez, Jaime and Cifuentes de la Torre, Benito Álvaro and Zhang, Yaofang (2016) Generación automática de tests en DomJudge. [Trabajo Fin de Grado]

Álvarez Sánchez, Christian and Arboleda Arturo, Kevin Darío (2016) Generación de historias centradas en el usuario con plataformas móviles. [Trabajo Fin de Grado]

Martín Guerrero, Alejandro and Julca Bedón, Frank Vito (2016) Generación de historias centradas en el usuario en entornos 3D. [Trabajo Fin de Grado]

Nieto Cobo, David and Rico Valverde, David (2016) GesInv: portal de ayuda a la gestión de la investigación. [Trabajo Fin de Grado]

Montaña Garrido, Víctor (2016) Implementación de un framework para la inclusión de logros en "¡Acepta el Reto!". [Trabajo Fin de Grado]

Báscones García, Daniel (2016) Implementación sobre FPGA de un algoritmo de compresión de imágenes hiperespectrales bajo el estándar CCSDS 123.0-B-1. [Trabajo Fin de Grado]

Gómez Muñoz, Santiago (2016) Integridad en imágenes de dispositivos móviles. [Trabajo Fin de Grado]

Daton Medenou, Roumen (2016) Integridad en vídeos de dispositivos móviles. [Trabajo Fin de Grado]

Samper González, Juan and Cruz Martínez, Roberto de la (2016) Interfaz software/hardware entre Raspberry Pi y FPGA Spartan-6 y su aplicación a simulación dirigida por eventos. [Trabajo Fin de Grado]

Alonso Garralón, Pedro (2016) Modelos de uso y recomendación social en entornos de enseñanza. [Trabajo Fin de Grado]

Saa Romano, Adriel and Mayordomo Moreno, Jaime and Terrón Menoyo, Javier (2016) Proyecto UCM Reservas : una herramienta para la mejora de la reserva de espacios de la Facultad de Informática. [Trabajo Fin de Grado]

Cobos Hernando, Raúl and Picado Álvarez, María and Soler Rus, Álvar David (2016) Realidad aumentada en el MIGS. [Trabajo Fin de Grado]

Delgado Rodríguez, Cristina and Rocillo Landa, Ignacio and Muñoz Rodríguez, Jorge and Rueda Garzón, Jorge and Fuentes Urabayen, Sergio (2016) Recomendación dinámica de productos a grupos con realidad aumentada. [Trabajo Fin de Grado]

Marco González, Juan Carlos and Martín Herrero, Iván (2016) Recomendador adaptativo y entrenador Pre-Flop para NLHE. [Trabajo Fin de Grado]

Álvarez Piñeiro, Emilio (2016) Reconocimiento de una plataforma para aterrizaje de UAV mediante procesamiento de imágenes. [Trabajo Fin de Grado]

Tomé Coronas, Alfonso and Valle Corral, Verónica del (2016) Social Fan: un generador de redes sociales. [Trabajo Fin de Grado]

García González-Albo, Javier (2016) Software de comunicación para personas con parálisis cerebral. [Trabajo Fin de Grado]

Torres Porta, Miguel (2016) Una plataforma móvil para la enseñanza de la literatura inglesa. [Trabajo Fin de Grado]

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

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

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]

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]

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]

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]

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]

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]

García Donday, María (2014) Apps médicas: uso y regulación. [Trabajo Fin de Grado]

Á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]

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

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]

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]

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

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

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]

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


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

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)

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)

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

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)

Peñalver Santorio, Alejandro and Pragnell Valentín, Ricardo (2013) ANVM-Virtual Mapping. [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)

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)

Cruz Botelho, Giovanna da (2013) Auditor automático para nivel 2 del CMMI-SW. [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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [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)

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)

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)

Esteve Díaz, Pablo and Roldán Gutiérrez, David and Mendoza Macías, Juan Carlos de (2010) e-Learning managements tools. [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)

This list was generated on Tue Feb 7 02:22:01 2023 CET.