Transactions on Computational Systems Biology VII

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

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


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

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment