`Travelled to:`

1 × Austria

1 × France

1 × Greece

1 × Portugal

1 × Spain

1 × United Kingdom

2 × Italy

`Collaborated with:`

M.Bartoletti P.Degano C.Priami V.H.Thanh P.Quaglia D.Nikolic M.Murgia A.Scalas G.L.Ferrari N.Atzei S.Lande N.Yoshida

`Talks about:`

contract (3) calculus (2) process (2) languag (2) analysi (2) system (2) simul (2) model (2) imper (2) base (2)

## Person: Roberto Zunino

### DBLP: Zunino:Roberto

### Contributed to:

### Wrote 10 papers:

- WRLA-2014-BartolettiMSZ #maude #modelling #verification
- Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
- SAC-2012-PriamiQZ #biology #graph #imperative #self
- An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
- SAC-2012-ThanhZ #algorithm #probability #simulation
- Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
- SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation
- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
- LICS-2010-BartolettiZ #calculus #process
- A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
- SEFM-2010-BartolettiZ
- Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.
- FoSSaCS-2007-BartolettiDFZ #analysis #resource management
- Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.
- FoSSaCS-2006-ZuninoD #analysis #protocol
- Handling exp, × (and Timestamps) in Protocol Analysis (RZ, PD), pp. 413–427.
- FoSSaCS-2004-ZuninoD #calculus #encryption #process
- A Note on the Perfect Encryption Assumption in a Process Calculus (RZ, PD), pp. 514–528.
- ESEC-FSE-2019-AtzeiBLYZ #contract
- Developing secure bitcoin contracts with BitML (NA, MB, SL, NY, RZ), pp. 1124–1128.