Puri Arenas

Identifiers

• name variant Puri Arenas 0.60 · backfill

Papers (3)

1. Certificate size reduction in Abstraction-Carrying Code cs.PL · 2010 · author #2
2. 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) cs.PL · 2009 · author #1
3. Some Issues on Incremental Abstraction-Carrying Code cs.PL · 2007 · author #2

Mentions

• 1010.4533 #2 · backfill · confidence 0.70 Puri Arenas
• 0903.1598 #1 · backfill · confidence 0.70 Puri Arenas

Frequent Coauthors

• Elvira Albert 2 shared papers
• Damiano Zanardini 1 shared papers
• Germ\'an Puebla 1 shared papers
• German Puebla 1 shared papers
• Manuel Hermenegildo 1 shared papers