Skip to main content
SpringerLink
Log in

Transactions on Computational Systems Biology XIV

Special Issue on Computational Models for Cell Processes

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Corrado Priami

    1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Povo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ion Petre

    1. Department of Information Technologies, Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Erik Vink

    1. Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains 9 detailed full-length papers focusing on computational models for cell processes
  • Presents up-to-date results
  • Emphasis is placed on biological processes requiring special tools and techniques not investigated so far in the context of formal methods

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7625)

Part of the book sub series: Transactions on Computational Systems Biology (TCSB)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. Biological and Biologically-Inspired Communication

    1. Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein

      • Oana Andrei, Muffy Calder
      Pages 1-25

    2. Quasi Product Form Approximation for Markov Models of Reaction Networks

      • Alessio Angius, András Horváth, Verena Wolf
      Pages 26-52

    3. Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

      • Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
      Pages 53-76

    4. On Approximative Reachability Analysis of Biochemical Dynamical Systems

      • L. Brim, J. Fabriková, S. Dražan, D. Å afránek
      Pages 77-101

    5. Minimal Reaction Systems

      • Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
      Pages 102-122

    6. Complex Functional Rates in Rule-Based Languages for Biochemistry

      • Cristian Versari, Gianluigi Zavattaro
      Pages 123-150

    7. Probabilistic Model Checking of the PDGF Signaling Pathway

      • Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
      Pages 151-180

    8. Self-assembly Models of Variable Resolution

      • Andrzej Mizera, Eugen Czeizler, Ion Petre
      Pages 181-203

    9. Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple Preaerobic’ Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis?

      • Rodrick Wallace
      Pages 204-232

  3. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.

Editors and Affiliations

  • Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Povo, Italy

    Corrado Priami

  • Department of Information Technologies, Akademi University, Turku, Finland

    Ion Petre

  • Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    Erik Vink

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation