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)

Adding Traces to a Lazy Monadic Evaluator. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (EUROCAST, 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)

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

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

Tagged Systems: A Framework for the Specification of History-dependent Properties. - Fernando Rosa-Velardo; Clara Segura; David de Frutos-Escrig (PROLE, 2004)

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

Typed Mobile Ambients in Maude. - Fernando Rosa-Velardo; Clara Segura; Alberto Verdejo (RULE@RDP, 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)

Using Template Haskell for Abstract Interpretation. - Clara Segura; Carmen Torrano (WFLP, 2006)

Interactive Learning of Data Structures and Algorithmic Schemes. - Clara Segura; Isabel Pita; Rafael del Vado Vírseda; Ana Isabel Saiz; Pablo Soler (ICCS (1), 2008)

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 Space Consumption Analysis by Abstract Interpretation. - Manuel Montenegro; Ricardo Peña; Clara Segura (FOPARA, 2009)

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

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)

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)

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

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

Verification of mutable linear data structures and iterator-based algorithms in Dafny. - Jorge Blázquez; Manuel Montenegro; Clara Segura (J. Log. Algebraic Methods Program., 2023)