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
Número de eprints en este nivel: 146.

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

Á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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Documento de trabajo o Informe técnico

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)

Sección de libro

Á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

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

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

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

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

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

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

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

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

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

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

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

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

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

Libro o Monografía

Tenllado van der Reijden, Christian y Piñuel Moreno, Luis (2014) Fundamentos de Computadores. Manual de Laboratorio. Manual. Autoeditado. (No publicado)

Ponencia o Póster de Seminario, Congreso,etc

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)

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)

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)

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)

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)

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)

Tesis Doctoral

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

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

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

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

García Ruiz, Yolanda (2015) Técnicas de detección y diagnosis de errores en consultas de bases de datos. [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]

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

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]

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

León Aznar, Carlos (2011) A computational model for automated extraction of structural schemas from simple narrative plots. [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]

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

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

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

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]

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]

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

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

Segura Díaz, Clara María (2004) Análisis de programas en lenguajes funcionales paralelos. [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]

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]

Trabajo Fin de Máster

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]

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]

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]

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

Martínez Ladrón de Guevara, Jorge (2013) BIOSEQ: una librería para bioinformática en R. [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]

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

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

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]

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]

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]

Dania, Carolina Inés (2011) MySQL4OCL:un compilador de OCL a MySQL. [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]

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]

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]

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]

Sánchez Gil , Lidia (2008) Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. [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

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]

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

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]

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]

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]

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]

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]

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]

Materiales de enseñanza

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

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

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

Trabajo Fin de Grado

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

Fallaha Sabhan, Abdalah y Góngora Fernández, José Luis (2016) CloudBotNet. [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]

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]

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]

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

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]

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]

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]

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]

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]

Trabajo de curso

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)

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

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

Peñas Jaramillo, Javier y Reyero Sainz, Laura (2012) JLOP(JSON language oriented processing). [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)

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

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)

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)

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)

Esta lista fue generada el Wed Dec 7 02:11:53 2016 CET.