.:. Browse > By authors > Rizk .:.

3 documents ordered by : Date Title first author name document type Submit date

A general computational method for robustness analysis with applications to synthetic gene networks Rizk A., Batt G., Fages F., Soliman S. Bioinformatics 25, 12 (2009) il69--il78 [inria-00419708 - version 1]

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology Rizk A., Batt G., Fages F., Soliman S. Dans CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology 5307 (2008) 251--268 [inria-00419781 - version 1]

Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle Fages F., Rizk A. Dans JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes (2008) 1-10 [inria-00290470 - version 1]