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 Stochasti 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 Isotope Distributions for Flux Estimation
Multiple Representations of Biolo~:ical Processes
Author Index