Roberto Zunino

Identifiers

• name variant Roberto Zunino 0.60 · backfill

Papers (5)

1. A formal framework for the economic security of DeFi compositions cs.CR · 2026 · author #3
2. Efficient Finite Difference Method for Computing Sensitivities of Biochemical Reactions q-bio.MN · 2017 · author #2
3. Contract agreements via logic cs.LO · 2013 · author #4
4. Honesty by Typing cs.PL · 2012 · author #4
5. On the realizability of contracts in dishonest systems cs.PL · 2012 · author #3

Mentions

• 2606.05418 #3 · arxiv_oai · confidence 0.70 Roberto Zunino
• 1306.0026 #4 · backfill · confidence 0.70 Roberto Zunino
• 1211.2609 #4 · backfill · confidence 0.70 Roberto Zunino
• 1201.6188 #3 · backfill · confidence 0.70 Roberto Zunino

Frequent Coauthors

• Massimo Bartoletti 4 shared papers
• Emilio Tuosto 2 shared papers
• Alceste Scalas 1 shared papers
• Corrado Priami 1 shared papers
• Paolo Di Giamberardino 1 shared papers
• Riccado Marchesin 1 shared papers
• Tiziana Cimoli 1 shared papers
• Vo Hong Thanh 1 shared papers