| 2008 |
|---|
| 17 | EE | Clara Segura,
Isabel Pita,
Rafael del Vado Vírseda,
Ana Isabel Saiz,
Pablo Soler:
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS (1) 2008: 800-809 |
| 16 | EE | Manuel Montenegro,
Ricardo Peña-Marí,
Clara Segura:
An Inference Algorithm for Guaranteeing Safe Destruction.
LOPSTR 2008: 135-151 |
| 15 | EE | Manuel Montenegro,
Ricardo Pena,
Clara Segura:
A type system for safe memory management and its proof of correctness.
PPDP 2008: 152-162 |
| 2007 |
|---|
| 14 | EE | Clara Segura,
Carmen Torrano:
Using Template Haskell for Abstract Interpretation.
Electr. Notes Theor. Comput. Sci. 177: 201-217 (2007) |
| 2006 |
|---|
| 13 | | Ricardo Peña-Marí,
Clara Segura,
Manuel Montenegro:
A sharing analysis for SAFE.
Trends in Functional Programming 2006: 109-128 |
| 12 | EE | Fernando Rosa Velardo,
Clara Segura,
Alberto Verdejo:
Typed Mobile Ambients in Maude.
Electr. Notes Theor. Comput. Sci. 147(1): 135-161 (2006) |
| 2005 |
|---|
| 11 | EE | Fernando Rosa Velardo,
Clara Segura,
David de Frutos-Escrig:
Tagged Systems: A Framework for the Specification of History-dependent Properties.
Electr. Notes Theor. Comput. Sci. 137(1): 151-174 (2005) |
| 10 | EE | Ricardo Peña-Marí,
Clara Segura:
Non-determinism analyses in a parallel-functional language.
J. Funct. Program. 15(1): 67-100 (2005) |
| 2003 |
|---|
| 9 | EE | Clara Segura,
Ricardo Pena:
Correctness of Non-determinism Analyses in a Parallel-Functional Language.
IFL 2003: 69-85 |
| 2001 |
|---|
| 8 | EE | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Adding Traces to a Lazy Monadic Evaluator.
EUROCAST 2001: 627-641 |
| 7 | EE | Ricardo Pena,
Clara Segura:
Sized Types for Typing Eden Skeletons.
IFL 2001: 1-17 |
| 6 | EE | Ricardo Pena,
Clara Segura:
A Polynomial-Cost Non-determinism Analysis.
IFL 2001: 121-137 |
| 5 | | Ricardo Pena,
Fernando Rubio,
Clara Segura:
Deriving Non-Hierarchical Process Topologies.
Scottish Functional Programming Workshop 2001: 51-62 |
| 2000 |
|---|
| 4 | EE | Ricardo Pena,
Clara Segura:
Non-determinism Analysis in a Parallel-Functional Language.
IFL 2000: 1-18 |
| 3 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimising Eden by transformation.
Scottish Functional Programming Workshop 2000: 13-26 |
| 2 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimizing Eden by Program Transformation.
WFLP 2000: 89-103 |
| 1999 |
|---|
| 1 | | Ulrike Klusik,
Ricardo Pena,
Clara Segura:
Bypassing of Channels in Eden.
Scottish Functional Programming Workshop 1999: 2-10 |
