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

Ballarini, Paolo and Csikasz-Nagy, Attila and Mazza, Tommaso and Palmisano, Alida (2008) An analysis of irreversible transitions in a model of the buddying yeast cell cycle. UNSPECIFIED.

Baralla, Angela and Cavaliere, Matteo and de la Fuente, Alberto (2008) Modeling and parameter estimation of the SOS response network in E.coli. UNSPECIFIED. (Unpublished)

Cavaliere, Matteo and Csikasz-Nagy, Attila and Jordan, Ferenc (2008) Graph Transformations and Game Theory: A Generative Mechanism for Network Formation. UNSPECIFIED. (Unpublished)

Dematte', Lorenzo and Mazza, Tommaso (2008) Study on an Optimistic Reaction-Diusion Simulator based on Gillespie SSA. UNSPECIFIED.

Dematte', Lorenzo and Priami, Corrado and Romanel, Alessandro (2008) The BlenX Language: A Tutorial. UNSPECIFIED.

Dudka, Anna and Guerriero, Maria Luisa and Heath, John and Priami, Corrado and Underhill-Day, Nicholas (2008) Narrative-based Computational Modelling of the Gp130/JAK/STAT Signalling Pathway. UNSPECIFIED.

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

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

Larcher, Roberto and Priami, Corrado (2008) From BlenX to chemical reactions via SBML. UNSPECIFIED. (Unpublished)

Lecca, Paola and Palmisano, Alida and Priami, Corrado (2008) Inferring rate coefficents of biochemical reactions from noisy data with KInfer. UNSPECIFIED. (Unpublished)

Lecca, Paola and Palmisano, Alida and Priami, Corrado and Sanguinetti, Guido (2008) Calibration of biochemical network models. UNSPECIFIED. (Unpublished)

Lecca, Paola and Teso, Stefano (2008) Notes on stochastic simulation of chemical kinetics with cycle-leaping. UNSPECIFIED. (Unpublished)

Mardare, Radu and Policriti, Alberto (2008) Decision problems for Spatial Logics revisited. UNSPECIFIED. (Unpublished)

Mardare, Radu and Policriti, Alberto (2008) Towards a Complete Axiomatization for Spatial Logic. UNSPECIFIED.

Mazza, Tommaso and Cavaliere, Matteo (2008) Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. UNSPECIFIED.

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

Palmisano, Alida and Priami, Corrado (2008) From Solvable to Executable Models of Biological Systems. UNSPECIFIED.

Passini, Valerio and Lhoussaine, Cedric and Nebut, Mirabelle and Kuttler, Celine (2008) Rule based modeling of gene regulation and biosynthesis of tryptophan in E. coli. UNSPECIFIED. (Unpublished)

Polo, Filippo and Priami, Corrado (2008) Automated generation of narrative language programs from NCI-Nature's Pathway Interaction Database. UNSPECIFIED. (Unpublished)

Prandi, Davide and Priami, Corrado and Romanel, Alessandro (2008) Simulation of non-Markovian Processes in BlenX. UNSPECIFIED. (Unpublished)

Priami, Corrado (2008) Algorithmic Systems Biology: An Opportunity for Computer Science. UNSPECIFIED.

Romanel, Alessandro and Priami, Corrado (2008) On the Computational Power of BlenX. UNSPECIFIED. (Unpublished)

Sedwards, Sean and Mazza, Tommaso (2008) Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes. UNSPECIFIED.