Dagstuhl Seminar Proceedings 09091

Formal Methods in Molecular Biology

R. Breitling, D. R. Gilbert, M. Heiner, C. Priami (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 09091, 22.02. - 27.02.2009
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Ballarini, Paolo
  • Breitling, Rainer
  • Ciocchetta, Federica
  • Csikász-Nagy, Attila
  • Degasperi, Andrea
  • Faure, Adrien
  • Gilbert, David Roger
  • Heath, John
  • Heiner, Monika
  • Hillston, Jane
  • Jordan, Ferenc
  • Kuttler, Céline
  • Larcher, Roberto
  • Lecca, Paola
  • Lhoussaine, Cédric
  • Mazza, Tommaso
  • Mura, Ivan
  • Nebut, Mirabelle
  • Palmisano, Alida
  • Priami, Corrado
  • Romanel, Alessandro
  • Sedwards, Sean
  • Siebert, Heike
  • Soliman, Sylvain
  • Thieffry, Denis
  • Versari, Cristian
  • Zámborszky, Judit
    		•

    		  
    09091 Abstracts Collection -- Formal Methods in Molecular Biology
    Authors: Breitling, Rainer ; Gilbert, David Roger ; Heiner, Monika ; Priami, Corrado

    Abstract | Document (228 KB) | BibTeX

    09091 Executive Summary -- Formal Methods in Molecular Biology
    Authors: Breitling, Rainer ; Gilbert, David Roger ; Heiner, Monika ; Priami, Corrado

    Abstract | Document (75 KB) | BibTeX

    Analyzing various models of Circadian Clock and Cell Cycle coupling
    Authors: Csikász-Nagy, Attila ; Faure, Adrien ; Larcher, Roberto ; Lecca, Paola ; Mura, Ivan ; Jordan, Ferenc ; Palmisano, Alida ; Romanel, Alessandro ; Sedwards, Sean ; Siebert, Heike ; Soliman, Sylvain ; Thieffry, Denis ; Zámborszky, Judit ; Mazza, Tommaso ; Ballarini, Paolo

    Abstract | Document (93 KB) | BibTeX

    BioModel Engineering: Its role in Systems Biology and Synthetic Biology
    Authors: Gilbert, David Roger ; Breitling, Rainer ; Heiner, Monika

    Abstract | Document (62 KB) | BibTeX

    Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA
    Authors: Ciocchetta, Federica ; Degasperi, Andrea ; Heath, John ; Hillston, Jane

    Abstract | Document (567 KB) | BibTeX

    Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon
    Authors: Kuttler, Céline ; Lhoussaine, Cédric ; Nebut, Mirabelle

    Abstract | Document (386 KB) | BibTeX

    Stochastic modelling of cellular growth and division by means of the pi@ calculus
    Authors: Versari, Cristian

    Abstract | Document (220 KB) | BibTeX

    Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks
    Authors: Siebert, Heike

    Abstract | Document (96 KB) | BibTeX

    		  



    DROPS-Home | Imprint | Privacy
    Published by LZI