[PPL-devel] [GIT] ppl/w3ppl(master): Added RizkBFS09.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 988de0b3db74f9e9c9ade6e1833667b32b949550
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=988de0b3db74f9e9c9ade6e1833667b32b949550

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Jun 20 08:52:00 2009 +0200

Added RizkBFS09.

---

 htdocs/Documentation/ppl_citations.bib |   40 ++++++++++++++++++++++++++++++++
 1 files changed, 40 insertions(+), 0 deletions(-)

diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib
index 580609f..78aa524 100644
--- a/htdocs/Documentation/ppl_citations.bib
+++ b/htdocs/Documentation/ppl_citations.bib
@@ -1991,6 +1991,46 @@
               cost."
 }
 
+ at Article{RizkBFS09,
+  Author = "A. Rizk and G. Batt and F. Fages and S. Soliman",
+  Title = "A General Computational Method for Robustness Analysis
+           with Applications to Synthetic Gene Networks",
+  Journal = "Bioinformatics",
+  Publisher = "Oxford University Press",
+  Volume = 25,
+  Number = "12",
+  Pages = "i169--i178",
+  Year = 2009,
+  Note = "Paper accepted for presentation at the 2009 ISMB/ECCB Conference,
+          Stockholm, Sweden, June 27--July 2, 2009",
+  Abstract = "\textbf{Motivation:} Robustness is the capacity of a
+             system to maintain a function in the face of
+             perturbations. It is essential for the correct
+             functioning of natural and engineered biological
+             systems. Robustness is generally defined in an \emph{ad hoc},
+             problem-dependent manner, thus hampering the fruitful
+             development of a theory of biological robustness,
+             recently advocated by Kitano.
+
+             \textbf{Results:} In this article, we propose a general
+             definition of robustness that applies to any biological
+             function expressible in temporal logic LTL (linear
+             temporal logic), and to broad model classes and
+             perturbation types. Moreover, we propose a computational
+             approach and an implementation in BIOCHAM 2.8 for the
+             automated estimation of the robustness of a given
+             behavior with respect to a given set of
+             perturbations. The applicability and biological relevance
+             of our approach is demonstrated by testing and improving
+             the robustness of the timed behavior of a synthetic
+             transcriptional cascade that could be used as a
+             biological timer for synthetic biology applications.
+
+             \textbf{Availability:} Version 2.8 of BIOCHAM and the
+             transcriptional cascade model are available at
+             \url{http://contraintes.inria.fr/BIOCHAM/}"
+}
+
 @Inproceedings{SankaranarayananIG07,
   Author = "S. Sankaranarayanan and F. Ivancic and A. Gupta",
   Title = "Program Analysis Using Symbolic Ranges",