Menu Content/Inhalt
Home arrow Deliverables
Project Deliverables

This page provides an overview of the deliverables, which are here.

WP0  Coordination 

D0.1 EC-MOAN website

D0.2 Progress report (midterm)

  • D0.2-a: Publishable Executive Summary; in PDF
  • D0.2-b: Periodic Activity Report; in PDF
  • D0.2-c: Plan for Using and Disseminating the knowledge; in PDF
  • D0.2-d: Periodic Management Report; in PDF

D0.3 Final report

  • D0.3-a: Periodic Activity Report (end of project); in PDF
  • D0.3-b: Final Activity Report; in PDF
  • D0.3-c: Final Plan for Using and Disseminating the Knowledge; in PDF
  • D0.3-d: Periodic Management Report (end of project); in PDF
  • D0.3-e: Final Management Report; in PDF

D0.4 Consolidated results

WP1 Modeling

D1.1 Module on ammonia assimilation and PTS

  • Complete document in PDF

D1.2 Module on 2-comp. regulatory system and Ntr gene expression

  • Complete document in PDF

D1.3 Module on glycolysis + TCA cycle

  • Complete document in PDF

D1.4 Module on global transcriptional regulators

  • Main document in PDF
  • Appendix 1 in PDF

D1.5 Integrated network of modules: description

  • Complete document in PDF

D1.6 Hierarchical control/sensitivity analysis and modularization

  • Complete document in PDF

D1.7 Differential equation models 1st

  • Complete document in PDF

D1.8 Differential equation models 2nd

  • Complete document in PDF

WP2 Model Reduction

D2.1 Methods for system reduction, approximation

  • Main document, 12-month version in PDF
  • Appendix 1, 12-month version in PDF
  • Appendix 2, 12-month version in PDF
  • Main document, 36-month version in PDF
  • Appendix 1, 36-month version in PDF
  • D2.2 Methods for system abstraction to automata

    • Main document, 12-month version in PDF
    • Appendix 1, 12-month version in PDF (shared with D2.1)
    • Complete document, 24-month version in PDF

    D2.3 Application of reduction and abstraction

    • Main document in PDF
    • Appendix 1 in PDF (shared with D2.1)

    D2.4 Software interfaces for system reduction

    • Complete document in PDF

    WP3 Automated Model Analysis

    D3.1 Definition and temporal logic translation of query templates

    • Main document in PDF
    • Appendix 1 in PDF
    • Appendix 2 in PDF

    D3.2 Model checking algorithms for the properties in templates

    • Main document in PDF
    • Appendix 1 in PDF

    D3.3 Property-dependent, on-the-fly optimizations of automata

    • Main document in PDF
    • Appendix 1 in PDF
    • Appendix 2 in PDF

    D3.4 Distributed model checking algorithms

    • Main document in PDF
    • Appendix 1 in PDF
    • Appendix 2 in PDF
    • Appendix 3 in PDF
    • Appendix 4 in PDF
    • Appendix 5 in PDF
    • Appendix 6 in PDF

    D3.5 Results of model checking biological systems

    • Main document in PDF
    • Appendix 1 in PDF
    • Appendix 2 in PDF(shared with D3.4)
    • Appendix 3 in PDF(shared with D3.4)

    WP4 Model Validation

    D4.1 Properties to be tested on E. coli

    • Main document in PDF
    • Appendix 1 in PDF

    D4.2 Gene expression measurements

    • Main document in PDF
    • Appendix 1 in PDF
    • Appendix 2 in PDF

    D4.3 Flux measurements

    • Main document in PDF
    • Appendix 1 in PDF

    D4.4 Validation of integrated E. coli stress response model

    • Main document in PDF
    • Appendix 1 in PDF

    WP5 Dissemination

    D5.1 Growing list of all publications

    • Complete document in PDF

    D5.2 Pointers to all tools and models

    • Complete document in PDF

    D5.3 Workshop in a Symposium on Systems Biology

    D5.4 Workshop in a Symposium on Verification/FM