Biblioteca de la Universidad Complutense de Madrid

Consultar por Materia

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de documento | Autores
Ir a: | A | B | C | D | E | F | G | H | J | L | M | N | O | P | R | S | T | V | W | Á
Número de eprints en este nivel: 146.

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)

A

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

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)

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)

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

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

Aranda López, Gabriel y Nieva Soto, Susana y Sáenz Pérez, Fernando y Sánchez Hernández, Jaime (2009) Implementing a Fixpoint Semantics for a Constraint Deductive Database based on Hereditary Harrop Formulas. In PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. Assoc Computing Machinery, New York, USA, pp. 117-128. ISBN 978-1-60558-568-0

B

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]

Bautista Blasco, Susana (2015) Un modelo computacional para la simplificación automática de expresiones numéricas. [Tesis Doctoral]

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]

Baltá Camejo, Ailyn y Cayo Ventura, César y Bachrachas Peterburg, Javier (2013) SmartCloud:gestión eficiente de recursos computacionales de la Administración Pública. [Trabajo de curso] (No publicado)

Besada Portas, Eva y López Orozco, José Antonio y Lanillos Pradas, Pablo y Cruz García, Jesús Manuel de la (2012) Localization of non-linearly modeled autonomous mobile robots using out-of-sequence measurements. Sensors, 12 (3). pp. 2487-2518. ISSN 1424-8220

Besada Portas, Eva y López Orozco, José Antonio y Besada, Juan y Cruz García, Jesús Manuel de la (2012) Multisensor fusion for linear control systems with asynchronous, Out-Of-Sequence and erroneous data. Automatica, 47 (7). pp. 2487-2518. ISSN 0005-1098

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)

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

C

Carmona Ruber, Jorge (2016) Fomento del software libre en los estudios de matemáticas mediante el uso de SAGE. [Proyecto de Innovación Docente]

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]

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

Cacchione, Annamaria y Procter-Legg, Emma y Petersen, Sobah Abbas y Winter, Marcus (2015) A Proposal for an Integrated Evaluation Framework for Mobile Language Learning: Lessons Learned from SIMOLA – Situated Mobile Language Learning. Journal of Universal Computer Science, 21 (10). pp. 1248-1268. ISSN 0948-6968

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

Clemente Barreira, Juan Antonio y Sánchez-Elez Martín, Marcos (2014) Introduction to VHDL programming. [Materiales de enseñanza] (No publicado)

Caballero Roldán, Rafael (2011) Declarative debugging. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

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

Castiñeiras Pérez, Ignacio (2008) OPL : a constraint programming language. 5ª conferencia, ILOG SOLVER SCHEDULER. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 23 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeiras Pérez, Ignacio (2008) OPL: a constraint programming language. 4ª conferencia, ILOG SOLVER (2). In Ciclo de conferencias de la Facultad de Informática 2007/2008, 20 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeiras Pérez, Ignacio (2008) OPL: a constraint programming language.3ª conferencia,ILOG SOLVER (1). In Ciclo de conferencias de la Facultad de Informática 2007/2008, 19 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeíras Pérez, Ignacio (2008) OPL:a constraint programming language.2ª conferencia,ILOG CPLEX. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 17 de junio de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Castiñeíras Pérez, Ignacio (2008) OPL: a constraint programming language. 1ª conferencia, Primeros pasos. In Ciclo de Conferencias de la Facultad de Informática 2007/2008, 18 de junio de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

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)

Cutello, V. y Montero, Javier (1999) Recursive connective rules. International Journal of Intelligent Systems, 14 (1). pp. 3-20. ISSN 0884-8173

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]

D

Domínguez Fuentes, Sergio (2015) Acide: a configurable IDE: ACIDE debugging. [Trabajo de curso] (No publicado)

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

E

Estévez González, Victor (2012) Calidad y fragilidad visual del paisaje: MCE, fuzzy logic y GIS. [Trabajo Fin de Máster]

F

Fallaha Sabhan, Abdalah y Góngora Fernández, José Luis (2016) CloudBotNet. [Trabajo Fin de Grado]

Flores Roch, José Alejandro y Todisco López, Lorenzo Alejandro (2015) AceptaElRetoApp App Android aceptaelreto.com. [Trabajo de curso] (No publicado)

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

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)

Francisco Gilmartín, Virginia (2009) Identificación automática del contenido afectivo de un texto y su papel en la presentación de información. [Tesis Doctoral]

G

Gómez Martín, Marco Antonio (2016) Desarrollo de material educativo reutilizable para el portal educativo de la UCM "Acepta el reto". [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]

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

Gil Sánchez, Álvaro y Gutiérrez Palancarejo, Héctor y Morales Lozano, Álvaro (2015) Diseño e implementación en hardware de un modelo de retina artificial. [Trabajo de curso] (No publicado)

Gutiérrez García-Pardo, Pablo y Tejeiro Pérez de Ágreda, Elena y Vicente del Cura, Andrés (2013) Acide : a configurable IDE : DES GUI front-end. [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)

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

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]

Gómez, Daniel y Montero, Javier (2008) Determining the accuracy in supervised fuzzy classification problems. In Computational intelligence in decision and control : proceedings of the 8th International FLINS Conference. World Scientific, Singapore, pp. 411-416. ISBN 978-981-279-946-3

Gallego Bonet, Guillermo y Ronda Prieto, José Ignacio y Valdés Morales, Antonio y García, Narciso (2007) Recursive camera autocalibration with the Kalman filter. 2007 IEEE international conference on image processing . pp. 2461-2464. ISSN 1522-4880

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]

H

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

Herrera Sanz, José (2009) Modelo de programación para infraestructuras Grid computacionales. [Tesis Doctoral]

Hierons, Robert M. y García Merayo, Mercedes y Nuñez García, Manuel (2009) Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming , 78 (2). pp. 98-115. ISSN 1567-8326

Henche Grande, Laura (2009) Introducción a la notación BPMN y su relación con las estrategias del lenguaje Maude. [Trabajo Fin de Máster]

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2009) To be or not to be. . . lazy (In a Parallel Context)1. Electronic Notes in Theoretical Computer Science, 258 . pp. 21-39. ISSN 1571-0661

Hidalgo Herrero, Mercedes (2005) Semánticas formales para un lenguaje funcional paralelo. [Tesis Doctoral]

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2003) Continutation Semantics for Parallel Haskell Dialects. In Programming Languages and Systems: first Asian Symposium, APLAS 2003, Beijing, China, November 2003. Lecture Notes in Computer Science, (2895 ). Springer, Berlin, pp. 303-321. ISBN 978-3-540-20536-4

J

Jiménez Castellanos, Juan (2014) Laboratorio de Computación Científica. [Materiales de enseñanza] (No publicado)

L

Ladrón de Guevara Cano, Alejandro y Sotelo Souto, Yamandú Leandro y Maldonado Lenis, Miguel Alexander (2015) Aceleración de aplicaciones web con WebCL. [Trabajo de curso] (No publicado)

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

León Aznar, Carlos (2011) A computational model for automated extraction of structural schemas from simple narrative plots. [Tesis Doctoral]

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)

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

López-Fraguas, F.J. y Rodríguez-Hortalá, Juan y Sánchez-Hernández, Jaime (2009) A Fully Abstract Semantics for Constructor Systems. In Rewriting Techniques and Applications. Lecture Notes in Computer Science (5595). Springer, Berlin, pp. 320-334. ISBN 978-3-642-02347-7

López-Fraguas, Francisco y Rodríguez-Hortalá, Juan y Sánchez-Hernández,, Jaime (2009) Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. In APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT. Lecture Notes in Computer Science (5437). Springer, Berlin, pp. 206-222. ISBN 978-3-642-00674-6

López-Fraguas, Francisco Javier y Rodríguez-Hortalá, Juan y Sánchez-Hernández, Jaime (2008) Rewriting and call-time choice: The HO case. In Functional and Logic Programming. Lecture Notes in Computer Science (4989). Springer, Berlin, pp. 147-162. ISBN 978-3-540-78968-0

Leach Albert, Javier y Nieva Soto, Susana y Rodríguez-Artalejo , Mario (2001) Constraint Logic Programming with Hereditary Harrop formulas. Theory and Practice of Logic Programming , 1 (4). pp. 409-445. ISSN 1471-0684

Luengo Velasco, Ignacio (1998) Aplicación de MAPLE a la Investigación. La Gaceta de la Real Sociedad Matemática Española, 1 (1). pp. 125-128. ISSN 1138-8927

Leach Albert, Javier y Nieva Soto, Susana y Rodríguez-Artalejo , Mario (1997) Constraint logic programming with hereditary Harrop formulas. In Logic programming. Proceedings of the international symposium (ILPS’97). MIT Press, Cambridge, Port Washington, New York, pp. 307-321. ISBN 0-262-63180-6

Leach Albert, Javier y Nieva Soto, Susana (1992) MIZ-PR: A theorem prover for polymorphic and recursive functions. Lecture Notes in Computer Science, 624 . pp. 481-483. ISSN 0302-9743

M

Mariscal Carhuamaca, Víctor hugo (2016) Integración de datos y análisis predictivo en tratamiento de drogodependencia. [Trabajo Fin de Máster]

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

Martín 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]

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

Marqués Ortiz, Juan Jesús y Ordás Lorente, Fernando y Gutiérrez Quintana, Semíramis (2014) Acide: a configurable IDE : ACIDE debugging. [Trabajo de curso] (No publicado)

Martín Alonso, Jesús (2014) Algoritmo de identificación de zonas geográficas basado en el contenido de la imagen. [Trabajo Fin de Grado]

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

Martínez Ladrón de Guevara, Jorge (2013) BIOSEQ: una librería para bioinformática en R. [Trabajo Fin de Máster]

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

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]

Mesa Giraldo, Samuel Fernando (2012) Desarrollo de un Sistema de Información Geográfica Web para el análisis espacial y temporal de las finanzas del Reino de Castilla en el siglo XVI. [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]

Martínez Ortiz, Iván (2011) Aplicación de técnicas de ingeniería de lenguajes al campo del modelado educativo. [Tesis Doctoral]

Martínez Miranda, Juan (2011) Modelling human behaviour at work: an agent-based simulation to sopport the configuration of work teams. [Tesis Doctoral]

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

Morales Franco , Óscar Mauricio (2009) Análisis de la adecuación de lenguajes de programación Web a un desarrollo basado en patrones de diseño J2EE de alto nivel. [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]

Martínez Usero, José Ángel (2006) Análisis de la experiencia internacional en servicios de administración electrónica basados en XML. In IADIS International Conference WWW/Internet 2006: Proceedings. IADIS, pp. 282-286. ISBN 972-8924-20-8

Mahou, A L y Soto, F J y Pastor, G y Corera, J y Criado, R y Ferrer, V y Martin, J y García-Santesmases, J M (1998) Final implementation of SEACON: new scope and new open system platform. IEEE Transactions on Power Systems, 13 (3). pp. 898-903. ISSN 0885-8950

Mahou, A L y Soto, F J y Blanco, F y Pastor, G y Serna, J y Alfageme, M A y Corera, J y Criado, R. y Ferrer, V y Martin, J y García-Santesmases, J M (1997) Final implementation of SEACON: new scope and new open system platform. In Power Industry Computer Applications., 1997. 20th International Conference on. IEEE Conference Publications . IEEE Xplore Digital Library , pp. 54-59. ISBN 0-7803-3713-1

Moreno Ger, Pablo y Hervás Ballesteros, Raquel y Francisco Gilmartín, Virginia y Bautista Blasco, Susana y Martínez Ortiz, Iván (2015) SIGUE: Uso de dispositivos móviles, códigos QR y técnicas de Learning Analytics para el seguimiento de la participación en clase durante la evaluación continua. [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]

N

Nieva Soto, Susana y Lipton , James (2007) Higher-order logic programming languages with constraints: A semantics. In Typed lambda calculi and applications. Lecture Notes in Computer Science (4583). Springer Verlag Berlín, Berlii, pp. 272-289. ISBN 978-3-540-73227-3

Nieva Soto, Susana y Leach Albert, Javier (2001) A higher-order logic programming language with constraints. Lecture Notes in Computer Science, 2024 . pp. 108-122. ISSN 0302-9743

O

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

Ortuño, M. Teresa y Vitoriano, Begoña (2011) A goal programming approach for farm planning with resources dimensionality. Annals of Operations Research , 190 (1). 181 -199 . ISSN 0254-5330

Ortuño, M. Teresa y Alonso-Ayuso, A. y Escudero, L.F. y Pizarro, C. (2007) On a stochastic sequencing and scheduling problem. Computers and Operations Research, 34 (9). 2604-2624 . ISSN 0305-0548

Ortuño, M. Teresa y Alonso-Ayuso, A. y Escudero, L.F. y Garín, A. y Pérez, G. (2005) On the product selection and plant dimensioning problem under uncertainty. OMEGA - The International Journal of Management Science, 33 (4). 307 -318 . ISSN 0305-0483

P

Parra Valdés, Wilmer Eduardo (2014) Integración de patrones de seguridad y patrones de diseño J2EE. [Trabajo Fin de Máster]

Peña Marí, Ricardo (2013) La obra científica de Tony Hoare. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 23 de abril de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

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

Plaza Morales, Laura (2011) Uso de grafos semánticos en la generación automática de resúmenes y estudio de su aplicación en distintos dominios: biomedicina, periodismo y turismo. [Tesis Doctoral]

Peña Marí, Ricardo (2010) Static analysis and certifcation of safety properties of memory usage. In Ciclo de Conferencias de la Facultad de Informática 2009/2010, 16 de junio de 2010, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

Peinado Gil, Federico (2009) Un armazón para el desarrollo de aplicaciones de narración automática basado en componentes ontológicos reutilizables. [Tesis Doctoral]

Peña Marí, Ricardo (2008) Generación de código con certificado asociado. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 31/01/2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

R

Roanes Lozano, Eugenio y Fernández Díaz, María José y Rodríguez Mantilla, Jesús Miguel y Cujó Arenas, Jorge y Martínez Zarzuelo, Angélica (2016) Aplicación de la programación visual (lenguaje Scratch) en la formación de maestros de Primaria para el desarrollo de las competencias matemática y digital. [Proyecto de Innovación Docente]

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

Rosa Vivas, Ricardo de la y Ruiz Manero, Daniel (2015) Perspective-based referring expression generation in a 3D environment. [Trabajo Fin de Grado]

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)

Rodríguez Vargas, Eddy (2013) Sistemas de recomendación sensibles al contexto con bases de datos NoSQL. [Trabajo Fin de Máster]

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]

Rodríguez Cerezo, Daniel (2011) Facilitando la adquisición de habilidades básicas en cursos de procesadores de lenguaje: un enfoque apoyado en videojuegos. [Trabajo Fin de Máster]

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

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 Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

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)

Rodríguez Hortalá, Juan (2008) Rewriting and call-time choice. In Ciclo de conferencias de la Facultad de Informática 2007/2008, 12 de mayo de 2008, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Presentado)

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)

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

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

S

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

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

Sanchez-Elez Martin, Marcos (2014) Introducción a la programación en VHDL. [Materiales de enseñanza] (No publicado)

Sánchez Álvarez, Manuel y Vaquero Gil, Rafael y Vázquez Montecino, César (2012) Control de un robot móvil con visión: rectificación de imágenes para agricultura de precisión. [Trabajo de curso] (No publicado)

Salcedo Gómez, Javier (2011) DES GUI front-end. [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)

Serrano Moreno, José Ignacio (2008) Modelo computacional de lectura cognitiva para la representación automática de textos. [Tesis Doctoral]

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

Sierra Rodríguez, José Luis y Fernández-Valmayor Crespo, Alfredo (2007) Entorno de soporte al aprendizaje activo en procesamiento de lenguaje. In III jornada Campus Virtual UCM : Innovación en el Campus Virtual metodologías y herramientas. Editorial Complutense, Madrid, pp. 58-68. ISBN 978-84-7491-811-3

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

Segura Díaz, Clara María (2004) Análisis de programas en lenguajes funcionales paralelos. [Tesis Doctoral]

T

Temprado Battad, Bryan (2016) Un enfoque metalingüístico al procesamiento de documentos XML. [Tesis Doctoral]

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

Tenllado van der Reijden, Christian y Piñuel Moreno, Luis (2014) Fundamentos de Computadores. Manual de Laboratorio. Manual. Autoeditado. (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)

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

Temprado Battad, Bryan (2010) Desarrollo dirigido por lenguajes de aplicaciones de procesamiento XML: especificación modular basada en gramáticas de atributos y generación automática. [Trabajo Fin de Máster]

V

Velasco Cabo, José Manuel (2010) Optimización de la gestión de memoria dinámica en Java. [Tesis Doctoral]

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

Vázquez Morcillo, Andrés (2002) Especificación, diseño, implementación y validación de diferentes estructuras de material informatizado para E.A.C. de la física mediante un entorno de autor mixto. [Tesis Doctoral]

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

W

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

Á

Álvarez Montero, Francisco J. y Sáenz Pérez, Fernando y Vaquero Sánchez, Antonio (2015) Using Datalog to provide just-in-time feedback during the construction of concept maps. Expert Systems with Applications, 42 (3). pp. 1362-1375. ISSN 0957-4174

Ávalos García, Adolfo y Barrera Martínez, Ildefonso y Gabriel y Galán Moris, José María y Gallardo García, Tomás y Gómez Garay, Aranzazu y Hernández, José María y Lahoz Beltrá, Rafael y López González-Nieto, Pilar y Marcos Samaniego, Nieves y Martín Calvarro, Luisa y García Moreno, Ana y Oliván Martínez, Gisela y Pérez-Urria Carril, Elena y Pintos López, Beatriz (2011) UCM-MACB 2.0: A Complutense University Virtual Herbarium Project. In Proceedings of EDULEARN11 Conference (International Conference on Education and New Learning Technologies). International Association of Technology, Education and Development (IATED), 001446-001451. ISBN 978-84-615-0441-1

Esta lista fue generada el Tue Dec 6 02:11:55 2016 CET.