Statistics
Publications
30
Citations
1.6K
H-Index
19
Active since
1997
Pedro R. D’Argenio is an author at Universidad Nacional de Córdoba specializing in computer science, computing, and formal methods.
Publications per year
1997–2024
30
30
Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio · Theoretical Computer Science · 2001 · 276 citations
Secure information flow by self-composition
Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations
Secure information flow by self-composition
Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 169 citations
1–5 of 30