Departmental Technical Report

Kuwahara, Hiroyuki and Mura, Ivan (2008) An Efficient and Exact Stochastic Simulation Method to Analyze Rare Events in Biochemical Systems. UNSPECIFIED.

Mura, Ivan (2008) Exactness and Approximation of the Stochastic Simulation Algorithm. UNSPECIFIED. (Unpublished)

Forlin, Michele and Mura, Ivan (2008) Independent Component Analysis for the Aggregation of Stochastic Simulation Output. UNSPECIFIED. (Unpublished)

Ballarini, Paolo and Mura, Ivan and Mardare, Radu (2008) Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking. UNSPECIFIED.

Cavaliere, Matteo and Mura, Ivan (2007) Experiments on the Reliability of Stochastic Spiking Neural P Systems. UNSPECIFIED.

Mura, Ivan (2007) Simplifying the Stochastic Petri Nets Formalism for Representing Biological Phenomena. UNSPECIFIED. (Unpublished)

Mura, Ivan and Csikasz-Nagy, Attila (2007) Stochastic Modeling of Budding Yeast Cell Cycle. UNSPECIFIED.

Cavaliere, Matteo and Csikasz-Nagy, Attila and Cappello, Igor and Walker, David and Montanari, Ugo and Hillston, Jane and Baralla, Angela and Priami, Corrado and Mura, Ivan (2006) Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006. UNSPECIFIED. (Unpublished)