The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Clara Segura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
    Adding Traces to a Lazy Monadic Evaluator. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:627-641 [Conf]
  2. Ricardo Pena, Clara Segura
    Non-determinism Analysis in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:1-18 [Conf]
  3. Ricardo Pena, Clara Segura
    Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:1-17 [Conf]
  4. Ricardo Pena, Clara Segura
    A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:121-137 [Conf]
  5. Clara Segura, Ricardo Pena
    Correctness of Non-determinism Analyses in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2003, pp:69-85 [Conf]
  6. R. Peña, C. M. Segura
    Reasoning About Skeletons in Eden. [Citation Graph (0, 0)][DBLP]
    PARCO, 2005, pp:851-858 [Conf]
  7. Ulrike Klusik, Ricardo Pena, Clara Segura
    Bypassing of Channels in Eden. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:2-10 [Conf]
  8. Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
    Optimising Eden by transformation. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2000, pp:13-26 [Conf]
  9. Ricardo Pena, Fernando Rubio, Clara Segura
    Deriving Non-Hierarchical Process Topologies. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2001, pp:51-62 [Conf]
  10. Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
    Optimizing Eden by Program Transformation. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:89-103 [Conf]
  11. Fernando Rosa Velardo, Clara Segura, David de Frutos-Escrig
    Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal]
  12. Fernando Rosa Velardo, Clara Segura, Alberto Verdejo
    Typed Mobile Ambients in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:135-161 [Journal]
  13. Clara Segura, Carmen Torrano
    Using Template Haskell for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:201-217 [Journal]
  14. Ricardo Peña-Marí, Clara Segura
    Non-determinism analyses in a parallel-functional language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:1, pp:67-100 [Journal]
  15. Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
    A sharing analysis for SAFE. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:109-128 [Conf]

  16. Interactive Learning of Data Structures and Algorithmic Schemes. [Citation Graph (, )][DBLP]


  17. An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]


  18. A type system for safe memory management and its proof of correctness. [Citation Graph (, )][DBLP]


  19. A Simple Region Inference Algorithm for a First-Order Functional Language. [Citation Graph (, )][DBLP]


  20. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]


Search in 0.111secs, Finished in 0.113secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002