Term Rewriting Methods for Partial Specifications. - Fernando Orejas; Ana Sánchez; Marisa Navarro; Pilar Nivela; Ricardo Pena (ADT, 1988)

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. - Ricardo Pena; Luis M. Alonso (TAPSOFT, Vol.2, 1989)

Deriving Specifications of Embeddings in Recursive Program Design. - Celestí Rosselló; José L. Balcázar; Ricardo Pena (Struct. Program., 1989)

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. - Luis M. Alonso; Ricardo Pena (PARLE (2), 1991)

A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. - Ricardo Pena; Luis M. Alonso (TAPSOFT, 1993)

Non Homomorphic Reductions of Data Structures. - Luis A. Galán; Manuel Núñez 001; Cristóbal Pareja; Ricardo Pena (GULP-PRODE (2), 1994)

Introducing Fairness in CSP Systems Specified with State Variables. - Ricardo Peña-Marí; Luis A. Galán (PARLE, 1994)

A Tabulation Transformation Tactic Using Haskell Arrays. - Cristóbal Pareja; Ricardo Pena; J. Ángel Velázquez-Iturbide (GULP-PRODE, 1995)

A Second Year Course on Data Structures Based on Functional Programming. - Manuel Núñez 001; Pedro Palao; Ricardo Pena (FPLE, 1995)

Functional Skeletons Generate Process Topologies in Eden. - Luis A. Galán; Cristóbal Pareja; Ricardo Pena (APPIA-GULP-PRODE, 1996)

Eden - The Paradise of Functional Concurrent Programming. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (Euro-Par, Vol. I, 1996)

Proving Progress Properties of non Terminating Programs under Fairness Assumptions. - Ricardo Peña-Marí; Luis A. Galán (Euro-Par, Vol. I, 1996)

A New Look to Pattern Matching in Abstract Data Types. - Pedro Palao-Gostanza; Ricardo Pena; Manuel Núñez 001 (ICFP, 1996)

High-level Parallel and Concurrent Programming in Eden. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (APPIA-GULP-PRODE, 1997)

Verification and Refinement of Distributed Programs in a Fair Framework. - Luis A. Galán; Ricardo Pena (ARTS, 1997)

The Eden Coordination Model for Distributed Memory Systems. - Silvia Breitinger; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Pena (HIPS, 1997)

DREAM: The DistRibuted Eden Abstract Machine. - Silvia Breitinger; Ulrike Klusik; Rita Loogen; Yolanda Ortega-Mallén; Ricardo Pena (Implementation of Functional Languages, 1997)

Implementing Eden - or: Dreams Become Reality. - Ulrike Klusik; Yolanda Ortega-Mallén; Ricardo Pena (IFL, 1998)

From GranSim to Paradise. - Felix Hernandez; Ricardo Pena; Fernando Rubio 001 (Scottish Functional Programming Workshop, 1999)

Bypassing of Channels in Eden. - Ulrike Klusik; Ricardo Pena; Clara Segura (Scottish Functional Programming Workshop, 1999)

Non-determinism Analysis in a Parallel-Functional Language. - Ricardo Pena; Clara Segura (IFL, 2000)

Optimising Eden by transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (Scottish Functional Programming Workshop, 2000)

Optimizing Eden by Program Transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (WFLP, 2000)

Compiler Construction in a Functional Setting. - Ricardo Pena (WFLP, 2000)

Adding Traces to a Lazy Monadic Evaluator. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (EUROCAST, 2001)

Proving the Correctness of the STG Machine. - Alberto de la Encina; Ricardo Pena (IFL, 2001)

Sized Types for Typing Eden Skeletons. - Ricardo Pena; Clara Segura (IFL, 2001)

A Polynomial-Cost Non-determinism Analysis. - Ricardo Pena; Clara Segura (IFL, 2001)

Parallel Functional Programming at Two Levels of Abstraction. - Ricardo Pena; Fernando Rubio 001 (PPDP, 2001)

Deriving Non-Hierarchical Process Topologies. - Ricardo Pena; Fernando Rubio 001; Clara Segura (Scottish Functional Programming Workshop, 2001)

Parallelism Abstractions in Eden. - Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña; Steffen Priebe; Fernando Rubio 001 (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. - Rafael Martínez-Torres; Ricardo Pena (IFL, 2003)

Correctness of Non-determinism Analyses in a Parallel-Functional Language. - Clara Segura; Ricardo Pena (IFL, 2003)

Formally deriving an STG machine. - Alberto de la Encina; Ricardo Pena (PPDP, 2003)

Comparing Parallel Functional Languages: Programming and Performance. - Hans-Wolfgang Loidl; Fernando Rubio 001; Norman Scaife; Kevin Hammond; Susumu Horiguchi; Ulrike Klusik; Rita Loogen; Greg Michaelson; Ricardo Pena; Steffen Priebe; Álvaro J. Rebón Portillo; Philip W. Trinder (High. Order Symb. Comput., 2003)

Reasoning About Skeletons in Eden. - Ricardo Peña-Marí; Clara Segura (PARCO, 2005)

Parallel functional programming in Eden. - Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña-Marí (J. Funct. Program., 2005)

Non-determinism analyses in a parallel-functional language. - Ricardo Peña-Marí; Clara Segura (J. Funct. Program., 2005)

A sharing analysis for SAFE. - Ricardo Peña-Marí; Clara Segura; Manuel Montenegro (Trends in Functional Programming, 2006)

An Inference Algorithm for Guaranteeing Safe Destruction. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (LOPSTR, 2008)

A type system for safe memory management and its proof of correctness. - Manuel Montenegro; Ricardo Pena; Clara Segura (PPDP, 2008)

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (WFLP, 2008)

A Certified Implementation on Top of the Java Virtual Machine. - Javier de Dios; Ricardo Peña-Marí (FMICS, 2009)

A Space Consumption Analysis by Abstract Interpretation. - Manuel Montenegro; Ricardo Peña; Clara Segura (FOPARA, 2009)

Formal Certification of a Resource-Aware Language Implementation. - Javier de Dios; Ricardo Peña-Marí (TPHOLs, 2009)

A Simple Region Inference Algorithm for a First-Order Functional Language. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (WFLP, 2009)

Preface. - Paqui Lucio; Ginés Moreno; Ricardo Peña (PROLE, 2009)

From natural semantics to C: A formal derivation of two STG machines. - Alberto de la Encina; Ricardo Peña-Marí (J. Funct. Program., 2009)

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. - Javier de Dios; Manuel Montenegro; Ricardo Peña (IFM, 2010)

Generalized optimization methodology of second level for system design. - Alexander Zemliak; Ricardo Peña; Eduardo Rios; Fernando Reyes-Cortés (CONIELECOMP, 2011)

Certification of Safe Polynomial Memory Bounds. - Javier de Dios; Ricardo Peña (FM, 2011)

Interpolation-Based Height Analysis for Improving a Recurrence Solver. - Manuel Montenegro; Olha Shkaravska; Marko C. J. D. van Eekelen; Ricardo Peña (FOPARA, 2011)

Size Invariant and Ranking Function Synthesis in a Functional Language. - Ricardo Peña; Agustin D. Delgado-Muñoz (WFLP, 2011)

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. - Manuel Montenegro; Ricardo Peña; Clara Segura (Inf. Comput., 2014)

A Generic Intermediate Representation for Verification Condition Generation. - Manuel Montenegro; Ricardo Peña; Jaime Sánchez-Hernández (LOPSTR, 2015)

Editorial of Special Issue Trends in Functional Programming 2011/12. - Hans-Wolfgang Loidl; Ricardo Peña (Comput. Lang. Syst. Struct., 2015)

Shape analysis in a functional language by using regular languages. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

Space consumption analysis by abstract interpretation: Inference of recursive functions. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

Space consumption analysis by abstract interpretation: Reductivity properties. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

An Introduction to Liquid Haskell. - Ricardo Peña (PROLE, 2016)

Liquid Types for Array Invariant Synthesis. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ATVA, 2017)

White-Box Path Generation in Recursive Programs. - Ricardo Peña; Jaime Sánchez-Hernández (TFP, 2020)

An Assertional Proof of Red-Black Trees Using Dafny. - Ricardo Peña (J. Autom. Reason., 2020)

Extending Liquid Types to Arrays. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ACM Trans. Comput. Log., 2020)

SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. - Ricardo Peña; Jaime Sánchez-Hernández; Miguel Garrido; Javier Sagredo (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)