Transactions on Computational Systems Biology VI

  • Corrado Priami
  • Gordon Plotkin
Conference proceedings

DOI: 10.1007/11880646

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

Table of contents

  1. Front Matter
  2. Pierre-Yves Bourguignon, Vincent Danos, François Képes, Serge Smidtas, Vincent Schächter
    Pages 1-15
  3. Nadia Busi, Roberto Gorrieri
    Pages 16-43
  4. Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard Orton
    Pages 44-67
  5. Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
    Pages 68-94
  6. Claudine Chaouiya, Elisabeth Remy, Denis Thieffry
    Pages 95-112
  7. Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov, Nathan A. Barker, Adam P. Arkin
    Pages 150-175
  8. Mario Jesús Pérez-Jiménez, Francisco José Romero-Campero
    Pages 176-197
  9. Ari Rantanen, Hannu Maaheimo, Esa Pitkänen, Juho Rousu, Esko Ukkonen
    Pages 198-220
  10. Carolyn Talcott, David L. Dill
    Pages 221-245
  11. Back Matter

About these proceedings

Keywords

algorithms bioinformatics biological networks brane calculi complexity computational biology computational systems biology computer computer science gene networks genetic networks genetic regulatory networks model checking petr verification

Editors and affiliations

  • Corrado Priami
    • 1
  • Gordon Plotkin
    • 2
  1. 1.Centre for Computational and Systems BiologyThe Microsoft Research - University of TrentoPovoItaly
  2. 2.LFCSUniversity of Edinburgh 

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-45779-4
  • Online ISBN 978-3-540-46236-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349