Clara Segura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees. | Jorge Blzquez, Manuel Montenegro, Clara Segura |
| 2017 | ATVA | Liquid Types for Array Invariant Synthesis. | Manuel Montenegro, Susana Nieva, Ricardo Pea, Clara Segura |
| 2013 | PPDP | Shape analysis in a functional language by using regular languages. | Manuel Montenegro, Ricardo Pea, Clara Segura |
| 2008 | ICCS | Interactive Learning of Data Structures and Algorithmic Schemes. | Clara Segura, Isabel Pita, Rafael del Vado Vrseda, Ana Isabel Saiz, Pablo Soler |
| 2008 | LOPSTR | An Inference Algorithm for Guaranteeing Safe Destruction. | Manuel Montenegro, Ricardo Pea-Mar, Clara Segura |
| 2008 | PPDP | A type system for safe memory management and its proof of correctness. | Manuel Montenegro, Ricardo Pena, Clara Segura |