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
Jump to: | A | B | C | D | E | F | G | H | J | L | M | N | O | P | R | S | T | V | Á
Number of items at this level: 98.

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)

A

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

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

B

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)

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

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)

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

C

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)

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.

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)

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

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)

D

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

E

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

F

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)

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.

G

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)

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)

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

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.

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

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

H

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

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

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.

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

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

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

J

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

L

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

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)

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

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

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

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

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

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

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

M

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.

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. 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.

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.

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

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

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

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

N

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

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

O

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

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

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

P

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)

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

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.

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)

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.

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)

R

Rodríguez Vargas, Eddy (2013) Sistemas de recomendación sensibles al contexto con bases de datos NoSQL. Tesis Master's thesis.

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.

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.

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

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

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)

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

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

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

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)

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)

S

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)

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

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

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.

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

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

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

T

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

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

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)

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.

V

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

Verdejo López, José Alberto (2004) Maude como marco semántico ejecutable. 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.

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

Á

Á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

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