Sciweavers

CORR
2009
Springer
68views Education» more  CORR 2009»
15 years 1 months ago
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, ...
88
Voted
CORR
2009
Springer
92views Education» more  CORR 2009»
15 years 1 months ago
Fair Exchange in Strand Spaces
Joshua D. Guttman
87
Voted
CORR
2009
Springer
84views Education» more  CORR 2009»
15 years 1 months ago
A User Model for Information Erasure
Filippo Del Tedesco, David Sands
69
Voted
CORR
2009
Springer
71views Education» more  CORR 2009»
15 years 1 months ago
Heuristic Methods for Security Protocols
Qurat ul Ain Nizamani, Emilio Tuosto
84
Voted
CORR
2009
Springer
86views Education» more  CORR 2009»
15 years 1 months ago
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions
Han Chen, Pasquale Malacaria
CORR
2009
Springer
78views Education» more  CORR 2009»
15 years 1 months ago
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
81
Voted
CORR
2009
Springer
101views Education» more  CORR 2009»
15 years 1 months ago
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...
66
Voted
CORR
2009
Springer
60views Education» more  CORR 2009»
15 years 1 months ago
On Languages Accepted by P/T Systems Composed of joins
Pierluigi Frisco, Oscar H. Ibarra