ZUNINO, ROBERTO Statistiche

ZUNINO, ROBERTO  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) File
A Note on the Perfect Encryption Assumption in a Process Calculus 1-gen-2004 Zunino, Roberto; Degano, Pierpaolo
A rule-based and imperative language for biochemical modeling and simulation 1-gen-2012 Priami, Corrado; Zunino, Roberto
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 1-gen-2016 Priami, Corrado; Zunino, Roberto
An imperative language of self-modifying graphs for biological systems 1-gen-2012 Priami, Corrado; Zunino, Roberto
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 1-gen-2017 Priami, Corrado; Zunino, Roberto
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 1-gen-2014 Vo Hong, Thanh; Priami, Corrado; Zunino, Roberto
Efficient stochastic simulation of biochemical reactions with noise and delays 1-gen-2017 Thanh, Vo Hong; Zunino, Roberto; Priami, Corrado
Handling exp, x (and Timestamps) in Protocol Analysis 1-gen-2006 Zunino, Roberto; Degano, Pierpaolo
Hard Life with Weak Binders 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
l: An imperative DSL to stochastically simulate biological systems 1-gen-2015 Priami, Corrado; Zunino, Roberto
Model Checking Usage Policies 1-gen-2008 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
nu-Types for Effects and Freshness Analysis 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 1-gen-2015 Priami, Corrado; Zunino, Roberto
Planning and verifying service composition 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Secure Service Composition 1-gen-2006 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Securing Java with Local Policies 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Costa, G; Martinelli, F; Zunino, Roberto
Securing Java with Local Policies 1-gen-2008 Bartoletti, Massimo; Costa, G; Degano, Pierpaolo; Martinelli, F; Zunino, Roberto
Semantics-Based Design for Secure Web Services 1-gen-2008 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries 1-gen-2005 Zunino, Roberto; Degano, Pierpaolo