Complutense University Library

Items where Subject is "Sciences > Computer science > Programming languages (Electronic computers)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Number of items at this level: 103.

Article

Besada Portas, Eva and López Orozco, José Antonio and Lanillos, Pablo and 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 and López Orozco, José Antonio and Besada, Juan and 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 Sánchez, María Teresa and Vitoriano Villanueva, 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

Hierons, Robert M. and García Merayo, Mercedes and 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 and Ortega Mallen, 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 Sánchez, María Teresa and Alonso-Ayuso, A. and Escudero, L.F. and Pizarro, C. (2007) On a stochastic sequencing and scheduling problem. Computers and Operations Research, 34 (9). 2604-2624 . ISSN 0305-0548

Gallego Bonet, Guillermo and Ronda Prieto, José Ignacio and Valdés Morales, Antonio and 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 Sánchez, María Teresa and Alonso-Ayuso, A. and Escudero, L.F. and Garín, A. and 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 and Nieva Soto, Susana and 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 and 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 and Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Cutello, V. and Montero de Juan, Francisco 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 and Soto, F J and Pastor, G and Corera, J and Criado, R and Ferrer, V and Martin , J and Garcia-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 and 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

Working Paper or Technical Report

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

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

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

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

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

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

Book Section

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

López-Fraguas, Francisco and Martin-Martin, Enrique and Rodríguez-Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. In Programming Languages and Systems. Lecture Notes in Computer Science (6461). Springer, Berlin, pp. 80-96. ISBN 978-3-642-17163-5

Riesco Rodríguez, Adrián and 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. and Rodríguez-Hortalá, Juan and 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 and Nieva Soto, Susana and Sáenz-Pérez, Fernando and 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 and Rodríguez-Hortalá, Juan and 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 and Montero de Juan, Francisco 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 and Rodríguez-Hortalá, Juan and 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 and 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 and 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 and 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 and 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 and Nieva Soto, Susana and 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 and Soto, F J and Blanco, F and Pastor, G and Serna, J and Alfageme, M A and Corera, J and Criado, R. and Ferrer, V and Martin , J and Garcia-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

Conference or Workshop Item

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

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

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

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

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

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

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

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

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

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

Thesis

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

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

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

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

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. [Thesis]

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

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

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

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

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

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

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. [Thesis]

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

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

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

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

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

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

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

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]

Coursework

Marqués Ortiz, Juan Jesús and Ordás Lorente, Fernando and Gutiérrez Quintana, Semíramis (2014) Acide: a configurable IDE : ACIDE debugging. [Coursework] (Unpublished)

Alejos Castroviejo, Javier and Arranz García, Diego and Mosquera Logoño, Saskya Isabel (2014) Depurador algorítmico para estructuras de control Java. [Coursework] (Unpublished)

Rodríguez Azpeitia, Javier and Canora Barreno, Mario and Mendiola Fernández, Javier (2014) Portal web de gestión de información para estudiantes Erasmus. [Coursework] (Unpublished)

Gutiérrez García-Pardo, Pablo and Tejeiro Pérez de Ágreda, Elena and Vicente del Cura, Andrés (2013) Acide : a configurable IDE : DES GUI front-end. [Coursework] (Unpublished)

Troyano Rollán, Iván and Troyano Rollán, Óscar (2013) DYNJA: a dynamic resource analyzer for multi-theaded Java. [Coursework] (Unpublished)

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

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

Sánchez Álvarez, Manuel and Vaquero Gil, Rafael and 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. [Coursework] (Unpublished)

Peñas Jaramillo, Javier and Reyero Sainz, Laura (2012) JLOP(JSON language oriented processing). [Coursework] (Unpublished)

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

Salcedo Gómez, Javier (2011) DES GUI front-end. [Coursework] (Unpublished)

Fernández Contreras, María and Fernández Gómez, Laura and Helguera Gordo, Aleixa (2011) Depuración algorítmica de vistas SQL. [Coursework] (Unpublished)

Gómez Porris, Álvaro and López Monte, Víctor and 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). [Coursework] (Unpublished)

Sáez Bertrand, Jaime and Rodríguez Acero, Fernando (2010) Generador automático de casos de prueba unitarios para Junit. [Coursework] (Unpublished)

Loredo Iglesias, Carlos and Ortíz Gil, Sergio and Valles Mercado, Héctor (2010) Herramienta de perfilado para código de bytes de Java. [Coursework] (Unpublished)

Berd, Dalila (2010) Implementación de XPath en Haskell. [Coursework] (Unpublished)

Teaching Resource

Sanchez-Elez Martin, Marcos (2014) Introducción a la programación en VHDL. [Teaching Resource] (Unpublished)

Jiménez Castellanos, Juan Laboratorio de Computación Científica. [Teaching Resource] (Unpublished)

This list was generated on Wed Oct 22 02:46:20 2014 CEST.