Concepedia

Clara Segura

CS

4

Publications

58

Citations

4

H-Index

1999

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Clara Segura is an author at Universidad Complutense de Madrid specializing in formal verification, program analysis, and formal methods.

ORCID

Top concepts

Publications per year

1999–2009

4

Publications

4

A type system for safe memory management and its proof of correctness

Manuel Montenegro, Ricardo Peña, Clara Segura · 2008 · 20 citations

, , +25

Typed Mobile Ambients in Maude

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2006 · 17 citations · Full text

, , +17

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

Manuel Montenegro, Ricardo Peña, Clara Segura · Electronic Notes in Theoretical Computer Science · 2009 · 11 citations · Full text

, , +27

Bypassing of Channels in Eden

Ulrike Klusik, Ricardo Peña, Clara Segura · 1999 · 10 citations

Rows per page

1–4 of 4