Browse by Department

A

Angoitia Espinosa, Itziar (2008) Data warehouse para la gestión de lista de espera sanitaria. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid.

Antonio Jiménez, Angélica de (1994) Una interpretación algebraica de la verificación de sistemas basados en el conocimiento. Tesis(Doctoral), Computer Faculty (UPM).

Aler Mur, Ricardo (1999) Programación genética de heurísticas para planificación. Tesis(Doctoral), Computer Faculty (UPM).

Arribas López, Iván (2008) Data warehouse de soporte a datos de GSA. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, ES.

Amor Iglesias, Juan Jose (1997) Sistema de visualización para un entorno avanzado de desarrollo de software. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, ES.

Albarrán Lázaro, Cesar (2009) Inventario de red y servicios para un sistema de provisión automática en un entorno triple-play. Proyecto Fin de Carrera,Computer Faculty (UPM).

Alonso, Luis A. and Lauret Aguirregabiria, Benito and Alonso Amo, Fernando (2010) A New Envelope with Highly Energy-Efficient Insulation. Global Insulation Magazine (2). 24 - 29. ISSN 1463-9661

Alonso, Luis A. and Lauret Aguirregabiria, Benito and Alonso Amo, Fernando (2010) A New Envelope with Highly Energy-Efficient Insulation. In: 5th Global Insulation Conference and Exhibition 2010, 04/10/2010 - 05/10/2010, Londres, UK.

Anis Zemni, Mohamed and Benberno, Salima and Carro Liñares, Manuel (2010) A Soft Constraint-Based Approach to QoS-Aware Service Selection. In: 8th International Conference, ICSOC 2010, 07/12/2010 - 10/12/2010, San Francisco, EEUU.

Albert Albiol, Elvira and Alonso, D. and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009) Asymptotic Resource Usage Bounds. In: 7th Asian Symposium on Programming Languages and Systems, APLAS '09, 14/12/2009 - 16/12/2009, Seoul, Korea.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2008) Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Lecture Notes in Computer Science, 5079 . 221- 237. ISSN 0302-9743

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009) Comparing Cost Functions in Resource Analysis. In: First international conference on Foundational and practical aspects of resource analysis, FOPARA'09, 06/11/2009 - 06/11/2009, Eindhoven, Holanda.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010) Compositional CLP-based Test Data Generation for Imperative Languages. In: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10, 23/07/2010 - 25/07/2010, Hagenberg, Austria.

Alvarez Alonso, Marina A. and Arquero Hidalgo, Águeda and Martínez Izquierdo, María Estíbaliz and Rio, O. (2010) Domogis: Prototipo de un interfaz del sistema de control de un edificio integrado en un SIG. Informes de la Construccion, 62 (518). 15 - 24. ISSN 0020-0883

Alarcón Cavero, Pedro Pablo (2008) Especificación de un modelo de interacción aplicable a procesos de desarrollo y operación de sistemas con software. Tesis(Doctoral), Computer Faculty (UPM).

Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2010) Evaluating Conformance to WCAG 2.0: Open Challenges. Lecture Notes in Computer Science, 6179/2010 . pp. 417-424. ISSN 0302-9743

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009) Field-Sensitive Value Analysis by Field-Insensitive Analysis. In: 2nd World Congress on Formal Methods, FM '09, 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana (2010) From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: SAS'10 17th international conference on Static analysis, 14/09/2010 - 16/09/2010, Perpignan, Francia.

Alonso Amo, Fernando and Martínez Normand, Loïc and Santamaría Falcón, Agustín and Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro (2010) GGGP-based method for modeling time series: Operator selection, parameter optimization and expert evaluation. In: 7th International Cross Disciplinary Conference on Web Accessibility (W4A), 2010, 26/04/2010 - 27/04/2010, Raleigh, EEUU.

Alonso Amo, Fernando and Manrique Gamo, D. and Martinez, L. and Viñes, J. M. (2010) How Blended Learning Reduces Underachievement in Higher Education: An Experience in Teaching Computer Sciences. IEEE Transactions on Education, 54 (99). 1 - 8. ISSN 0018-9359

Aguilar Alonso, Igor and Carrillo Verdún, José Domingo and Tovar Caro, Edmundo (2008) Importancia de la Gestion del Proceso de la Demanda de TI. Revista de Procesos y Metricas, RPM, 5 (2). 25 - 34. ISSN 1886-4554

Alonso Amo, Fernando and López Gómez, Genoveva and Manrique Gamo, Daniel and Soriano Camino, Francisco Javier (2008) Instructional and Technological Design of E-Learning Courses. In: New Eductional Technology. Nova Science Publishers, New York, EEUU, 127- 148. ISBN 978-1-60456-037-4

Albero, Filipe and Amillo Gil, June and Arcilla, Magdalena and Calvo-Manzano Villalon, Jose Antonio (2010) Introducing IT Ccost Services Management in a Small Enterprise. In: 17th European Systems and Software Process Improvement and Innovation Conference, EuroSPI'2010, 01/09/2010 - 03/09/2010, Grenoble, Francia.

Alonso Amo, Fernando and Barreiro Sorrivas, Jose Maria (2008) Investigación y desarrollo en el campo de la accesibilidad. In: Tecnologías de la Información y las Comunicaciones en la Autonomía Personal, Dependencia y Accesibilidad. Colección Informática (16/2008). Fundación Alfredo Brañas, Santiago de Compostela, España, 497- 538. ISBN 978-84-9749-322-2

Alonso Amo, Fernando and Fuertes Castro, José Luis and Martínez Normand, Loïc and Soza, Héctor (2010) Measures for Evaluating the Software Agent Pro-Activity. In: 25th International Symposium on Computer and Information Sciences, 22/09/2010 - 24/09/2010, Londres, UK.

Alonso Amo, Fernando and Fuertes Castro, José Luis and Martínez Normand, Loïc (2010) Measuring the Pro-Activity of Software Agents. In: Fifth International Conference on Software Engineering Advances. ICSEA 2010, 22/08/2010 - 27/08/2010, Niza, Francia.

Alonso Amo, Fernando and Fuertes Castro, José Luis and Martínez Normand, Loïc and Soza, Héctor (2008) Measuring the Social Ability of Software Agents. In: 6th International Conference on Software Engineering Research, Management and Applications, 20/08/2008-22/08/2008, Praga, República Checa.

Alonso Amo, Fernando and Martínez Normand, Loïc and Pérez Pérez, Aurora and Santamaría Falcón, Agustín and Caraça-Valente Hernández, Juan Pedro (2008) Modelling Medical Time Series Using Grammar-Guided Genetic Programming. In: 8th Industrial Conference, ICDM 2008, 16/06/2010 - 18/06/2010, Leipzig, Alemania.

Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2010) On the testability of WCAG 2.0 for beginners. In: 7th International Cross Disciplinary Conference on Web Accessibility (W4A), 2010, 26/04/2010 - 27/04/2010, Raleigh, EEUU.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2010) PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: 2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation, 18/01/2010 - 19/01/2010, Madrid, España.

Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2008) Requirements for a Method of Software Accessibility Conformity Assessment. Lecture Notes in Computer Science, 5105 . 534 - 541. ISSN 0302-9743

Alonso Amo, Fernando and Martínez Normand, Loïc and Pérez Pérez, Aurora and Santamaría Falcón, Agustín and Caraça-Valente Hernández, Juan Pedro (2006) Symbol Extraction Method and Symbolic Distance for Analysing Medical Time Series. Lecture Notes in Computer Science, 4345 . pp. 311-322. ISSN 0302-9743

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana and Zanardini, Damiano and Roman, Groman (2009) Termination and Cost Analysis with COSTA and its User Interfaces. In: IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009), 09/09/2009 - 11/09/2009, San Sebastian, España.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2008) Test Data Generation of Bytecode by CLP Partial Evaluation. In: 18th International Symposium, LOPSTR 2008, 17/07/2008 - 18/07/2008, Valencia, España.

Alonso Amo, Fernando and López Gómez, Genoveva and Manrique Gamo, Daniel and Pérez Pérez, David (2008) The Impact of Applying an Instructional Model in Distance Learning: A Case Study. In: IADIS Multi Conference on Computer Science and Information Systems 2008, 22/07/2008-25/07/2008, Amsterdam, The Netherlands.

Alonso Amo, Fernando and Fuertes Castro, José Luis and Martínez Normand, Loïc and Soza, Héctor (2009) Towards a Set of Measures for Evaluating Software Agent Autonomy. In: Eighth Mexican International Conference on Artificial Intelligence, MICAI 2009, 09/11/2009 - 13/11/2009, Guanajuato, México.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010) Towards Compositional CLP-based Test Data Generation for Imperative Languages. In: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10, 23/07/2010 - 25/07/2010, Hagenberg, Austria.

Albero, Filipe and Calvo-Manzano Villalon, Jose Antonio and Arcilla, Magdalena (2010) Un caso de estudio dsobre el control de servicios de TI en una empresa pequeña. In: 5º Conferencia Ibérica de Sistemas y Tecnologías de Información, 16/06/2010 - 19/06/2010, Santiago de Compostela, España.

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Zanardini, Damiano (2009) Upper Bounds on Memory Usage for Garbage-Collected Languages. In: 1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009), 26/06/2009 - 02/07/2009, Grenoble, France.

Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2008) User-Interface Modelling for Blind Users. Lecture Notes In Computer Science, 5105 . 789 - 796. ISSN 0302-9743

Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2010) Using collaborative learning to teach WCAG 2.0. In: 12th International Conference, ICCHP 2010, 14/07/2010 - 16/07/2010, Viena, Austria.

B

Bautista González, Gonzalo (2008) Sistema de gestión de un tablón web. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, España.

Baños Polglase, Mario (2009) Creación de una herramienta para comunicación de aplicaciones basada en UDP (SRC). Proyecto Fin de Carrera,Computer Faculty (UPM).

Beato Castro, Lisibonny (2008) Extensiones de PMML para el preproceso de datos en proyectos de data mining. Tesis(Master thesis), Computer Faculty (UPM).

Bártolo Gomes, Joao Paulo (2011) Learning Recurring Concepts from Data Streams in Ubiquitous Environments. Tesis(Doctoral), Computer Faculty (UPM).

Bayona, Luz Sussy and Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and San Feliu Gilabert, Tomas (2010) Process Deployment: A Taxonomy of Critical Success Factors. In: International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 10, 03/12/2010 - 12/12/2010, Connecticut, EEUU.

Barrios Rolania, Maria Dolores and Gascón Márquez, José Ramón (2008) Spectrum and generation of the complex Toda lattice. Discrete Dynamics in Nature and Society, 2009 . pp. 1-12. ISSN 1026-0226

Bayona, Luz Sussy and Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and San Feliu Gilabert, Tomas (2010) Taxonomía de Factores Críticos para el Despliegue de Procesos Software. REICIS, Revista Española de Innovación, Calidad e Ingeniería del Software, 6 (3). pp. 6-22. ISSN 1885-4486

Bosque, José Luis and Herrero Martín, María del Pilar and Mata, Susana (2008) Teaching about Madrid: A Collaborative Agents-Based Distributed Learning Course. In: OTM Conferences and Workshops 2008, 10/11/2008-14/11/2008, Monterrey, Mexico.

Branquinho, Amilcar and Barrios Rolania, Maria Dolores (2010) The complex high order Toda lattice and polynomials generated by three term recurrence relations. In: IX International Conference Approximation and Optimization in the Caribean, 02/03/2008-07/03/2008, San Andrés, Colombia.

Branquinho, Amilcar and Barrios Rolania, Maria Dolores and Foulquié Moreno, E. (2008) The Darboux transformation and the complex Toda lattice. In: International Conference on Computational Methods and Function Theory, 08/06/2009-12/06/2009, Ankara, Turquía.

C

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Lecture Notes in Computer Science, 5366 . 795- 800. ISSN 0302-9743

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Mejia, Jezreel and Muñoz, Mirna and San Feliu Gilabert, Tomas and Sánchez, Ángel and Rocha, Álvaro (2010) Approach to Identify Internal Best Practices in a Software Organization. Systems, Software and Services Process Improvement, Communications in Computer and Information Science, 99 . pp. 107-118. ISSN 1865-0929

Cantón Romero, Paloma and González Martínez, Angel Lucas and Mariscal Vivas, Gonzalo and Ruiz Moreno, Carlos (2008) Building Accessible Flash Applications: an XML-Based Toolkit. Lecture Notes in Computer Science, 5105 . 370 - 377. ISSN 0302-9743

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Alleinni, Féliz and San Feliu Gilabert, Tomas (2010) Calidad en el desarrollo de aplicaciones siguiendo la metodolofgia Team Software Process TSPi. In: 5º Conferencia Ibérica de Sistemas y Tecnologías de Información, 16/06/2010 - 19/06/2010, Santiago de Compostela, España.

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Mejia, Jezreel and Muñoz, Mirna and San Feliu Gilabert, Tomas (2010) CONEVTO: Contract Evaluation tool for Software and Services Adquisition Organizations. In: 17th European Systems and Software Process Improvement and Innovation Conference, EuroSPI'2010, 01/09/2010 - 03/09/2010, Grenoble, Francia.

Corvers, Stephan and Martínez Normand, Loïc and Thorén, Clas and Varela, Enrique and Velleman, Eric and Wegge, Klaus-Peter (2009) Conformity Assessment in the Public Procurement of Accessible ICT. In: Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, 19/07/2009-24/07/2009, California, EEUU.

Cadenas, Alejandro and Ruiz, Carlos and Larizgoitia, Iker and Garcia Castro, Raul and Lamsfus, Carlos and Vázquez, Iñaki and González, Marta and Martín, David and Poveda Villalon, Maria (2009) Context Management in Mobile Environments: a Semantic Approach. In: Workshop on Context, Information and Ontologies, CIAO 2009, 01/06/2009 - 01/06/2009, Heraklion, Grecia.

Castro, John W. and Acuña, Silvia T. and Juristo Juzgado, Natalia (2008) Enriching Requirements Analysis with the Personas Technique. In: First Workshop on the Interplay between Usability Evaluation and Software Development, 24/09/2008-24/09/2008, Pisa, Italy.

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Mejia, Jezreel and San Feliu Gilabert, Tomas and Rocha, Álvaro (2010) Evaluacion de contratos de adquisicion de productos y servicios de software en outsourcing. In: 5º Conferencia Ibérica de Sistemas y Tecnologías de Información, 16/06/2010 - 19/06/2010, Santiago de Compostela, España.

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Muñoz Mirna, A. and San Feliu Gilabert, Tomas and Rocha, Álvaro and Sanchez, Angel (2010) Identificacion de las mejores practicas de una organización de desarrollo software mediante la gestión de su conocimiento. In: 5º Conferencia Ibérica de Sistemas y Tecnologías de Información, 16/06/2010 - 19/06/2010, Santiago de Compostela, España.

Caselles Jiménez, Carlos (2010) Implementación de un sistema anónimo con gestión automática de rutas. Proyecto Fin de Carrera,Computer Faculty (UPM).

Caballero, Edgar and Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and San Feliu Gilabert, Tomas (2010) Implementation of Software Process Improvement Through TSPi in Very Small Enterprises. Systems, Software and Services Process Improvement, Communications in Computer and Information Science, 99 . pp. 280-289. ISSN 1865-0929

Casado Martínez, Carlos and Martínez Normand, Loïc and Goodwin Olsen, Morten (2009) Is It Possible to Predict the Manual Web Accessibility Result Using the Automatic Result? In: Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, 19/07/2009-24/07/2009, California, EEUU.

Carrizo Moreno, Dante Hugo (2009) Marco para la selección de técnicas de educción de requisitos. Tesis(Doctoral), Computer Faculty (UPM).

Calvo-Manzano Villalon, Jose Antonio and Cuevas Agustin, Gonzalo and Gómez, Gerzón and Mejia, Jezreel and Muñoz, Mirna and San Feliu Gilabert, Tomas (2010) Methodology for Process Improvement Through Basic Components and Focusing on the Resistance to Change. Journal of Software Maintenance and Evolution Research and Practic . pp. 1-13. ISSN 1532-060X

Cabeza Gras, Daniel and Hermenegildo Salinas, Manuel Vicente (2009) Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, 410 (46). 4704 - 4723. ISSN 0304-3975

Carrizo Moreno, Dante Hugo and Dieste Tubio, Oscar and Juristo Juzgado, Natalia (2009) Study of Elicitation Techniques Adequacy. In: 11th workshop on requirements engineering, WOR 2008, 12/09/2008-13/09/2008, Barcelona, Spain.

Calvo-Manzano Villalon, Jose Antonio and San Feliu Gilabert, Tomas and Pursche, Andreas (2010) The Forgotten Practices of Subcontracting. In: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 , 16/06/2010 - 19/06/2010, Santiago de Compostela, España.

Casas Cuadrado, Amadeo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. In: 10th International Symposium on Practical Aspects of Declarative Languages, PADL'08, 07/01/2008-08/01/2008, San Francisco, USA.

Carvajal García, Laura Elena (2012) Usability-Oriented Software Development Process. Tesis(Doctoral), Computer Faculty (UPM).

D

Diaz Vico, Jesus (2010) Esteganografía y estegoanálisis: Ocultación de datos en streams de audio Vorbis. Tesis(Master thesis), Computer Faculty (UPM).

Díaz Fernández, Yesica (2009) Estudio sobre la correspondencia entre prácticas CMMI y prácticas ágiles y su aplicación en Pymes. Tesis(Master thesis), Computer Faculty (UPM).

Dieste Tubio, Oscar and Grimán, Anna and Juristo Juzgado, Natalia and López, Marta (2008) Revisiones Sistemáticas: Recomendaciones para un Proceso Adecuado a la Ingeniería del Software. In: Jornadas de Ingeniería del Software y Bases de Datos, 07/10/2008-10/10/2008, Gijón, España.

Dieste Tubio, Oscar and García, Ramón and Fernández, Enrique (2008) Statistical Techniques for Aggregating Experiments Results. Monografia(Technical Report). Computer Faculty (UPM), Boadilla del Monte, Madrid (España).

Diaz Vico, Jesus (2010) Steganography and steganalysis: data hiding in Vorbis audio streams. Tesis(Master thesis), Computer Faculty (UPM).

Dieste Tubio, Oscar and López, Marta and Ramos, Felicidad (2009) Updating a Systematic Review about Selection of Software Requirements Elicitation Techniques. In: 11th Workshop em Engenharia de Requisitos, WER, 12/09/2008-13/09/2008, Barcelona, España.

E

Eibe García, Santiago (2003) NAC : Nodo activo en cluster. Tesis(Doctoral), Computer Faculty (UPM).

Edwards, Monica and Tovar Caro, Edmundo (2008) Criterios y pautas para la elaboración de la Guía Docente. Monografia(Project Report). Computer Faculty (UPM), Madrid, España.

Espinoza Limón, Angelina (2010) An advanced traceability schema as a baseline to improve supporting lifecycle processes. Tesis(Doctoral), Computer Faculty (UPM).

Elkouss Coronas, David (2011) Efficient reconciliation with rate adaptive codes in quantum key distribution. Quantum Information And Computation, null (null). 226 - 238. ISSN 1533-7146

Elkouss, David and Martinez Mateo, Jesus and Martin, Vicente (2011) Information Reconciliation for Quantum Key Distribution. Quantum Information and Computation, 11 (3&4). pp. 226-238. ISSN 1533-7146

Elkouss Coronas, David and Martinez Mateo, Jesus and Martín Ayuso, Vicente (2010) Interactive Reconciliation with Low-Density Parity-Check Codes. In: 6th International Symposium on Turbo Codes and Iterative Information Processing, ISTC2010, 06/09/2010 - 10/09/2010, Brest, Francia.

Elkouss Coronas, David and Martinez Mateo, Jesus and Lancho Lancho, Daniel and Martín Ayuso, Vicente (2010) Rate Compatible Protocol for Information Reconciliation: An application to QKD. In: IEEE Information Theory Workshop, ITW 2010, 06/01/2010 - 09/01/2010, El Cairo, Egipto.

Elkouss Coronas, David and Martinez Mateo, Jesus and Martín Ayuso, Vicente (2010) Secure rate-adaptive reconciliation. In: International Symposium on Information Theory and its Applications, ISITA 2010 , 17/10/2010 - 20/10/2010, Taiwán, República de China.

F

Ferré Grau, Xavier (2005) Marco de integración de la usabilidad en el proceso de desarrollo software. Tesis(Doctoral), Computer Faculty (UPM).

Fernández Baizán, Covadonga (1981) Caracterización matemática de las bases de datos relacionales a partir de los axiomas de Armstrong : una aproximación desde el punto de vista analítico. Tesis(Doctoral), Computer Faculty (UPM).

Fernández Morón, Antonio (2006) Diseño e implementación de un generador y un servidor de correcciones de GPS diferencial en formato RTCM sobre TC/IP, mediante una arquitectura distribuida. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid.

Fernández del Val, Carlos (1990) Propuesta de introducción de servicios de seguridad en redes y sistemas públicos de comunicaciones. Tesis(Doctoral), Computer Faculty (UPM).

Francisco Javier, Jimenez Patricio (2009) Técnicas de deduplicación de datos y aplicación en librerías virtuales de cintas. Proyecto Fin de Carrera,Computer Faculty (UPM).

Fuertes Castro, José Luis and González Martínez, Angel Lucas and Mariscal Vivas, Gonzalo and Ruiz Moreno, Carlos (2010) A Framework to Support Development of Learning Applications for Disabled Children. In: 12th International Conference, ICCHP 2010, 14/06/2010 - 16/06/2010, Viena, Austria.

Fuertes Castro, José Luis and Pérez Pérez, Aurora (2008) Accesibilidad Web. In: Tecnologías de la Información y las Comunicaciones en la Autonomía Personal, Dependencia y Accesibilidad. Fundación Alfredo Brañas, Santiago de Compostela, España, 275- 306. ISBN 978-84-9749-322-2

Fuertes Castro, José Luis and González Martínez, Angel Lucas and Mariscal Vivas, Gonzalo and Ruiz Moreno, Carlos (2008) Applying A Methodology For Educating Students With Special Needs: A Case Study. In: Innovative Techniques in Instruction Technology, E-Learning, e-Assestment and Education. Springer, Berlin, Alemania, 229- 234. ISBN 9781402087387

Fernández Bustillo, Ana (2010) Diseño de una herramienta de evaluación multicriterio. Proyecto Fin de Carrera,Computer Faculty (UPM).

Fabregat, Ramón and Moreno García, Germán Darío and Alonso Amo, Fernando and Fuertes Castro, José Luis and González Martínez, Angel Lucas and Martínez Normand, Loïc (2010) Estándares para e-Learning Adaptativo y Accesible. RIED, Revista Iberoamericana de Educacion a Distancia., 13 (2). 45 - 71. ISSN 1138-2783

Fuertes Castro, José Luis and González , Ricardo and Gutiérrez, Emmanuelle and Martínez Normand, Loïc (2009) Hera-FFX: a Firefox add-on for Semi-automatic Web Accessibility Evaluation. In: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility, W4A 2009, 20/04/2010 - 21/04/2010, Madrid, España.

Flores Naranjo, Pamela Catherine and Medinilla Martinez, Nelson (2012) Learning&Information Technologies Cartography. In: The Fourth International Conference on Mobile, Hybrid, and On-line Learning, 30/01/2012 - 04/02/2012, Valencia, España.

Fernández Baizán, Covadonga and Menasalvas Ruiz, Ernestina and Marbán Gallego, Óscar and Peña Sanchez, Jose Maria (2001) Minimal Decision Rules Based on the A Priori Algorithm. International Journal of Applied Mathematics and Computer Science, 11 (3). 671 - 704. ISSN 1641-876X

Friss de Kereki Guerrero, Inés (2003) Modelo para la creación de entornos de aprendizaje basados en técnicas de gestión del conocimiento. Tesis(Doctoral), Computer Faculty (UPM).

Fernández Gallego, Rafael and Lizcano Casas, David and Ortega, Sebastian and Soriano Camino, Francisco Javier (2009) Towards a user-centered composition system for service-based composite applications. In: 11th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2009, 14/12/2009 - 16/12/2009, Kuala Lumpur, Malaysia.

Fernández Gallego, Rafael and Soriano Camino, Francisco Javier and Larrucea Uriarte, Xabier and Martínez Ortíz, Andrés Leonardo and González-Barahona, Jesus M. (2009) Towards the Improvement of the Software Quality: An Enterprise 2.0 Architecture for Distributed Software Developments. In: The First International Conference on Distributed Frameworks and Applications. (DfmA 2008), 21/10/2008-22/10/2008, Penang, Malasia.

G

García del Real, Julio (1988) Modelo de resolución de incertidumbre en sistemas expertos a partir de la teoría de la posibilidad. Tesis(Doctoral), Computer Faculty (UPM).

García Merayo, Félix (1989) Extensión de los lenguajes científicos para su uso en algoritmos paralelos y vectoriales. Tesis(Doctoral), Computer Faculty (UPM).

Gómez Fernández, Fernando (2008) Aplicación para la estimación de proyectos de software basada en el modelo slim. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid.

González Sánchez, Carlos (2008) Generación, gestión y distribución de artefactos Java con técnicas de integración continua y software libre. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, ES.

Goncalves Grossi, Lucas and Calvo-Manzano Villalon, Jose Antonio (2011) Análisis de Decisiones en la Selección de Proveedores de Tecnologías de la Información: Una Revisión Sistemática. RISTI - Revista Ibérica de STI (8). 67 - 79. ISSN 1646-9895

González López, Pascual (1999) Coherencia de objetos, coherencia de rayos y paralelismo, en la aceleración del trazado de rayos. Tesis(Doctoral), Computer Faculty (UPM).

Garcia Castro, Raul and García-Silva, A. (2009) Content Annotation in the Future Web. The European Journal for the Informatics Professional, X (1). 27 - 32. ISSN 1684-5285

González Macho, Laura (2009) Gestión del tiempo en sistemas data warehouse sobre bases de datos relacionales. Proyecto Fin de Carrera,Computer Faculty (UPM).

Gutiérrez y Restrepo, Emmanuelle and Martínez Normand, Loïc (2010) Localization and web accessibility. Tradumàtica: traducció i tecnologies de la informació i la comunicació (8). pp. 1-6. ISSN 1578-7559

Gasca Hurtado, Gloria Piedad (2010) Metodología de gestión de riesgos para la adquisición de software en pequeños entornos - MEGRIAD. Tesis(Doctoral), Computer Faculty (UPM).

Gallardo Arancibia, José Alberto (2009) Metodología para la definición de requisitos en proyectos de data mining. Tesis(Doctoral), Computer Faculty (UPM).

Garrán Martín, Santiago (2009) Personalización y autorización de tarjeta de crédito : adaptación a EMV. Proyecto Fin de Carrera,Computer Faculty (UPM).

Gonzaález Martínez, Angel Lucas and Mariscal Vivas, Gonzalo (2008) Sistema de Enseñanza para Niños con Necesidades Especiales. In: Tecnologías de la Información y las Comunicaciones en la Autonomía Personal, Dependencia y Accesibilidad. Colección Informática . Fundación Alfredo Brañas, Santiago de Compostela, España, pp. 337-369. ISBN 978-84-9749-322-2

González-Barahona, Jesus M. and Martínez Ortíz, Andrés Leonardo and Polo, Álvaro and Hierro, Juan Jose and Reyes, Marcos and Soriano Camino, Francisco Javier and Fernández Gallego, Rafael (2008) The Networked Forge: New Environments for Libre Software Development. In: 20th World Computer Congress, Working Group 2.3 on Open Source Software, 07/09/2008-10/09/2008, Milán, Italia.

H

Herrero García, Carlos (2009) Desarrollo de la Interacción en el Nivel Social de una Arquitectura Cognitiva para Agentes. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, España.

Herrero Martín, María del Pilar (2003) A human-like perceptual model for intelligent virtual agents = Modelo de percepción para agentes virtuales inteligentes. Tesis(Doctoral), Computer Faculty (UPM).

Herranz Nieva, Ángel (2010) An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay. Tesis(Doctoral), Computer Faculty (UPM).

Haslinger, Stephan and Jiménez Gañán, Miguel and Dustdar, Schahram (2009) Correlation of Context Information for Mobile Services. In: Proceedings of the 11th International Conference on Enterprise Information Systems, ICEIS 2009, 06/05/2009 - 10/05/2009, Milán, Italia.

Herrero Marcos, María Inés (2009) Implementación de una arquitectura para incluir simulaciones en los sistemas de e-learning. Proyecto Fin de Carrera,Computer Faculty (UPM).

Herranz Nieva, Ángel and Mariño Carballo, Julio and Carro Liñares, Manuel and Moreno Navarro, Juan José (2009) Modeling Concurrent Systems with Shared Resources. In: 14th International Workshop on Formal Methods for Industrial Critical Systems, 02/11/2009 - 03/11/2009, Eindhoven, Holanda.

Hoyer, Volker and Janner, Till and Delchev, Ivan and Fuchsloch, Andrea and Lopez, Javier and Ortega, Sebastian and Fernández Gallego, Rafael and Hinnerk Möller, Knud and Rivera, Ismael and Reyes, Marcos and Fradinho, Manuel (2009) The FAST Platform: An Open and Semantically-Enriched Platform for Designing Multi-Channel and Enterprise-Class Gadgets. In: The 7th International Joint Conference on Service Oriented Computing, ICSOC-ServiceWave 2009, 24/11/2009 - 27/11/2009, Estocolmo, Suecia.

I

Imbert Paredes, Ricardo (2005) Una arquitectura cognitiva multinivel para agentes con comportamiento influido por características individuales y emociones, propias y de otros agentes. Tesis(Doctoral), Computer Faculty (UPM).

Ivanovic, Dragan and Treiber, Martin and Carro Liñares, Manuel and Dustdar, Schahram (2010) Building Dynamic Models of Service Compositions With Simulation of Provision Resources. In: 29th international conference on Conceptual modeling, 01/11/2010 - 04/11/2010, Vancouver, Canadá.

J

Juárez Barrena, Eva (2009) Globalización de software. Proyecto Fin de Carrera,Computer Faculty (UPM).

L

Lázaro Molina, Jorge and Ruiz Dimoff, Pablo (2006) Apuntes metodológicos de desarrollo orientado a agentes: Aplicación a una agencia de viajes. Proyecto Fin de Carrera,Computer Faculty (UPM).

Lara Torralbo, Juan Alfonso and López-Illescas, África and Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro (2009) A Language for Defining Events in Multi-Dimensional Time Series: Application to a Medical Domain. In: 1st International Wokshop on Minig of Non-Conventional Data. MINCODA 09, 13/11/2009 - 13/11/2009, SEVILLA, ESPAÑA.

Larrucea Uriarte, Xabier and Soriano Camino, Francisco Javier and Fernández Gallego, Rafael and González-Barahona, Jesus M. (2008) A Service based Development Environment on Web 2.0 Platforms. Lecture Notes In Computer Science (Towards A Service-Based Internet), 5377 . 38 - 48. ISSN 0302-9743

Lizcano Casas, David and Soriano Camino, Francisco Javier and Reyes, Marcos and Hierro, Juan Jose (2009) A user-centric approach for developing and deploying service front-ends in the future internet of services. International Journal of Web and Grid Services, 5 (2). 155 - 191. ISSN 1741-1106

López-Illescas, África and Hernández Martín, I. and López Román, Antonio and Caraça-Valente Hernández, Juan Pedro (2008) Balance and Postural Control Assess in Elite Ice Skaters. Archivos de Medicina del Deporte, XXV (128). 585 - 585. ISSN 0212-8799

Lara Torralbo, Juan Alfonso and Jahankhani, Pari and Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro and Kodogiannis, Vassilis (2010) Classification of Stabilometric Time-Series Using an Adaptive Fuzzy Inference Neural Network System. In: 10th International Conference, ICAISC 2010, 13/06/2010 - 17/06/2010, Zakopane, Polonia.

Lara Torralbo, Juan Alfonso and Moreno, Guillermo and Pérez Pérez, Aurora and López-Illescas, África and Caraça-Valente Hernández, Juan Pedro (2008) Comparing Posturographic Time Series Through Events Detection. In: 21st IEEE International Symposium on Computer-Based Medical Systems, 17/06/2008-19/06/2008, Jyvaskyla, Finlandia.

Lara Torralbo, Juan Alfonso and Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro and López-Illescas, África (2009) Comparing Time Series Through Event Clusterin. In: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008), 22/09/2008-24/09/2008, Salamanca, España.

Lizcano Casas, David and Soriano Camino, Francisco Javier and Reyes, Marcos and Hierro, Juan Jose (2008) EzWeb/FAST: Reporting on a Successful Mashup-based Solution for Developing and Deploying Composite Applications in the Upcoming "Ubiquitous SOA". In: The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2008), 29/09/2008-04/10/2008, Valencia, España.

Lizcano Casas, David and Soriano Camino, Francisco Javier and Reyes, Marcos and Hierro, Juan Jose (2008) EzWeb/FAST: Reporting on a Successful Mashup-based Solution for Developing and Deploying Composite Applications in the Upcoming Web of Services. In: 10th International Conference on Information Integration and Web-based Applications & Services, (iiWAS 2008), 24/11/2008-26/11/2008, Linz, Austria.

Lizcano Casas, David and Jiménez Gañán, Miguel and Soriano Camino, Francisco Javier and Cantera, J.M.C. and Reyes, Marcos and Hierro, Juan Jose and Garijo, Francisco and Tsouroulas, Nikolaos (2008) Leveraging the Upcoming Internet of Services through an Open User-Service Front-end Framework. Lecture Notes In Computer Science, 5377 . 147 - 158. ISSN 0302-9743

Lara Torralbo, Juan Alfonso (2010) Marco de Descubrimiento de Conocimiento para Datos Estructuralmente Complejos con Énfasis en el Análisis de Eventos en Series Temporales. Tesis(Doctoral), Computer Faculty (UPM).

Lara Torralbo, Juan Alfonso and Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro and López-Illescas, África (2010) Modelling Stabilometric Time Series. In: 3rd International Conference on Health Informatics, HEALTHINF 2010, 20/01/2010 - 23/01/2010, Valencia, España.

Lara Torralbo, Juan Alfonso (2008) Modelo para la comparación de datos posturográficos estructuralmente complejos. Tesis(Master thesis), Computer Faculty (UPM).

Lizcano Casas, David and Soriano Camino, Francisco Javier and Fernández Gallego, Rafael and López Pardo, Javier and Reyes, Marcos (2008) Tackling Interoperability in Composite Applications from an Enterprise Mash-up Perspective. In: 14th International Conference on Concurrent Enterprising, ICE 2008, 23/06/2008-25/06/2008, Lisboa, Portugal.

Lizcano Casas, David and Jiménez Gañán, Miguel and Soriano Camino, Francisco Javier and Hierro, Juan Jose and Martínez, Andres L. (2009) The Morfeo Open Source Community: Building Technologies of the Future Web through Open Innovation. In: 18th International World Wide Web Conference, WWW2009, 20/04/2009 - 24/04/2009, Madrid, España.

M

Marbán Gallego, Óscar (2003) Modelo matemático paramétrico de estimación para proyectos de data mining. Tesis(Doctoral), Computer Faculty (UPM).

Menasalvas Ruiz, Ernestina (1998) Integración del proceso de inferencia de conocimiento con los sistemas de bases de datos relacionales: formalización matemática de la fase de análisis. Tesis(Doctoral), Computer Faculty (UPM).

Maté Hernández, José Luis (1982) Contribución al estudio de la modelización como método de evaluación y control de rendimiento de un centro de cálculo. Tesis(Doctoral), Computer Faculty (UPM).

Martínez Albuerne, Juan Luis (2008) Diseño del catálogo de metadatos para la automatización del proceso de carga de un data webhouse. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid.

Martinez Orga, Vicente (1985) Metodología de los sistemas de producción para criptografiado óptimo. Tesis(Doctoral), Computer Faculty (UPM).

Moreno Sánchez-Capuchino, Ana María (1997) Método formal de modelización conceptual para sistemas software. Tesis(Doctoral), Computer Faculty (UPM).

Milán Franco, Jesús Manuel (2008) Replicación Autonómica de Bases de Datos. Tesis(Doctoral), Computer Faculty (UPM).

Milán Franco, Jesús Manuel (1994) Núcleo para un lenguaje distribuido en un entorno UNIX. Proyecto Fin de Carrera,Computer Faculty (UPM).

Martínez Luaces, Milton (2008) La Conciencia: Modelado de sus funciones cognitivas para entidades artificiales mediante redes neuronales modulares. Tesis(Doctoral), Computer Faculty (UPM).

Méndez Pozo, Gonzalo (2000) Aplicación del método de Larman a la construcción de entornos virtuales. Proyecto Fin de Carrera,Computer Faculty (UPM).

Matturro, Gerardo and Silva Vazquez, Andrés (2010) A Model for Capturing and Managing Software Engineering Knowledge and Experience. Journal of Universal Computer Science, 16 (3). pp. 479-505. ISSN 0948-695X

Morales Caballero, José Francisco (2010) Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica. Tesis(Doctoral), Computer Faculty (UPM).

Matalobos Veiga, Juan Manuel (2009) Análisis de riesgos de seguridad de la información. Proyecto Fin de Carrera,Computer Faculty (UPM).

Martínez Izquierdo, María Estíbaliz and Alvarez Alonso, Marina A. and Arquero Hidalgo, Águeda and Romero, M. (2010) Apoyo a la decisión de emplazamientos óptimos de edificios. Localización de un edificio universitario mediante el proceso analítico jerárquico. Informes de la Construccion, 62 (519). 35 - 45. ISSN 0020-0883

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Comparing Tag Scheme Variations Using an Abstract Machine Generator. In: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2008, 15/07/2008-17/07/2008, Valencia, España.

Martinez Mateo, Jesus (2008) Criptografía cuántica aplicada. Proyecto Fin de Carrera,Computer Faculty (UPM).

Moreno Navarro, Juan José (1989) Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica. Tesis(Doctoral), Computer Faculty (UPM).

Martinez Mateo, Jesus (2011) Efficient Information Reconciliation for Quantum Key Distribution = Reconciliación eficiente de información para la distribución cuántica de claves. Tesis(Doctoral), Computer Faculty (UPM).

Martín Ayuso, Vicente and Robledo, Luis M. (2008) Fission of Highly Excited Nuclei:a Finite Temperature Description. In: 15th Nuclear Physics Workshop "Marie & Pierre Curie", 24/09/2008-28/09/2008, Kazimierz Dolmy, Polonia.

Martinez Mateo, Jesus and Elkouss Coronas, David and Martín Ayuso, Vicente (2010) Improved Construction of Irregular Progressive Edge-Growth Tanner Graphs. IEEE Communications Letters, 14 (12). 1155 - 1157. ISSN 1089-7798

Martín Ayuso, Vicente and Lancho Lancho, Daniel and Martinez Mateo, Jesus and Elkouss Coronas, David and Soto, M. (2010) Integrating QKD in telecommunication networks. In: Quantum Communication Workshop 2010, 01/02/2010 - 02/02/2010, Oslo, Noruega.

Martínez Normand, Loïc and Caraça-Valente Hernández, Juan Pedro (2008) Legislación y normas técnicas de accesibilidad en tecnologías de la información y las comunicaciones. In: Tecnologías de la Información y las Comunicaciones en la Autonomía Personal, Dependencia y Accesibilidad. Fundación Alfredo Brañas, Santiago de Compostela, España, 133- 178. ISBN 978-84-9749-322-2

Madrigal Alfaro, Zayra (2010) Propuesta de arquitectura para incluir a las simulaciones en los sistemas de E-learning: una extensión al modelo SCORM. Tesis(Doctoral), Computer Faculty (UPM).

Martínez Fernández, Paloma (1998) Propuesta de estructuración del conocimiento lingüístico para interpretación de textos: aplicación al diseño de bases de datos. Tesis(Doctoral), Computer Faculty (UPM).

Matturro, Gerardo and Silva Vazquez, Andrés (2010) ReBEC: A Method for Capturing Experience during Software Development Projects. In: The 17th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2010, 11/10/2010 - 15/10/2010, Lisboa, Portugal.

Moreno, Loïc and Martínez Normand, Loïc and Boticario, Jesús G. and Fabregat, Ramón (2009) Research on standards supporting A2UN@: Adaptation and Accessibility for ALL in Higher Education. In: 14th International Conference on Artificial Intelligence in Education, AIED 2009, 06/07/2009 - 06/07/2009, Brighton, Reino Unido .

Mejías Sánchez, Francisco Javier (2009) Sistema de ayuda para la selección de técnicas de prueba (SASTP). Proyecto Fin de Carrera,Computer Faculty (UPM).

Mancioppi, Michele and Carro Liñares, Manuel and Van den Heuvel, Willem-Jan and Papazoglou, Mike P. (2008) Sound Multi-Party Business Protocols for Service Networks. Lecture Notes In Computer Science, 5364 . 302- 316. ISSN 0302-9743

Mengual Galan, Luis (1998) Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad. Tesis(Doctoral), Computer Faculty (UPM).

Matalonga Motta, Santiago (2011) Un Proceso para la evaluación del Entrenamiento Organizacional. Tesis(Doctoral), Computer Faculty (UPM).

Méndez Pozo, Gonzalo (2008) Una arquitectura software basada en agentes y recomendaciones metodológicas para el desarrollo de entornos virtuales de entrenamiento con tutoría inteligente. Tesis(Doctoral), Computer Faculty (UPM).

Matturro, Gerardo and Silva Vazquez, Andrés (2010) Using Reflective Guides to Capture Software Projects Experience. In: International Conference on Information Knowledge Engineering, IKE 2010, 12/07/2010 - 15/07/2010, Las Vegas, Nevada.

N

Nuche Bascón, Jaime (2009) A Syntactic Approach to Macro-Grammars for Context-Free Languages. Proyecto Fin de Carrera,Computer Faculty (UPM).

O

Ochoa, Claudio (2007) Poly-controlled partial evaluation and its application to resource-aware program specialization. Tesis(Doctoral), Computer Faculty (UPM).

P

Pérez Pérez, Aurora (1991) Una interpretación lógico-algebraica de la semántica de la programación. Tesis(Doctoral), Computer Faculty (UPM).

Peña García, María (2009) Impacto de la aplicación del modelo CMMI nivel 2 en el ciclo de vida de un proyecto. Proyecto Fin de Carrera,Computer Faculty (UPM).

Palomo Pastor, Francisco (2009) Desarrollo de un sistema de gestión de incidencias. Proyecto Fin de Carrera,Computer Faculty (UPM).

Paggi Straneo, Horacio and Alonso Amo, Fernando (2009) A Holonic Model Of System For The Resolution Of Incidents In The Software Engineering Projects. In: International Conference on Computer and Automation Engineering, 2009. ICCAE '09, 08/03/2009 - 10/03/2009, Bankok, Tailandia.

Peña Pérez Negrón, Adriana (2009) A model for 3D virtual environment for learning based on the detection of collaboration through an autonomous virtual tutor = Modelo para Detectar la Colaboración en un Entorno Virtual 3D para la Mejora de la Enseñanza Basada en un Tutor Virtual Autónomo. Tesis(Doctoral), Computer Faculty (UPM).

Pietrzak, Pawel and Correas Fernandez, Jesús and Puebla Sánchez, Alvaro Germán and Hermenegildo Salinas, Manuel Vicente (2008) A Practical Type Analysis for Verification of Modular Prolog Programs. In: ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation , PEPM'08, 07/01/2008-08/01/2008, San Francisco, USA.

Paletta, Mauricio and Herrero Martín, María del Pilar (2009) A Simulated Annealing Method to Cover Dynamic Load Balancing in Grid Environment. In: International Symposium on Distributed Computing and Artificial Intelligence 2008, DCAI´08, 22/10/2008-24/10/2008, Salamanca, España.

Pérez Vázquez, César (2004) Aplicación de entornos virtuales para la exploración y búsqueda de información. Tesis(Doctoral), Computer Faculty (UPM).

Paggi Straneo, Horacio and Alonso Amo, Fernando (2010) Beliefs, Certainty and Complex Systems Structure. In: Second International Conference on Computer Engineering and Applications, 2010, 19/03/2010 - 21/03/2010, Bali Island, Indonesia.

Paggi Straneo, Horacio and Alonso Amo, Fernando and Crespo del Arco, Jose (2010) Cohesion and Complex System Structure. In: Systemics and Informatics World Network, SIWN 2010, 12/07/2010 - 14/07/2010, Chongqing, China.

Pinto Martín, María (2011) Desarrollo de un sitio web corporativo accesible usando Drupal. Proyecto Fin de Carrera,Computer Faculty (UPM).

Peña Vázquez, Daniel (2011) Diseño e implementación de un TAD para Tablas de Símbolos: TS2006. Proyecto Fin de Carrera,Computer Faculty (UPM).

Pérez Pérez, Aurora and Caraça-Valente Hernández, Juan Pedro and Lara Torralbo, Juan Alfonso (2010) Generating time series reference models based on event analysis. In: 19th European Conference on Artificial ntelligence, ECAI 2010, 16/08/2010 - 20/08/2010, Lisboa, Portugal.

Paletta, Mauricio (2009) Modelo de aprendizaje para entornos distribuidos colaborativos. Tesis(Doctoral), Computer Faculty (UPM).

Pérez Camaño, Juan Luís (2004) Sistema integrado para la modelización y el análisis de la calidad del aire en modo operacional. Tesis(Doctoral), Computer Faculty (UPM).

Plaza Espí, Daniel (2008) Soluciones PKI basadas en Cryptlib. Proyecto Fin de Carrera,Computer Faculty (UPM).

Pow Sang Portillo, José Antonio (2012) Técnicas para la Estimación y Planificación de Proyectos de Software con Ciclos de Vida Incremental y Paradigma Orientado a Objetos. Tesis(Doctoral), Computer Faculty (UPM).

Perez Martinez, Jorge Enrique (2004) Una aproximación para la transición de análisis a la arquitectura software en el dominio de las aplicaciones distribuidas. Tesis(Doctoral), Computer Faculty (UPM).

Paggi Straneo, Horacio and Alonso Amo, Fernando (2010) Uncertainty and Randomness: A Holonic Approach. In: Second International Conference on Computer Engineering and Applications, 2010, 19/03/2010 - 23/03/2010, Bali Island, Indonesia.

R

Rodríguez Juárez, Raúl (2004) Interactividad en un entorno virtual inteligente: Manejo de dispositivos de realidad virtual y gestión de interacciones. Proyecto Fin de Carrera,Computer Faculty (UPM).

Rueda Barragan, María José (2009) Renovación de sistemas en una entidad financiera española. Proyecto Fin de Carrera,Computer Faculty (UPM).

Ruiz-Tagle Molina, Jorge Mauricio (2012) Algoritmos de cálculo de vectores de prioridad a partir de matrices de comparación por pares imprecisas. Tesis(Doctoral), Computer Faculty (UPM).

Romero López, Oscar J. (2010) Arquitectura Híbrida para Sistemas Cognitivos Artificiales Con Comportamiento Emergente, Adaptativo y Auto-organizado. Tesis(Doctoral), Computer Faculty (UPM).

Robles Santamarta, Juan and Vélez Cerrada, José Ygnacio (2008) Caracterización y representación de una clase de matrices perturbadas en el contexto de la inversa de Drazin. In: Encuentro de Álgebra Lineal, Análisis Matricial y Aplicaciones, ALAMA2008, 25/09/2008-26/09/2008, Vitoria-Gasteiz.

Ramos González, Miguel Ángel (1990) Contribución a la mejora de las técnicas de auditoría informática mediante la aplicación de métodos y herramientas de ingeniería del conocimiento. Tesis(Doctoral), Computer Faculty (UPM).

Ramirez Deantes, Diana (2011) Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java. Tesis(Doctoral), Computer Faculty (UPM).

Ramírez Robles, Máximo and Martinez-Larraz, Eduardo (2010) Uburyo : Delivering of a Sustainable System of Loans for Education : Volume I y II. Proyecto Fin de Carrera,Computer Faculty (UPM).

S

Sáez Achaerandio, Yago (2005) Análisis de micropoblaciones para la mejora de la eficacia en computación evolutiva interactiva. Tesis(Doctoral), Computer Faculty (UPM).

Salvetto de León, Pedro (2006) Modelos automatizables de estimación muy temprana del tiempo y esfuerzo de desarrollo de sistemas de información. Tesis(Doctoral), Computer Faculty (UPM).

Salamanca Cardona, Angel (2008) Study and Performance Evaluation of TCP versions over GEO and LEO Satellite Links between Performance Enhancement Proxies. Proyecto Fin de Carrera,Computer Faculty (UPM), Madrid, Spain.

Sánchez Segura, María Isabel (2001) Aproximación metodológica a la construcción de entornos virtuales. Tesis(Doctoral), Computer Faculty (UPM).

Soriano Camino, Francisco Javier and Fernández Gallego, Rafael and Jiménez Gañán, Miguel (2010) Characterization and Classification of Collaborative Tools. In: IT Outsourcing: Concepts, Methodologies, Tools, and Applications. IGI Global, Information Science Reference, EEUU, 167- 174. ISBN 978-1-59904-885-7

Soriano Camino, Francisco Javier and López Gómez, Genoveva and Fernández Gallego, Rafael (2008) Collaborative Development Environments. In: Encyclopedia of Networked and Virtual Organizations. IGI Global, Information Science Reference, EEUU, 225- 231. ISBN 978-1-59904-885-7

Soriano Camino, Francisco Javier and Jiménez Gañán, Miguel and Frutos Cid, Sonia (2008) Collaborative Development within Open Source Communities. In: Encyclopedia of Networked and Virtual Organizations. IGI Global, Information Science Reference, EEUU, 232- 236. ISBN 978-1-59904-885-7

Sánchez Alonso, Salvador (2005) Diseño y uso de objetos didácticos basado en contratos. Tesis(Doctoral), Computer Faculty (UPM).

Soriano Camino, Francisco Javier and López Pardo, Javier and Jiménez Gañán, Miguel and Alonso Amo, Fernando (2008) Enabling Semantics-Aware Collaborative Tagging and Social Search in an Open Interoperable Tagosphere. In: 10th International Conference on Information Integration and Web-based Applications & Services, (iiWAS 2008), 24/11/2008-26/11/2008, Linz, Austria.

Soriano Camino, Francisco Javier and Lizcano Casas, David and Hierro, Juan Jose and Reyes, Marcos and Schroth, Christoph and Janner, Till (2008) Enhancing User-Service Interaction Through a Global User-Centric Approach to SOA. In: The Fourth International Conference on Networking and Services (ICNS 2008), 16/03/2008-21/03/2008, Gosier, Guadeloupe.

Soriano Camino, Francisco Javier and Lizcano Casas, David and Reyes, Marcos and Alonso Amo, Fernando and López Gómez, Genoveva (2008) Enterprise 2.0: Collaboration and Knowledge Emergence as a Business Web Strategy Enabler. In: Web Technologies: Concepts, Methodologies, Tools, and Applications. IGI Global, Information Science Reference, EEUU, 1661- 1695. ISBN 978-1-60566-982-3

Samaranayake, S. and Jiménez-Peris, R. and Patiño-Martínez, M. (2011) Fault-Tolerant Business Processes. In: Jornadas de Ciencias e Ingeniería de Servicios, 5-7 de Septiembre de 2011, La Coruña, Spain.

Santamaría Falcón, Agustín (2011) Modelo de descubrimiento de conocimiento para series temporales numéricas aplicando métodos simbólicos. Tesis(Doctoral), Computer Faculty (UPM).

Solari Buela, Martín (2011) Propuesta de paquete de laboratorio para experimentos de ingeniería de software. Tesis(Doctoral), Computer Faculty (UPM).

Sedano Ruiz, Mª Felisa (1999) Soporte de redes activas para un servicio integrado de multipunto fiable con control de congestión. Tesis(Doctoral), Computer Faculty (UPM).

T

Triviño Barros, Gracian and Mengual Galan, Luis and Van der Heide, Albert (2009) Towards an Architecture for Semiautonomous Robot Telecontrol Systems. Information Sciences, 179 (23). 3973 - 3984. ISSN 0020-0255

V

Vera del Campo, Isabel Lucía (2008) Análisis de usabilidad del sistema de gestión de contenidos de la web de la Facultad. Proyecto Fin de Carrera,Computer Faculty (UPM).

Vidal Valenzuela, Javier (2008) Interpolación de formas en imágenes usando mordología matemática. Tesis(Doctoral), Computer Faculty (UPM).

Vegas, Sira (2002) Characterisation schema for selecting software testing techniques. Tesis(Doctoral), Computer Faculty (UPM).

Vegas, Sira (2002) Esquema de caracterización para la selección de técnicas de pruebas de software. Tesis(Doctoral), Computer Faculty (UPM).

Álvarez Marañón, Gonzalo (2000) Contribución al estudio de la estructura interna del conjunto de Mandelbrot y aplicaciones en criptografía. Tesis(Doctoral), Computer Faculty (UPM).