InhaltsangabeTrend-Based Analysis of a Population Model of the AKAP Scaffold Protein.- Quasi Product Form Approximation for Markov Models of Reaction Networks.- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.- On Approximative Reachability Analysis of Biochemical Dynamical Systems.- Minimal Reaction Systems.- Complex Functional Rates in Rule-Based Languages for Biochemistry.- Probabilistic Model Checking of the PDGF Signaling Pathway.- Self-assembly Models of Variable Resolution.- Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple 'Preaerobic' Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis?.