Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Transactions on Computational Systems Biology XIV

Special Issue on Computational Models for Cell Processes

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)

Sections

Buy it now

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

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

Table of contents (9 papers)

  1. Front Matter

    PDF

  2. Biological and Biologically-Inspired Communication

    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

  3. Back Matter

    PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation