| A type system for safe memory management and its proof of correctness M Montenegro, R Pena, C Segura Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 35 | 2008 |
| A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 30 | 2007 |
| A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 30 | 2007 |
| A simple region inference algorithm for a first-order functional language M Montenegro, R Pena, C Segura International Workshop on Functional and Constraint Logic Programming, 145-161, 2009 | 28 | 2009 |
| Typed mobile ambients in Maude F Rosa-Velardo, C Segura, A Verdejo Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006 | 27 | 2006 |
| An inference algorithm for guaranteeing safe destruction M Montenegro, R Pena, C Segura Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 23 | 2009 |
| A space consumption analysis by abstract interpretation M Montenegro, R Pena, C Segura International Workshop on Foundational and Practical Aspects of Resource …, 2009 | 21 | 2009 |
| Deriving Non-Hierarchical Process Topologies. R Peña, F Rubio, C Segura Scottish Functional Programming Workshop, 51-62, 2001 | 20 | 2001 |
| A first-order functional language for reasoning about heap consumption R Pena, C Segura Proceedings of the 16th International Workshop on Implementation of …, 2004 | 16 | 2004 |
| A resource-aware semantics and abstract machine for a functional language with explicit deallocation M Montenegro, R Pena, C Segura Electronic Notes in Theoretical Computer Science 246, 167-182, 2009 | 15 | 2009 |
| Interactive Learning of Data Structures and Algorithmic Schemes C Segura, I Pita, R del Vado Vírseda, AI Saiz, P Soler Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008 | 15 | 2008 |
| Optimising Eden by transformation. C Pareja, R Peña, F Rubio, C Segura Scottish Functional Programming Workshop, 13-26, 2000 | 15 | 2000 |
| Bypassing of Channels in Eden. U Klusik, R Pena, C Segura Scottish Functional Programming Workshop, 2-10, 1999 | 13 | 1999 |
| Non-determinism analysis in a parallel-functional language R Peña, C Segura Symposium on Implementation and Application of Functional Languages, 1-18, 2000 | 12 | 2000 |
| Estructuras de datos y algoritmos: con énfasis en programación orientada a objetos AJ Sisa, JV Muñoz Pearson Educación de Colombia, 2002 | 11 | 2002 |
| Programación en Pascal S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido Prentice Hall, 1999 | 10 | 1999 |
| Especificación, derivación y análisis de algoritmos: ejercicios resueltos N Martí Oliet, CM Segura Díaz, JA Verdejo López Especificación, derivación y análisis de algoritmos: ejercicios resueltos, 2006 | 9 | 2006 |
| Non-determinism analyses in a parallel-functional language R Peña, C Segura Journal of Functional Programming 15 (1), 67-100, 2005 | 7 | 2005 |
| Sized types for typing Eden skeletons R Pena, C Segura Symposium on Implementation and Application of Functional Languages, 1-17, 2001 | 7 | 2001 |
| Verification of mutable data structures in Dafny: methodological aspects J Blázquez, M Montenegro Montes, CM Segura Díaz | 6 | 2021 |
SUSANA NIEVA SOTOFacultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
