Edit Profile Segura, Clara Compute Distance To: Compute Author ID: segura.clara Published as: Segura, Clara External Links: ORCID Documents Indexed: 14 Publications since 2001 all top 5 Co-Authors 0 single-authored 11 Peña, Ricardo 5 Montenegro, Manuel 2 Rosa-Velardo, Fernando 1 de Frutos-Escrig, David 1 Nieva, Susana 1 Pareja, Cristóbal 1 Rubio, Fernando 1 Torrano, Carmen 1 Verdejo, Alberto Serials 1 Information and Computation 1 Journal of Functional Programming 1 ACM Transactions on Computational Logic Fields 14 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 17 times in 12 Documents Cited by ▼ Year ▼ An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200Montenegro, Manuel; Peña, Ricardo; Segura, Clara 4 2009 Typed mobile ambients in Maude. Zbl 1276.68101Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto 4 2006 Non-determinism analyses in a parallel-functional language. Zbl 1063.68025Peña, Ricardo; Segura, Clara 3 2005 A space consumption analysis by abstract interpretation. Zbl 1305.68062Montenegro, Manuel; Peña, Ricardo; Segura, Clara 2 2010 A resource-aware semantics and abstract machine for a functional language with explicit deallocation. Zbl 1347.68054Montenegro, Manuel; Peña, Ricardo; Segura, Clara 2 2009 A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. Zbl 1358.68059Montenegro, Manuel; Peña, Ricardo; Segura, Clara 1 2014 Sized types for typing Eden skeletons. Zbl 1053.68553Peña, Ricardo; Segura, Clara 1 2002 A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. Zbl 1358.68059Montenegro, Manuel; Peña, Ricardo; Segura, Clara 1 2014 A space consumption analysis by abstract interpretation. Zbl 1305.68062Montenegro, Manuel; Peña, Ricardo; Segura, Clara 2 2010 An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200Montenegro, Manuel; Peña, Ricardo; Segura, Clara 4 2009 A resource-aware semantics and abstract machine for a functional language with explicit deallocation. Zbl 1347.68054Montenegro, Manuel; Peña, Ricardo; Segura, Clara 2 2009 Typed mobile ambients in Maude. Zbl 1276.68101Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto 4 2006 Non-determinism analyses in a parallel-functional language. Zbl 1063.68025Peña, Ricardo; Segura, Clara 3 2005 Sized types for typing Eden skeletons. Zbl 1053.68553Peña, Ricardo; Segura, Clara 1 2002 all cited Publications top 5 cited Publications all top 5 Cited by 22 Authors 4 Peña, Ricardo 4 Segura, Clara 3 Montenegro, Manuel 3 Verdejo, Alberto 1 Achten, Peter 1 Braga, Christiano 1 Caballero, Rafael E. 1 Cleva, José Miguel 1 de Dios, Javier 1 Delzanno, Giorgio 1 Eker, Steven 1 García-Ruiz, Yolanda 1 Hidalgo-Herrero, Mercedes 1 Koopman, Pieter 1 López-Fraguas, Francisco Javier 1 Martí-Oliet, Narciso 1 Meseguer Guaita, José 1 Montagna, Roberto 1 Morazán, Marco T. 1 Ortega-Mallén, Yolanda 1 Torrano, Carmen 1 van Eekelen, Marko Cited in 2 Serials 1 Information and Computation 1 Higher-Order and Symbolic Computation Cited in 3 Fields 12 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year