Volume 419, February 2012
Preface
Contributions
- Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena:
Probabilistic model checking of biological systems with uncertain kinetic rates.
2-16

- Avraham Ben-Aroya, Amnon Ta-Shma:
Better short-seed quantum-proof extractors.
17-25

- Giulio Caravagna, Jane Hillston:
Bio-PEPAd: A non-Markovian extension of Bio-PEPA.
26-49

- Steffen Finck, Hans-Georg Beyer:
Performance analysis of the simultaneous perturbation stochastic approximation algorithm on the noisy sphere model.
50-72

- Lvzhou Li, Daowen Qiu, Xiangfu Zou, Lvjun Li, Lihua Wu, Paulo Mateus:
Characterizations of one-way general quantum finite automata.
73-91

Last update Mon May 20 18:32:37 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page