Concepedia

Roberto Zunino

RZ

22

Publications

547

Citations

14

H-Index

2008

Active since

Affiliations

University of Trento(Current)

University of Cagliari

The Microsoft Research - University of Trento Centre for Computational and Systems Biology

University of Pisa

Roberto Zunino is an author at University of Trento specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationStochastic SimulationSimulationVerificationSystems BiologyProgram AnalysisSoftware Analysis

Publications per year

2008–2024

22

Publications

22

Semantics-Based Design for Secure Web Services

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari et al. · IEEE Transactions on Software Engineering · 2008 · 61 citations

Ws-security, Web Service Specification, Engineering +22

Massimo Bartoletti, Roberto Zunino · 2018 · 57 citations

Engineering, Information Security, Software Analysis +16

A Calculus of Contracting Processes

Massimo Bartoletti, Roberto Zunino · 2010 · 51 citations

Mathematical Programming, Intuitionistic Logic, Engineering +18

Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays

Vo Hong Thanh, Corrado Priami, Roberto Zunino · The Journal of Chemical Physics · 2014 · 50 citations

Engineering, Simulation, Computational Chemistry +21

Local policies for resource usage analysis

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari et al. · ACM Transactions on Programming Languages and Systems · 2009 · 43 citations · Full text

History Expression, Engineering, Verification +21

Rows per page

1–5 of 22