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: 98.

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

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. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [Working Paper or Technical Report] (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. [Working Paper or Technical Report] (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. [Working Paper or Technical Report] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso Declarative Debugging of Maude Modules. [Working Paper or Technical Report]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso Declarative Debugging of Missing Answers in Rewriting Logic. [Working Paper or Technical Report] (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. Tesis PhD.

Martínez Ladrón de Guevara, Jorge (2013) BIOSEQ: una librería para bioinformática en R. Tesis Master's thesis.

Aguirre Garcia, Luis Manuel (2013) Conditional narrowing modulo in Rewriting Logic and Maude. Tesis Master's thesis.

Tenorio Fornés, Antonio (2013) MiniZinc+:finite type extensions for constraint programming language MiniZinc. Tesis Master's thesis.

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. Tesis Master's thesis.

Rodríguez Vargas, Eddy (2013) Sistemas de recomendación sensibles al contexto con bases de datos NoSQL. Tesis Master's 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. Tesis PhD.

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

Estévez González, Victor (2012) Calidad y fragilidad visual del paisaje: MCE, fuzzy logic y GIS. Tesis Master's thesis.

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. Tesis Master's thesis.

Manchado Illán, Sara (2012) Especificación y análisis del protocolo Chord en Maude. Tesis Master's thesis.

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

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 PhD.

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

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

Cortés Benavides, Humberto Javier (2011) Extensión UML para el modelado de mapas navegacionales de aplicaciones web basado en MDA. Tesis Master's thesis.

Rodríguez Cerezo, Daniel (2011) Facilitando la adquisición de habilidades básicas en cursos de procesadores de lenguaje: un enfoque apoyado en videojuegos. Tesis Master's thesis.

Dania, Carolina Inés (2011) MySQL4OCL:un compilador de OCL a MySQL. Tesis Master's thesis.

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

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

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

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. Tesis Master's thesis.

García Sánchez , Ana María (2010) Evaluación de métricas de calidad del software sobre un programa Java. Tesis Master's thesis.

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

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 PhD.

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

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. Tesis Master's thesis.

Henche Grande, Laura (2009) Introducción a la notación BPMN y su relación con las estrategias del lenguaje Maude. Tesis Master's thesis.

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

Sánchez Gil , Lidia (2008) Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos. Tesis Master's thesis.

Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. Tesis Master's thesis.

Romero Díaz, Carlos Alberto (2007) Programación lógica cuantitativa y su implementación en TOY. Tesis Master's thesis.

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

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

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

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

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 PhD.

Coursework

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)

Tarascón Quintas, Eduardo and García Fernández, José Ángel (2013) jSyX: una máquina de ejecución simbólica para "Java Bytecode" y su aplicación a la generación de tests. [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

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

This list was generated on Sat Apr 19 02:06:35 2014 CEST.