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