The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems-oriented point of view of biological phenomena. This, the third Transactions on Computational Systems Biology volume, edited by Emanuela Merelli, Pedro Pablo Gonzalez and Andrea Omicini, is devoted to considerably extended versions of selected papers presented at the International Workshop on Network Tools and Applications in Biology (NETTAB 2004), held at the University of Camerino, in Camerino, Italy, in September 2004. Dedicated especially to models and metaphors from biology to bioinformatics tools, the 10 papers selected for the special issue cover a wide range of bioinformatics research such as data visualisation, protein/RNA structure prediction, motif finding, modelling and simulation of protein interaction, genetic linkage analysis, and notations and models for systems biology.

The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers selected for this special issue discuss various aspects of computational methods, algorithm and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This second volume of the Transactions on Computational Systems Biology is devoted to considerably extended versions of selected papers presented at the International Workshop on Bioinformatics Research and Applications (IWBRA 2005), part of the International Conference on Computational Science (ICCS 2005), which took place at Emory University, Atlanta, Georgia, USA, in May 2005. The ten papers selected for the special issue cover a wide range of bioinformatics research such as problems in RNA structure prediction, coding schemes and structural alphabets for protein structure prediction, novel techniques for efficient gene transfer in phylogenetic networks, practical algorithms minimizing recombinations in pedigree phasing, parallel implementation in Open MP for finding the corresponding shortest edit distance between two signed gene permutations, and bioinformatics problems in DNA microarrays.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This issue contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. The second contribution deals with ecosystem transitions affecting phenotype expressions and selection mechanisms. The third paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable for the description of microbiological systems, such as cellular pathways, and their evolution. The final contribution describes the use of biological transactions to make atomic sequences of interactions in the BlenX language.

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications.

This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences. It supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. The six papers selected for this special issue cover a broad range of topics.