Biblioteca de la Universidad Complutense de Madrid

Consultar por Facultad y Departamento

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de documento | No agrupar
Número de eprints en este nivel: 374.

Artículo

Caballero Roldán, Rafael y Stuckey, Peter J. y Tenorio Fornes, Antonio (2015) Two type extensions for the constraint modelling language MiniZinc. Science of Computer Programming, 111 (P1). pp. 156-189. ISSN 0167-6423

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y 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 y Correas Fernández, Jesús y Puebla, Germán y 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

Cavalli, Ana R. y Higashino, Teruo y Nuñez García, Manuel (2015) A survey on formal active and passive testing with applications to the cloud. Annals of Telecommunications, 70 (3-4). pp. 85-93. ISSN 0003-4347

Cavalli, Ana R. y Higashino, Teruo y Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

Wong, Peter Y. H. y Bubel, Richard y Boer, Frank S. de y Gómez Zamalloa, Miguel y Gouw, Stijn de y Hähnle, Reiner y Meinke, Karl y Sindhu, Muddassar Azam (2015) Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17 (1). pp. 107-119. ISSN 1433-2779

Albert Albiol, Elvira y Correas Fernández, Jesús y Puebla, Germán y 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 y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán y 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

López Fraguas, Francisco J. y Martín Martín, Enrique y 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

López Fraguas, Francisco J. y Martín Martín, Enrique y Rodríguez Hortalá, Juan y Sánchez Hernández, Jaime (2014) Rewriting and narrowing for constructor systems with call-time choice semantics. Theory and Practice of Logic Programming, March (14.2). pp. 165-213. ISSN 1471-0684

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

López Fraguas, Francisco y Martin Martin, Enrique y Rodríguez Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. Lecture Notes in Computer Science (6461). pp. 80-96. ISSN 0302-9743

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

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

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

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

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

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

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

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

Documento de trabajo o Informe técnico

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

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

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

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

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

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

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

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

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

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

Sección de libro

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

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

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

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

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

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

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

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

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

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

Cleva Millor, José Miguel y Gregorio Rodríguez, Carlos y 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

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

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

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

Ponencia o Póster de Seminario, Congreso,etc

Albert Albiol, Elvira y Arenas Sánchez, Purificación y 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 y Genaim, Samir y Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

Albert Albiol, Elvira y Correas Fernández, Jesús y Johnsen, Einar Broch y Román Díez, Guillermo (2015) Parallel Cost Analysis of Distributed Systems. In 22nd International Symposium, SAS 2015, September 9–11, 2015, Saint-Malo, France.

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

Albert Albiol, Elvira y Arenas Sánchez, Puri y Correas Fernández, Jesús y Genaim, Samir y Gómez Zamalloa, Miguel y Martín Martín, Enrique y Puebla, Germán y Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

Albert Albiol, Elvira y Correas Fernández, Jesús y 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 y Genaim, Samir y 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 y Correas Fernández, Jesús y Martín Martín, Enrique y 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).

Albert Albiol, Elvira y Correas Fernández, Jesús y Román Díez, Guillermo (2014) Peak Cost Analysis of Distributed Systems (Author's version). In 21st International Symposium, SAS 2014, September 11-13, 2014, Munich (Germany).

Albert Albiol, Elvira y Arenas Sánchez, Puri y 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 y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel y 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.

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Flores Montoya, A. y Genaim, Samir y Gómez-Zamalloa Gil, Miguel y Martín Martín, Enrique y Puebla, G. y Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

Aranda López, Gabriel y Nieva Soto, Susana y Sáenz Pérez, Fernando y Sánchez Hernández, Jaime (2013) R-SQL: An SQL Database System with Extended Recursion. In XIII Spanish Conference on Programmingand Computer Languages(PROLE 2013), September18 to 20, 2013, Madrid, Spain,.

Tesis Doctoral

Romero Hernández, David (2016) Más sobre equivalencias lógicas y distancias entre procesos. [Tesis Doctoral]

Martos Salgado, María Rosa (2016) Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias. [Tesis Doctoral]

Aranda López, Gabriel (2016) Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación. [Tesis Doctoral]

Martínez Torres, Rafael (2016) Semántica de simulación para relaciones de conformidad. [Tesis Doctoral]

Estévez Martín, Sonia (2015) Cooperación entre dominios de restricciones y estrategias de cooperación en el contexto CFLP. [Tesis Doctoral]

Sánchez Gil, Lidia (2015) Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. [Tesis Doctoral]

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

García Ruiz, Yolanda (2015) Técnicas de detección y diagnosis de errores en consultas de bases de datos. [Tesis Doctoral]

Alonso Blas, Diego Esteban (2015) De programas abstractos a cotas asintóticas precisas en forma cerrada. [Tesis Doctoral]

Castiñeiras Pérez, Ignacio (2015) Improving the solving efficiency of TOY (FD) and its application to real-life problems. [Tesis Doctoral]

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. [Tesis Doctoral]

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

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

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

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

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

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

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

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

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

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

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

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

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

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]

Mansilla Montero, Javier (2016) Detección de fraude bancario en tiempo real utilizando tecnologías de procesamiento distribuido. [Trabajo Fin de Máster]

Gil de la Fuente, Alberto (2016) Diseño, validación e implementación de una herramienta para la identificación de metabolitos. [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]

Sánchez Pedroza, Joel (2015) E-EDD: integración en Eclipse del depurador declarativo para Erlang EDD. [Trabajo Fin de Máster]

Han, Xu (2015) Implementación de algoritmos distribuidos en Erlang para comunicaciones en redes de procesos. [Trabajo Fin de Máster]

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

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

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

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

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

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

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

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

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

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

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

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

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]

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

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

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

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

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

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

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

Romero Hernández, David (2010) Caracterizaciones lógicas uniformes de las semánticas de procesos. [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]

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

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

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

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

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

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

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

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

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

Proyecto de Innovación Docente

Peinado Gil, Federico y Pavón Mestras, Juan Luis y Román Navarro, Sara y Sánchez Hernández, Jaime y Gómez Gauchía, Héctor y Arroyo Gallardo, Javier y Ullán Hernández, Eva y Hassan Collado, Samer y Tenorio Fornes, Antonio (2016) Métodos de evaluación, mantenimiento y reutilización de páginas 'wiki' educativas de acceso abierto. [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 y Albert Albiol, Elvira y Arenas Sánchez, Purificación y Correas Fernández, Jesús y Genaim, Samir y 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]

Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Rosa Velardo, Fernando y Tamarit Muñoz, Salvador (2015) Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación. [Proyecto de Innovación Docente]

Sarasa Cabezuelo, Antonio (2015) Desarrollo de un módulo de análisis y explotación de datos de un Mooc mediante técnicas de Big Data y gramáticas de atributos, y su incorporación a un sistema de gestión de MOOC. [Proyecto de Innovación Docente]

Gómez-Zamalloa Gil, Miguel y Albert Albiol, Elvira y Arenas Sánchez, Purificación y Correas Fernández, Jesús y Genaim, Samir y Puebla Sánchez, Germán y Román Díez, Guillermo y Peces, Raquel y Giraldo, Carlos Gabriel y 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]

Román Navarro, Sara y Hassan Collado, Samer y Ullán Hernández, Eva y Gómez Gauchía, Héctor y Sánchez Hernández, Jaime y Peinado Gil, Federico y Tenorio Fornes, Antonio (2015) Implementación de wikis educativas de acceso abierto con amplia diversidad de contenidos en inglés y castellano. [Proyecto de Innovación Docente]

Gregorio Rodríguez, Carlos (2015) Implementación y puesta en práctica de técnicas de evaluación masiva, evaluación por pares y autoevaluación para MOOCs. [Proyecto de Innovación Docente]

Caballero Roldán, Rafael y Martín Martín, Enrique y Montenegro Montes, Manuel y Riesco Rodríguez, Adrián y Tamarit Muñoz, Salvador (2016) Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción. [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]

Martín Martín, Enrique y Riesco Rodríguez, Adrián y Montenegro Montes, Manuel y Tamarit Muñoz, Salvador y Sánchez Hernández, Jaime y Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Hidalgo Herrero, Mercedes y Garbayo Moreno, Martín Manuel y Encina Vara, Alberto de la y Rabanal Basalo, Pablo y Rodríguez Laguna, Ismael y Rubio Diez, Fernando (2016) Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración y operaciones elementales en la formación de maestros (PIMCD-2015-216). [Proyecto de Innovación Docente]

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]

Oliveira Mesa, Luis Felipe de (2016) Análisis de datos de periódicos digitales. [Trabajo Fin de Grado]

Holubanský, Jakub y Mínguez Horcajada, Álvaro (2016) Análisis de terminación para una plataforma de verificación de programas. [Trabajo Fin de Grado]

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

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

Vargas Paredes, Jhonny y 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 y Cifuentes de la Torre, Benito Álvaro y Zhang, Yaofang (2016) Generación automática de tests en DomJudge. [Trabajo Fin de Grado]

Tello Ortiz, Max Arnulfo (2016) Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming. [Trabajo Fin de Grado]

Martín Duque, Guillermo y Jiang, Yuan Xu (2016) Herramienta configurable para la evaluación y autoevaluación de la docencia virtual. [Trabajo Fin de Grado]

Rueda Rueda, Andrea y Riani, Chaymae (2016) Herramienta de evaluación de calidad adaptativa a las normas de AENOR. [Trabajo Fin de Grado]

Bolaños Calderón, David y Flores Tuesta, Lidia (2016) Interacción y manipulación de estructuras de datos complejas en VizHaskell. [Trabajo Fin de Grado]

Hinostroza Hualpa, Stephania Cristina y Salazar Rey, Borja (2016) Marketing computacional: diseño automático de productos. [Trabajo Fin de Grado]

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

Cárdenas Carrillo, Jefferson y Redruello Fernández, Luis (2016) Simulador de escáner de rayos X: creación y análisis de imágenes. [Trabajo Fin de Grado]

Caturla Torrecilla, Rafael y Congosto Sandoval, Carlos (2016) Sistema de creación de tutoriales interactivos para el aprendizaje de lenguajes de programación. [Trabajo Fin de Grado]

Rubio Cuéllar, Rubén Rafael (2016) Verificación de algoritmos y estructuras de datos en Dafny. [Trabajo Fin de Grado]

García González, Oliver y Ortega Gómez, Miguel y Otárola De la Cruz, Evelin (2015) Aplicación Web: gestión de exámenes de alumnos de español para extranjeros. [Trabajo Fin de Grado]

Beceiro Castillo, Carlos y Espinosa Victoria, Cristina Valentina y Martínez Pagés, José Javier (2015) Aplicación de predicción en bolsa basada en indicadores técnicos y computación evolutiva. [Trabajo Fin de Grado]

Bartolomé Tabanera, Ignacio y Morgado Luengo, Roberto y Soto Ponce, Rubén (2015) Sistema de videovigilancia low-cost. [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]

Isabel Márquez, Miguel (2015) Techniques to improve testing scalability on concurrent programs: combining static analysis and testing for Deadlock detection. [Trabajo Fin de Grado]

Funke Prieto, Ignacio (2015) Uso de algoritmos genéticos para búsqueda y evaluación de estrategias en HU-NLHE. [Trabajo Fin de Grado]

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

Armero Guerra, María y Sánchez Sánchez, Adrián y Suárez Vaquero, Lorena (2014) Campus UNIZAR. [Trabajo Fin de Grado]

Collado Segura, Miguel y Serrano Arce, David (2014) Lente:Looking for Equal or Near Text Efficiently. [Trabajo Fin de Grado]

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

Miguel López, Roberto de y Moreira López, Rubén y Novillo Villarejo, Daniel (2014) Visión computerizada aplicada a la medicina. [Trabajo Fin de Grado]

Baena Priego, María del Rosario y Aragón Pividal, Roberto (2014) Visualización gráfica de tipos de datos Haskell. [Trabajo Fin de Grado]

Gordo Garrosa, Ana Victoria y Lerín Rodríguez, Berta y Muñoz Robles, Antonio (2013) GEDOLI : gestión de documentos lingüísticos. [Trabajo Fin de Grado]

Ballesteros Calvo, Alicia y Cárcamo Escorza, Guillermo y Duobert Collazos, Emilio (2013) Recubrimiento y normalización de recursos lingüísticos: aplicación a las anotaciones morfosintánticas [sic] y sintácticas de Freeling. [Trabajo Fin de Grado]

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

Trabajo de curso

Nicolás Puppo, Tristán Adolfo (2015) Identificación y clasificación de mariposas con técnicas de visión computarizada. [Trabajo de curso] (No publicado)

Alejos Castroviejo, Javier y Arranz García, Diego y Mosquera Logoño, Saskya Isabel (2014) Depurador algorítmico para estructuras de control Java. [Trabajo de curso] (No publicado)

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

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

Gómez Carrero, Beatriz y Corrales Rodríguez, Daniel y García Ávila, Federico (2014) Entorno web para la comparación de metaheurísticas inspiradas en inteligencia de enjambre. [Trabajo de curso] (No publicado)

Bouza Cubo, Eduardo y González Marcos, Daniel y Pérez Barrio, Jorge (2014) Estrategias de paralelización de heurísticas para el juego de ajedrez. [Trabajo de curso] (No publicado)

Rodríguez Azpeitia, Javier y Canora Barreno, Mario y Mendiola Fernández, Javier (2014) Portal web de gestión de información para estudiantes Erasmus. [Trabajo de curso] (No publicado)

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

Bueno Cavero, Nícolas Paolo y Gómez Edo, Javier (2014) ProsymbABS: perfilador simbólico para objetos concurrentes. [Trabajo de curso] (No publicado)

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

Aragón Tebar, Laura y Arranz Ropero, Mario y Cabrerizo Galán, Sergio (2014) Rutas seguras en la ciudad para discapacitados psíquicos. [Trabajo de curso] (No publicado)

Antolín García, Clara y Giraldo García, Carlos Gabriel y Peces Muñoz, Raquel (2014) SymC++: un depurador simbólico para C++. [Trabajo de curso] (No publicado)

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

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

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

Troyano Rollán, Iván y Troyano Rollán, Óscar (2013) DYNJA: a dynamic resource analyzer for multi-theaded Java. [Trabajo de curso] (No publicado)

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

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

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

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

Alfaro Orgaz, Ana y Ballesteros Navajas, Sergio y Sesma Salgado, Lidia (2013) Mapa de recursos en la ciudad de Madrid: accesibilidad integral para el ciudadano. [Trabajo de curso] (No publicado)

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

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

Carrasco de la Fuente, Roberto y Gumiel Erena, Sergio y Vizcaíno González, Adrián (2013) Sistema de ofuscación de malware para la evasión de NIDS. [Trabajo de curso] (No publicado)

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

Tarascón Quintas, Eduardo y García Fernández, José Ángel (2013) jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests. [Trabajo de curso] (No publicado)

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

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

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

Luzón Martín, José y Tenorio Fornés, Antonio (2012) Generación de casos de prueba para SQL. [Trabajo de curso] (No publicado)

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

Peñas Jaramillo, Javier y Reyero Sainz, Laura (2012) JLOP(JSON language oriented processing). [Trabajo de curso] (No publicado)

Bertrand Bonnemason, Johan y Catalán Fernández, Carlos y Georgiev Mikovski,, Vladimir (2012) Muphic : composición musical automática basada en imágenes. [Trabajo de curso] (No publicado)

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

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

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

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

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

Fernández Contreras, María y Fernández Gómez, Laura y Helguera Gordo, Aleixa (2011) Depuración algorítmica de vistas SQL. [Trabajo de curso] (No publicado)

García, Pedro Pablo (2011) Desarrollo de un sistema de consultas web para sistemas SAT. [Trabajo de curso] (No publicado)

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

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

Martín López, Fausto y Pedrosa Guerrero, Jesús y Sánchez González, Luis (2011) Editor colaborativo. [Trabajo de curso] (No publicado)

García García, Daniel y Ramos Romero, José Luis (2011) Huellas en la Tierra: web social usando Google Maps. [Trabajo de curso] (No publicado)

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

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

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

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

Berbis González, Eduardo y León Guerrero,, Saúl y Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Trabajo de curso] (No publicado)

Cabañas Ruiz, Israel y lores Montoya, Antonio y Gutiérrez Mota, Sergio (2011) jPET: un generador de casos de prueba sobre programas Java. [Trabajo de curso] (No publicado)

Jiménez Paniagua, Luis y Marcis Barrio, José y Fuentes Iglesias, Rubén (2010) Aprendizaje interactivo de estructuras de datos: de la especificación algebraica a la implementación. [Trabajo de curso] (No publicado)

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

García Logrosán, Ángel y Vicente Díez, Beatriz y Vlad, Alexandra (2010) Bib Manager y Word Citer. [Trabajo de curso] (No publicado)

Edroso Jarne, Alberto y García Toledo, Marcos Miguel (2010) Búsqueda de comportamiento en una máquina simple aleatoria. [Trabajo de curso] (No publicado)

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

Chazarra Bernabé, Juan y Requena López, Víctor Manuel y Valverde Jerónimo, Sergio (2010) Desarrollo de un repositorio de objetos de aprendizaje usando DSpace. [Trabajo de curso] (No publicado)

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

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

Carrijo Pajuelo, Pablo y Gil Ramos , Bárbara y Yagüe Gilarranz, Nuria (2010) Editor Web Accesible: EDITOR@. [Trabajo de curso] (No publicado)

Sáez Bertrand, Jaime y Rodríguez Acero, Fernando (2010) Generador automático de casos de prueba unitarios para Junit. [Trabajo de curso] (No publicado)

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

Loredo Iglesias, Carlos y Ortíz Gil, Sergio y Valles Mercado, Héctor (2010) Herramienta de perfilado para código de bytes de Java. [Trabajo de curso] (No publicado)

Berd, Dalila (2010) Implementación de XPath en Haskell. [Trabajo de curso] (No publicado)

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

Barrigüete Ibáñez , Rocío y Huete Jiménez, Mario José y San Juan Germán, Luis (2010) TALFi 2.0. [Trabajo de curso] (No publicado)

Denegri, Ezequiel y Frontera Sánchez, Guillermo (2009) Algoritmos para grafos y programación de propósito general en CUDA. [Trabajo de curso] (No publicado)

Celada Trigo, Luis y Gil Jiménez, Carlos (2009) Desarrollo de un compilador de una representación basada en reglas a código de bytes de Java. [Trabajo de curso] (No publicado)

Ariza Guerrero, Antonio y Doria Dulanto, Javier y Tabeke Heras, Isamu (2009) Geomantes: sistema de navegación GPS por mapas gráficos. [Trabajo de curso] (No publicado)

Ariza Guerrero, Antonio y Doria Dulanto, Javier y Tabeke Heras, Isamu (2009) Geomantes: sistema de navegación GPS por mapas gráficos. [Trabajo de curso] (No publicado)

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

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

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

Pinto San Macario, Víctor y Rodríguez Vidal, Javier y Gómez Cordero, David (2009) Juegos Arcade online sobre mapas reales. [Trabajo de curso] (No publicado)

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

García Aranda, Rafael (2009) Módulo de predicciones de Osmius. [Trabajo de curso] (No publicado)

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

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

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

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

Fernández Reviejo, Jonás y Nieto Espinal, Francisco Javier y Quijano Sánchez, Jara (2009) UML-AT VIZ. [Trabajo de curso] (No publicado)

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

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

García Azpiazu, Margarita y Nicolás Fúnez, Cristina y Vaquero Curto, Alberto (2009) Videojuego educativo sobre introducción a la programación. [Trabajo de curso] (No publicado)

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

Alonso Medina, Beatriz y Martínez Cesteros, Juan Luis y Renedo Gamero, Eduardo (2008) Asignación de docencia SIC. [Trabajo de curso] (No publicado)

Cuadra Aranzubía, Javier y Romero Sobrino, Iván y Terrado Bruna, Carlos (2008) CRM inteligente. [Trabajo de curso] (No publicado)

Milán Gutierrez, Alberto y Martínez Segura, Miguel y Cáceres González, Fco. Javier (2008) Database desing tool. [Trabajo de curso] (No publicado)

Alemany de Aguinaga, Laura y Arias Torrijos, Victor Manuel y Sánchez Carrillo, Alberto (2008) Depurador declarativo para plataforma .NET. [Trabajo de curso] (No publicado)

Díaz Jara, Manuel Félix y Magro García, Inmaculada y Queipo Bravo, Jorge Luis (2008) Describiendo e implementando normas para sistemas multiagente. [Trabajo de curso] (No publicado)

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

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

Díaz Yeregui, Pedro y Ogalla Ramirez, Jorge (2008) Generación de código de control de acceso orientado a aspectos: un enfoque por metamodelos. [Trabajo de curso] (No publicado)

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

Caño Núñez, Jesús y Ramos Ruiz, Ignacio y Álvarez Fernández, Enrique (2008) HOTL: Hypothesis and observations testing logic. [Trabajo de curso] (No publicado)

Prieto Bermejo, Jaime y Vegas Calle, Eduardo (2008) Implementación de appliances para enrutado IPv6 desde pataformas hardware económicas. [Trabajo de curso] (No publicado)

Alonso Blas, Diego Esteban (2008) Una herramienta para inferir cotas superiores de relaciones de coste. [Trabajo de curso] (No publicado)

Gómez Gómez, Borja y Miguel Vicenti, Antonio de (2008) Videojuego educativo sobre introducción a la programación. [Trabajo de curso] (No publicado)

Cardiel Freire, Diego y Ortiz Sánchez, Juan José y Rupérez Cañas, Delfín (2007) ACIDE: A Configurable IDE. [Trabajo de curso] (No publicado)

Colinas Lorenzo, Ana y García Asenjo, Alejandro y Mengual Castro, Aída (2007) Animaciones de tipos abstractos de datos. [Trabajo de curso] (No publicado)

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

Aguado Villanueva, Jaime y Castromil Campos, Juan Carlos y Pinto Camarero, Carlos (2007) Aventura Gráfica Multijugador AGM. [Trabajo de curso] (No publicado)

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

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

Nevados Holgado, Alejo Jesús y Martín Gómez, Victor y Lozano Robles, Jesús (2007) Coordinación de sistemas multiagentes para tareas de localización de objetos. [Trabajo de curso] (No publicado)

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

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

González Toboso, Adoración y Perucha Sánchez, Reyes Lucio y Urbina García, María Luisa (2007) FuSiE (Fuzzy Systems Editor). [Trabajo de curso] (No publicado)

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

Rivas Rodríguez, Javier y Marcos Vega, Manuel (2007) Herramienta abierta de regresión borrosa. [Trabajo de curso] (No publicado)

González Palomar, Irene y González Rodríguez, Diego y Plaza Fernández, Luis Julián (2007) Interfaz gráfica para Mobile-Maude. [Trabajo de curso] (No publicado)

Prieto Ruiz, Rocío y Rodríguez Alonso, Belén y Suárez Bravo, Álvaro (2007) MOVA Tool. [Trabajo de curso] (No publicado)

Fernández García, Ignacio y Molero Blázquez, Luis y Rioboo Crespo, Carlos (2007) Orfeo. [Trabajo de curso] (No publicado)

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

Marcos Granjo, Jesús Javier y Ortega Valentín, Alberto y Bartolomé Sanz, Jesús (2007) Repositorio de objetos de aprendizaje distribuido. [Trabajo de curso] (No publicado)

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

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

Martín Moreno, Sonia y Remesal Escalero, Francisco Javier y Rivera Rodríguez, Laura (2007) Videojuego educativo para el aprendizaje de SQL. [Trabajo de curso] (No publicado)

Barbero Romero, Víctor y Carrión Inglés, Carmen y Reyes Guzmán, Álvaro de los (2006) Analizador de armonía musical. [Trabajo de curso] (No publicado)

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

Iglesias Franch, Ignacio y Jiménez Requero, Denis y Luengo Requero, Javier (2006) Aplicación de técnicas de CBR a los sistemas de enseñanza interactivos. [Trabajo de curso] (No publicado)

García Ríos, Diana y Herranz Bandrés, Antonio y Sanz Ruiz, Juan (2006) Atracción Numérica Fatal (SuDoKu JADE). [Trabajo de curso] (No publicado)

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

González-Blanch Rodríguez, Francisco y Miguel Roses, Reyes de y Serrano Soria, Susana (2006) Depurador Declarativo de programas JAVA. [Trabajo de curso] (No publicado)

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

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

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

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

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

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

Tórtola Navarro, Darío y Vives Lafuente, Carlos (2006) Estudio sobre la relevancia de los contadores de rendimiento en situaciones de conflicto. [Trabajo de curso] (No publicado)

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

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

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

Meco Alías, Albert y Martínez de Leiva Nieto, Daniel y Alonso Navarro, Marcos (2006) GAMA -Generador Automático de Modelos Animados-. [Trabajo de curso] (No publicado)

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

Alonso García, Diego y Hernández Arroyo, Daniel y Olivar Escaja, Carlos (2006) Intérprete de visualizaciones. [Trabajo de curso] (No publicado)

Alonso Calvo, Abraham y Cañas Caicoya, Elena y Nieto Sanz, Daniel (2006) LOMEditor 2006: editor de objetos de aprendizaje en base a plugins. [Trabajo de curso] (No publicado)

Alcaraz Martín, Fernando y Arias Baña, Jorge y Gavela Coya, Juan Pablo (2006) MOVA Tool (Visual ITP/OCL Tool). [Trabajo de curso] (No publicado)

Calle Cantalapiedra, Pedro Javier y Chávarri Álvarez, Javier y Iglesias Pulido, Fernando (2006) PUMUKI: The Pure Music Kit. [Trabajo de curso] (No publicado)

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

Jenkins López, David B. y Monte Freitas, Álvaro del y Montenegro Montes, Manuel (2006) Rigid Body Simulation. [Trabajo de curso] (No publicado)

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

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

Tolosa Diosdado, Miguel Ángel y Ameziane, Adam (2006) Sistema de autoconfiguración para redes Ad hoc. [Trabajo de curso] (No publicado)

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

Alonso López, María y García García, Leticia y Soria Soler, Jose David (2006) Software de comunicación de PDAs. [Trabajo de curso] (No publicado)

Akinfieva, Elena y Navarro Iborra, Álvaro y Romero Sanguña, Erika Elizabeth (2006) Transformación asistida de programas funcionales. [Trabajo de curso] (No publicado)

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

Díaz Jubera, Sergio y Gallego Ahijón, Javier y Sobrinos García, José María (2006) Vega Solaris: The Remake. [Trabajo de curso] (No publicado)

Jiménez Sánchez, Andrés y Miguel Morate, Amaia de y Villellas Bernal, Javier (2005) Analizador de un espectro musical. [Trabajo de curso] (No publicado)

Anta Álvarez, Tania y Sánchez Rodríguez, Nazaret y Herranz Lillo, Santos (2005) Aventura gráfica multijugador. [Trabajo de curso] (No publicado)

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

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

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

Cantos Galán, Sara y Álvarez Sánchez, Roberto y Parrilla Bejerano, José Luis (2005) Entorno de clase virtual en Internet. [Trabajo de curso] (No publicado)

Martín Martín, Silvia y Sanz Trujillo, Victoria y Zamorano Valtueña, Eva (2005) Experimentos sobre la evolución del lenguaje. [Trabajo de curso] (No publicado)

Ballester Lorenzo, Raquel y Campo Montejo, José Ignacio del y Flórez Puga, Gonzalo (2005) FORT: una herramienta de regresión borrosa. [Trabajo de curso] (No publicado)

Carro Albarrán, David y Riesco Rodríguez, Adrián y Rodríguez Martínez, Francisco Pedro (2005) Fractal Go. [Trabajo de curso] (No publicado)

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

Gómez Santos, Javier y Rodrígues Hortalá, Juan y Torres de Alba, Roberto (2005) Genaro. [Trabajo de curso] (No publicado)

Pérez Gutierrez, José Julián y Romero Díaz, Carlos Alberto y Sánchez Colmenar, Andrés (2005) Gestor global de contactos. [Trabajo de curso] (No publicado)

Blanco Martín, Alejandro y Curieses Chamón, David y Ortega Mejías, Óscar (2005) Herramienta CASE hipermedia: Plumbingmatic. [Trabajo de curso] (No publicado)

Murillo Blanco, Javier y Laureano Collado, Javier y García-Magariño García, Iván (2005) Implementación de juegos de estrategia con programación evolutiva. [Trabajo de curso] (No publicado)

Arriola Gómez, Raúl y Iglesia Arranz, Susana de la y Piquer Sánchez, Francisco (2005) LOMEditor 2005. [Trabajo de curso] (No publicado)

Blanco Ancos, Roberto y García Gimeno, José Antonio y Santos García, Gustavo de (2005) Motor 3D con soporte de red aplicado a un videojuego. [Trabajo de curso] (No publicado)

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

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

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

Delgado Díez, Sergio (2005) RPG-3D. [Trabajo de curso] (No publicado)

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

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

Herrezuelo Sánchez, Beatriz y Sánchez San José, Eva Cristina y Martín Pedro, Juan Antonio (2005) Servidor de fusión de volúmenes. [Trabajo de curso] (No publicado)

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

Burgos Artizzu, Xavier Paolo y Diez Hernández, Ángel Luis y Iglesias Sánchez, Ángel (2005) Simulador de vuelo de helicóptero. [Trabajo de curso] (No publicado)

Pablo Gutierrez, Itziar, de y Donadiós Algarra, Mercedes y Sánchez Codoni, Miguel (2005) Sistema de testing de aspectos cuantitativos. [Trabajo de curso] (No publicado)

Charro Enche, Ruth María y Lavín Mera, Pablo y Mengotti Arribas, Arturo (2005) Statistics4j framework para el desarrollo de simulaciones estadísticas. [Trabajo de curso] (No publicado)

Gutierrez García, Laura y Rico Redondo, Esther y Torrano Gimenez, Carmen (2005) Visualización y animación de estructuras de datos y algoritmos. [Trabajo de curso] (No publicado)

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

Koronis Pérez, Jorge y Ordoño Marín, Sergio y Yáñez Morante, Elsa (2004) Aventura gráfica multijugador. [Trabajo de curso] (No publicado)

Iglesias Martín, Gabino y Sanz Cid, Javier (2004) Bases de datos terminológicas, léxicas y ontológicas. [Trabajo de curso] (No publicado)

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

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

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

Fraile Gutiérrez, Javier y Muñoz Costumero, Tomás y Rabanal Basalo, Pablo M. (2004) ForoCaos: desarrollo de un foro jerárquico. [Trabajo de curso] (No publicado)

Martínez García, Luis María y Fernández Castro, David (2004) Herramienta de monitorización del rendimiento aplicada al Pentium 4. [Trabajo de curso] (No publicado)

Diéguez Alberte, Andrés y Ovejero Málaga, Roberto y Robledo Ibáñez, Andrés (2004) Implementación de juegos usando algoritmos evolutivos. [Trabajo de curso] (No publicado)

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

Fonseca Díaz, Daniel y Romero Benítez, Gustavo y Herrera García, Mariano (2004) Intranet para un departamento universitario. [Trabajo de curso] (No publicado)

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

Gutiérrez Sancho, Enrique y García Casado, Natalia (2004) Modificación de la herramienta SimpleScalar para el estudio de las arquitecturas asíncronas. [Trabajo de curso] (No publicado)

Chavero García-Esteban, Jesús y Ramírez Pérez, Juan Pablo y Sánchez Carballo, Eduardo (2004) Proyecto de juego de Go. [Trabajo de curso] (No publicado)

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

Blázquez de Miguel, Javier y Santos García, Gonzalo de y Fernández Hernández, Gonzalo (2004) Sistema de chat 3D. [Trabajo de curso] (No publicado)

Álvarez Moreno, Gonzalo y González Egea, Helios y Romero Pérez, José (2004) Sistema de entrenamiento de ajedrez para principiantes. [Trabajo de curso] (No publicado)

Arenas González, David Manuel y Partearroyo Flores, María y Sanz Sanz, Mª Montserrat (2004) Sniffer UCM: herramienta de monitoreo de tráfico. [Trabajo de curso] (No publicado)

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

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

Vera Mateos, Beatriz y Valverde Escorial, Esther y Llorente Marcos, Jorge Juan (2003) Creación de un entorno de clase virtual en Internet. [Trabajo de curso] (No publicado)

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

Lamas Legein, Jaime y Palomino Palomino, Mª Pilar y Sánchez Jean , Héctor (2003) Herramientas para generar sobre Web ejercicios de ajedrez interactivos para principiantes. [Trabajo de curso] (No publicado)

Francisco Gilmartín, Virginia y Rubio Montero, Antonio Juan y Soria Peña, Antonio y Celorrio Aguilera, Carlos (2003) HispaGrid. [Trabajo de curso] (No publicado)

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

Díaz Estebaranz, Jorge y Fernández Cruz, Javier y Riao Valverde, Alberto (2003) Interfaz gráfica de un asistente pedagógico. [Trabajo de curso] (No publicado)

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

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

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

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

Bermejo Rodríguez, Luis Alberto y Cubino González, Rafael (2003) Proyecto migración ontología-Mikrokosmos. [Trabajo de curso] (No publicado)

Barajas Fernández, Saulo y Martínez Sanz, Santiago y Parodi Bardón, Jaime (2003) Simulación de nuevas arquitecturas en Internet. [Trabajo de curso] (No publicado)

Arjandas Daryanani, Ajay y Fraile Alonso, Raquel y Pérez Cano, Aitor (2003) UTC: Herramienta esteganalítica modular. [Trabajo de curso] (No publicado)

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

D.E.A

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

Esta lista fue generada el Mon Dec 5 02:22:40 2016 CET.