Ricardo Peña Marí

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (7)
• Libros (5)
• Tesis dirigidas (5)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    La corrupción, cáncer de la democracia

    Ricardo Peña Marí

    Temas para el debate, ISSN 1134-6574, Nº. 264 (noviembre), 2016 (Ejemplar dedicado a: Luchar contra la corrupción), págs. 24-25

    • Resumen
    
  • Seleccionado

    Debate sobre un proyecto para España

    José Félix Tezanos Tortajada, Jordi Casas Bedos, Eduardo Serra Rexach, Francisco Sosa Wagner, Adolfo Castilla Garrido , Antonio Roche Navarro, Juan Carlos Rodríguez Ibarra, Juan José Laborda Martín, Antonio Serrano Rodríguez, Ricardo Peña Marí, Fernando Ledesma Bartret, Javier Nadal Ariño, Alfonso Guerra

    Temas para el debate, ISSN 1134-6574, Nº. 256 (marzo), 2016 (Ejemplar dedicado a: Los refugiados), págs. 38-52

    • Resumen
    
  • Seleccionado

    La programación funcional en Haskell

    Ricardo Peña Marí

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 115, 1995, pág. 42

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Las múltiples caras del algoritmo

    Ricardo Peña Marí

    Lecciones inaugurales / coord. por Pedro Saura Ramos, José Carlos de la Macorra García, Ricardo Peña Marí, Ramón Rodríguez García, Francisca Rubio Gámez, 2022, págs. 81-106

    
  • Seleccionado

    Size Invariant and Ranking Function Synthesisin a Functional Language

    Ricardo Peña Marí, Agustín D. Delgado

    Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings / coord. por Herbert Kuchen , 2011, ISBN 978-3-642-22531-4, págs. 52-67

    
  • Seleccionado

    Experiences in developing a complier for Safe using Haskell

    Manuel Francisco Montenegro Hermida , Ricardo Peña Marí, Clara Segura

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 31-38

    
  • Seleccionado

    Certified absence of dangling pointers in a language withe explicit deallocation

    Javier de Dios Castro, Ricardo Peña Marí, Manuel Francisco Montenegro Hermida

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 65-74

    
  • Seleccionado

    Building an Interface Between Eden and Maple: Towards an easy Parallelization of Computer Algebra Algorithms

    Ricardo Peña Marí, Rafael Martínez

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 183

    
  • Seleccionado

    A Proof of Correctness for the STG Machine

    Alberto de la Encina Vara, Ricardo Peña Marí

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 33-48

    
  • Seleccionado

    A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

    Ricardo Peña Marí, Clara Segura

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 263-278

    

• Libros

  • Seleccionado

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

    Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.)

    Mondragon Unibertsitatea, 2009. ISBN 978-84-692-4600-9

    
  • Seleccionado

    De Euclides a Java. Historia de los algoritmos y de los lenguajes de programación

    Ricardo Peña Marí

    Nivola Libros y Ediciones, S.L.. ISBN 84-96566-14-5

    
  • Seleccionado

    Diseño de programas: formalismo y abstracción

    Ricardo Peña Marí

    Madrid [etc. : Prentice Hall, D.L. 1997. ISBN 84-8322-003-2

    
  • Seleccionado

    Diseño de programas: formalismo y abstracción

    Ricardo Peña Marí

    México : Prentice Hall, D.L. 1993. ISBN 0-13-098450-7

    
  • Seleccionado

    Algorítmica: concepción y análisis

    Gilles Brassard, Ricardo Peña Marí, Celestí Rosselló Balanyá, Paul Bratley

    Masson, 1990. ISBN 84-321-0531-7

    

• Tesis dirigidas

  • Seleccionado

    Certificación formal de programas en un lenguaje funcional impaciente

    Javier de Dios Castro

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.). Universidad Complutense de Madrid (2012).

    • Resumen
    
  • Seleccionado

    Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura

    Manuel Montenegro Montes

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.), Clara M. Segura Díaz (dir. tes.) . Universidad Complutense de Madrid (2011).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Programación funcional paralela eficiente en eden

    Fernando Rubio Díez

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.). Universidad Complutense de Madrid (2001).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Análisis de programas en lenguajes funcionales paralelos

    Clara M. Segura Díaz

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.). Universidad Complutense de Madrid (2001).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Técnicas formales para el desarrollo jerárquico de sistemas concurrentes

    Luis M. Alonso González

    Tesis doctoral dirigida por Ricardo Peña Marí (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1993).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      Lecciones inaugurales

      coord. por Pedro Saura Ramos, José Carlos de la Macorra García, Ricardo Peña Marí, Ramón Rodríguez García, Francisca Rubio Gámez

      Universidad Complutense de Madrid, Departamento de Branding, Publicidad y Comunicación Estratégica, 2022

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.