Transactions on Computational Systems Biology VII

  • Corrado Priami
  • Anna Ingólfsdóttir
  • Bud Mishra
  • Hanne Riis Nielson

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

Also part of the Lecture Notes in Bioinformatics book sub series (volume 4230)

Table of contents

  1. Front Matter
  2. Elisabeth Remy, Paul Ruet, Luis Mendoza, Denis Thieffry, Claudine Chaouiya
    Pages 56-72
  3. Michael L. Blinov, Jin Yang, James R. Faeder, William S. Hlavacek
    Pages 89-106
  4. Susmit Jha, R. K. Shyamasundar
    Pages 107-122
  5. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
    Pages 123-152
  6. Ofer Margoninski, Peter Saffrey, James Hetherington, Anthony Finkelstein, Anne Warner
    Pages 163-184
  7. Ofer Margoninski, Peter Saffrey, James Hetherington, Linzhong Li, Anthony Finkelstein, Anne Warner
    Pages E1-E1
  8. Back Matter

About these proceedings

Keywords

Algorithms algorithm bioinformatics biology life sciences model checking modeling petri net

Editors and affiliations

  • Corrado Priami
    • 1
  • Anna Ingólfsdóttir
    • 2
  • Bud Mishra
    • 3
  • Hanne Riis Nielson
    • 4
  1. 1.Centre for Computational and Systems BiologyThe Microsoft Research - University of TrentoPovoItaly
  2. 2.Department of Computer ScienceReykjavík UniversityReykjavíkIceland
  3. 3.Courant Institute of Mathematical SciencesNew York, NYUSA
  4. 4.Informatics and Mathematical ModellingTechnical University of Denmark 

Bibliographic information

  • DOI https://doi.org/10.1007/11905455
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-48837-8
  • Online ISBN 978-3-540-48839-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book