Sciweavers

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