Property-Driven Statistics of Biological Networks.- On the Computational Power of Brane Calculi.- Analysis of Signalling Pathways Using Continuous Time Markov Chains.- Machine Learning Biochemical Networks from Temporal Logic Properties.- Qualitative Petri Net Modelling of Genetic Networks.- Simulating Bacterial Transcription and Translation in a Stochastic ? Calculus.- Automated Abstraction Methodology for Genetic Regulatory Networks.- P Systems, a New Computational Modelling Tool for Systems Biology.- Equivalence of Metabolite Fragments and Flow Analysis of Isotopomer Distributions for Flux Estimation.- Multiple Representations of Biological Processes.
